Anne is cold. Charlie is blue. Dave is kind. Erin is rough. If something is smart and furry then it is green. If something is cold then it is smart. If something is rough then it is furry. If something is furry and rough then it is kind. Green, smart things are furry. If Erin is cold and Erin is blue then Erin is rough. All furry things are cold. All furry, kind things are rough.
Erin is smart.
@0: Anne is cold.[(triple1)] Charlie is blue.[(triple2)] Dave is kind.[(triple3)] Erin is rough.[(triple4)] @1: Anne is smart.[(((triple1) -> rule2))] Erin is furry.[(((triple4) -> rule3))] @2: Erin is cold.[(((((triple4) -> rule3)) -> rule7))] Erin is kind.[(((((triple4) -> rule3) triple4) -> rule4))] @3: Erin is smart.[(((((((triple4) -> rule3)) -> rule7)) -> rule2))] @4: Erin is green.[(((((((((triple4) -> rule3)) -> rule7)) -> rule2) ((triple4) -> rule3)) -> rule1))]