Bob is blue. Gary is kind. Harry is kind. If something is round then it is rough. If Harry is nice then Harry is smart. If something is smart and not round then it is blue.
Gary is smart.
@0: Bob is blue.[(triple1)] Gary is kind.[(triple2)] Harry is kind.[(triple3)]