Erin is green. Green people are quiet. If someone is smart and furry then they are green. If someone is nice and smart then they are rough. Cold, green people are rough. If someone is rough then they are quiet. If Erin is quiet and Erin is green then Erin is cold.
Erin is green.
@0: Erin is green.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule1))] @2: Erin is cold.[(((((triple1) -> rule1) triple1) -> rule6))] @3: Erin is rough.[(((((((triple1) -> rule1) triple1) -> rule6) triple1) -> rule4))]