Erin is nice. Erin is rough. Erin is white. If someone is nice then they are cold. If someone is rough and cold then they are furry. If Erin is round and Erin is not nice then Erin is not furry. If someone is green and not rough then they are round. If someone is furry and cold then they are round. If someone is furry and not cold then they are round.
Erin is not furry.
@0: Erin is nice.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] @1: Erin is cold.[(((triple1) -> rule1))] @2: Erin is furry.[(((triple2 ((triple1) -> rule1)) -> rule2))] @3: Erin is round.[(((((triple2 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule5))]