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