Dave is quiet. Erin is not green. Gary is smart. Harry is cold. Harry is furry. Harry is smart. Harry is young. If Harry is green then Harry is not young. If something is young and not green then it is smart. If something is cold and quiet then it is rough.
Gary is green.
@0: Dave is quiet.[(triple1)] Erin is not green.[(triple2)] Gary is smart.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)]