Anne is nice. Anne is young. Bob is red. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. If someone is nice then they are red. All young, red people are smart. All smart people are blue.
Bob is not blue.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Bob is red.[(triple3)] Erin is blue.[(triple4 OR ((triple9) -> rule3) OR ((((triple10 triple7) -> rule2)) -> rule3) OR ((((triple10 ((triple5) -> rule1)) -> rule2)) -> rule3))] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7 OR ((triple5) -> rule1))] Erin is rough.[(triple8)] Erin is smart.[(triple9 OR ((triple10 triple7) -> rule2) OR ((triple10 ((triple5) -> rule1)) -> rule2))] Erin is young.[(triple10)] @1: Anne is red.[(((triple1) -> rule1))] @2: Anne is smart.[(((triple2 ((triple1) -> rule1)) -> rule2))] @3: Anne is blue.[(((((triple2 ((triple1) -> rule1)) -> rule2)) -> rule3))]