Anne is young. Dave is young. Erin is white. All green things are not cold. If Anne is nice and Anne is cold then Anne is not young. If something is white then it is green. White, blue things are nice. If Anne is nice then Anne is green. If something is young then it is not blue. Green things are blue. If something is young and not green then it is not smart.
Erin is not smart.
@0: Anne is young.[(triple1)] Dave is young.[(triple2)] Erin is white.[(triple3)] @1: Anne is not blue.[(((triple1) -> rule6))] Dave is not blue.[(((triple2) -> rule6))] Erin is green.[(((triple3) -> rule3))] @2: Erin is blue.[(((((triple3) -> rule3)) -> rule7))] Erin is not cold.[(((((triple3) -> rule3)) -> rule1))] @3: Erin is nice.[(((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule4))]