Gary is not kind. Gary is nice. Gary is not round. If something is smart then it is red. All round, smart things are red. Red, cold things are smart.
Gary is not red.
@0: Gary is nice.[(triple2)] Gary is not kind.[(triple1)] Gary is not round.[(triple3)]