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