Erin is cold. If something is cold and blue then it is furry. Furry things are red. If something is furry then it is nice. If Erin is cold then Erin is furry. Red things are green. If Erin is cold then Erin is white.
Erin is green.
@0: Erin is cold.[(triple1)] @1: Erin is furry.[(((triple1) -> rule4))] Erin is white.[(((triple1) -> rule6))] @2: Erin is nice.[(((((triple1) -> rule4)) -> rule3))] Erin is red.[(((((triple1) -> rule4)) -> rule2))] @3: Erin is green.[(((((((triple1) -> rule4)) -> rule2)) -> rule5))]