Erin is not cold. Erin is round. Erin is smart. All furry things are round. All smart things are rough. Rough things are furry.
Erin is not furry.
@0: Erin is not cold.[(triple1)] Erin is round.[(triple2 OR ((((((triple3) -> rule2)) -> rule3)) -> rule1))] Erin is smart.[(triple3)] @1: Erin is rough.[(((triple3) -> rule2))] @2: Erin is furry.[(((((triple3) -> rule2)) -> rule3))]