Gary is not rough. Harry is white. If something is round then it is not rough. Young things are red. If something is young then it is red. All red things are young. If something is red and white then it is blue. If something is rough and not red then it is blue. If something is round and not blue then it is smart. All round things are smart.
Harry is rough.
@0: Gary is not rough.[(triple1)] Harry is white.[(triple2)]