Dave is cold. Dave is furry. Erin is green. Gary is blue. Gary is rough. Harry is furry. Harry is green. All cold people are blue. Cold people are rough.
Harry is not green.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Erin is green.[(triple3)] Gary is blue.[(triple4)] Gary is rough.[(triple5)] Harry is furry.[(triple6)] Harry is green.[(triple7)] @1: Dave is blue.[(((triple1) -> rule1))] Dave is rough.[(((triple1) -> rule2))]