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