Dave is smart. Erin is furry. Erin is nice. Gary is nice. Harry is nice. Harry is red. Harry is smart. Big things are furry. If something is blue then it is big. Red things are blue.
Erin is big.
@0: Dave is smart.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Gary is nice.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Harry is blue.[(((triple6) -> rule3))] @2: Harry is big.[(((((triple6) -> rule3)) -> rule2))] @3: Harry is furry.[(((((((triple6) -> rule3)) -> rule2)) -> rule1))]