Dave is cold. Dave is green. Erin is smart. Gary is cold. Gary is furry. Gary is rough. Gary is smart. All kind people are nice. All kind people are furry. If someone is furry then they are nice.
Gary is furry.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Erin is smart.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)] @1: Gary is nice.[(((triple5) -> rule3))]