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 or Erin is Anne's grandfather then Anne is not smart.