context: Gary is rough. Anne is not Bob's grandfather. If Erin is red then Anne is not smart. Erin is not Anne's aunt if Harry is not quiet. If Anne is not smart then Harry is not quiet. If Gary is not rough or The grandfather of Bob is Anne then Erin is not red.