Dave is smart. Fiona is green. Gary is green. Harry is rough. Harry is round. Harry is white. Harry is young. If Gary is smart then Gary is rough.
Gary is not rough.
@0: Dave is smart.[(triple1)] Fiona is green.[(triple2)] Gary is green.[(triple3)] Harry is rough.[(triple4)] Harry is round.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]