Dave is big. Erin is blue. Gary is nice. Gary is quiet. Harry is furry. Harry is nice. Harry is smart. If something is big and cold then it is furry. If something is big then it is nice.
Erin is smart.
@0: Dave is big.[(triple1)] Erin is blue.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Dave is nice.[(((triple1) -> rule2))]