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