Anne is blue. Gary is blue. Gary is round. If something is blue then it is red. If something is nice then it is smart. If something is not blue and not green then it is rough. If something is not red then it is nice. If something is not rough then it is nice. If something is rough and not red then it is not smart.
Gary is not blue.