Anne is white. Erin is white. Fiona is blue. If something is white then it is smart. White things are smart. White, smart things are nice. If Fiona is white then Fiona is blue. If Anne is smart then Anne is kind. If something is smart and nice then it is rough.
Erin is not rough.
@0: Anne is white.[(triple1)] Erin is white.[(triple2)] Fiona is blue.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1) OR ((triple1) -> rule2))] Erin is smart.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] Anne is nice.[(((triple1 ((triple1) -> rule1)) -> rule3) OR ((triple1 ((triple1) -> rule2)) -> rule3))] Erin is nice.[(((triple2 ((triple2) -> rule1)) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))] @3: Anne is rough.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule6) OR ((((triple1) -> rule2) ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6) OR ((((triple1) -> rule2) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule6))] Erin is rough.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule6) OR ((((triple2) -> rule1) ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule6) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule6) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule6))]