Anne is big. Anne is green. Anne is red. Charlie is green. Dave is blue. Dave is rough. Erin is big. If someone is blue and green then they are red. All big people are white. Rough people are kind. All blue, kind people are red. If someone is kind then they are blue. If someone is big then they are kind.
Charlie is kind.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3 OR ((((((triple1) -> rule6)) -> rule5) triple2) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule4))] Charlie is green.[(triple4)] Dave is blue.[(triple5 OR ((((triple6) -> rule3)) -> rule5))] Dave is rough.[(triple6)] Erin is big.[(triple7)] @1: Anne is kind.[(((triple1) -> rule6))] Anne is white.[(((triple1) -> rule2))] Dave is kind.[(((triple6) -> rule3))] Erin is kind.[(((triple7) -> rule6))] Erin is white.[(((triple7) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule6)) -> rule5))] Dave is red.[(((triple5 ((triple6) -> rule3)) -> rule4) OR ((((((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule4))] Erin is blue.[(((((triple7) -> rule6)) -> rule5))] @3: Erin is red.[(((((((triple7) -> rule6)) -> rule5) ((triple7) -> rule6)) -> rule4))]