Dave is blue. Gary is round. All red things are smart. Green, young things are nice. Smart, green things are red. If something is nice and round then it is red. If something is smart and not green then it is young. Round, smart things are not young.
Dave is not blue.
@0: Dave is blue.[(triple1)] Gary is round.[(triple2)]