Erin is rough. If Erin is smart then Erin is furry. If something is rough then it is smart. If Erin is furry then Erin is smart. Furry things are cold. If something is young and furry then it is round. If Erin is furry then Erin is cold.
Erin is not rough.
@0: Erin is rough.[(triple1)] @1: Erin is smart.[(((triple1) -> rule2))] @2: Erin is furry.[(((((triple1) -> rule2)) -> rule1))] @3: Erin is cold.[(((((((triple1) -> rule2)) -> rule1)) -> rule4) OR ((((((triple1) -> rule2)) -> rule1)) -> rule6))]