Erin is furry. All smart, cold things are blue. All big things are cold. All cold things are big. Blue things are young. All cold things are big. All smart things are big. Young things are blue. Furry things are smart.
Erin is furry.
@0: Erin is furry.[(triple1)] @1: Erin is smart.[(((triple1) -> rule8))] @2: Erin is big.[(((((triple1) -> rule8)) -> rule6))] @3: Erin is cold.[(((((((triple1) -> rule8)) -> rule6)) -> rule2))] @4: Erin is blue.[(((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule1))] @5: Erin is young.[(((((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule1)) -> rule4))]