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. Erin is red if Gary is not rough or Anne is the grandfather of Bob.