Erin is big. Harry is big. If something is big then it is young. Big, young things are white. If something is white and not big then it is not round. Young things are round. If something is white then it is not rough. If something is rough and not young then it is furry. If something is big then it is smart. Rough, furry things are smart.
Erin is round.
@0: Erin is big.[(triple1)] Harry is big.[(triple2)] @1: Erin is smart.[(((triple1) -> rule7))] Erin is young.[(((triple1) -> rule1))] Harry is smart.[(((triple2) -> rule7))] Harry is young.[(((triple2) -> rule1))] @2: Erin is round.[(((((triple1) -> rule1)) -> rule4))] Erin is white.[(((triple1 ((triple1) -> rule1)) -> rule2))] Harry is round.[(((((triple2) -> rule1)) -> rule4))] Harry is white.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Erin is not rough.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule5))] Harry is not rough.[(((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule5))]