Erin is cold. Cold things are smart. Nice things are cold. Nice things are big. All nice, blue things are cold. All nice, cold things are furry. Blue, cold things are big. If something is blue and big then it is nice. If something is smart then it is blue.
Erin is cold.
@0: Erin is cold.[(triple1)] @1: Erin is smart.[(((triple1) -> rule1))] @2: Erin is blue.[(((((triple1) -> rule1)) -> rule8))] @3: Erin is big.[(((((((triple1) -> rule1)) -> rule8) triple1) -> rule6))] @4: Erin is nice.[(((((((triple1) -> rule1)) -> rule8) ((((((triple1) -> rule1)) -> rule8) triple1) -> rule6)) -> rule7))] @5: Erin is furry.[(((((((((triple1) -> rule1)) -> rule8) ((((((triple1) -> rule1)) -> rule8) triple1) -> rule6)) -> rule7) triple1) -> rule5))]