Anne is not green. Anne is smart. Dave is furry. Erin is big. Erin is round. Harry is green. Harry is kind. If something is smart then it is not white. If something is green and not furry then it is white. Green things are smart. If Anne is big and Anne is round then Anne is not green. Round things are green. All green things are kind.
Erin is furry.
@0: Anne is not green.[(triple1)] Anne is smart.[(triple2)] Dave is furry.[(triple3)] Erin is big.[(triple4)] Erin is round.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7 OR ((triple6) -> rule6))] @1: Anne is not white.[(((triple2) -> rule1))] Erin is green.[(((triple5) -> rule5))] Harry is smart.[(((triple6) -> rule3))] @2: Erin is kind.[(((((triple5) -> rule5)) -> rule6))] Erin is smart.[(((((triple5) -> rule5)) -> rule3))] Harry is not white.[(((((triple6) -> rule3)) -> rule1))] @3: Erin is not white.[(((((((triple5) -> rule5)) -> rule3)) -> rule1))]