Anne is red. Bob is smart. Erin is nice. If something is nice then it is not white. If something is green then it is not white. If Anne is red and Anne is smart then Anne is green. All white things are kind. If something is smart and white then it is kind. Red things are nice. If something is red then it is nice. Nice things are red.
Bob is green.
@0: Anne is red.[(triple1)] Bob is smart.[(triple2)] Erin is nice.[(triple3)] @1: Anne is nice.[(((triple1) -> rule6) OR ((triple1) -> rule7))] Erin is not white.[(((triple3) -> rule1))] Erin is red.[(((triple3) -> rule8))] @2: Anne is not white.[(((((triple1) -> rule6)) -> rule1) OR ((((triple1) -> rule7)) -> rule1))]