Dave is round. Fiona is smart. Gary is smart. If Gary is round then Gary is smart. Young, round things are smart. If Fiona is green and Fiona is big then Fiona is round. Blue things are big. If something is young and cold then it is smart. If something is big then it is green. If Fiona is blue and Fiona is cold then Fiona is young. If something is round and blue then it is smart.
Dave is not round.
@0: Dave is round.[(triple1)] Fiona is smart.[(triple2)] Gary is smart.[(triple3)]