Erin is big. If something is furry and not red then it is not smart. Green things are furry. If something is big then it is green. If something is smart then it is green. If Erin is smart then Erin is big. Big, furry things are cold.
Erin is big.
@0: Erin is big.[(triple1)] @1: Erin is green.[(((triple1) -> rule3))] @2: Erin is furry.[(((((triple1) -> rule3)) -> rule2))] @3: Erin is cold.[(((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule6))]