Dave is round. Gary is smart. Harry is not green. Green, round things are smart. If something is rough and not cold then it is smart. If something is cold and round then it is not smart. If Harry is red and Harry is cold then Harry is green. If Dave is rough and Dave is not quiet then Dave is round. If Harry is smart then Harry is rough.
Dave is not round.
@0: Dave is round.[(triple1)] Gary is smart.[(triple2)] Harry is not green.[(triple3)]