Erin is furry. All furry, young things are big. If Erin is furry then Erin is round. If Erin is furry then Erin is round. Smart, young things are big. If Erin is young then Erin is cold. If Erin is furry and Erin is round then Erin is young.
Erin is young.
@0: Erin is furry.[(triple1)] @1: Erin is round.[(((triple1) -> rule2) OR ((triple1) -> rule3))] @2: Erin is young.[(((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple1 ((triple1) -> rule3)) -> rule6))] @3: Erin is big.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule6)) -> rule1) OR ((triple1 ((triple1 ((triple1) -> rule3)) -> rule6)) -> rule1))] Erin is cold.[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule5) OR ((((triple1 ((triple1) -> rule3)) -> rule6)) -> rule5))]