Anne is blue. Anne is nice. Anne is quiet. Anne is red. Bob is red. Erin is kind. Erin is red. All white, kind people are nice. All red people are blue. All blue, kind people are white.
Erin is not nice.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule2))] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Bob is red.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7)] @1: Bob is blue.[(((triple5) -> rule2))] Erin is blue.[(((triple7) -> rule2))] @2: Erin is white.[(((((triple7) -> rule2) triple6) -> rule3))] @3: Erin is nice.[(((((((triple7) -> rule2) triple6) -> rule3) triple6) -> rule1))]