Anne is green. Anne is red. Charlie is red. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is white. Erin is young. Cold, red people are green. All quiet people are green. If someone is nice then they are young. If someone is green and white then they are young. All red, white people are nice. If someone is green then they are white.
Charlie is not cold.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Charlie is red.[(triple3)] Erin is cold.[(triple4)] Erin is green.[(triple5 OR ((triple7) -> rule2) OR ((triple4 triple8) -> rule1))] Erin is nice.[(triple6 OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple5) -> rule6)) -> rule5) OR ((triple8 ((((triple7) -> rule2)) -> rule6)) -> rule5) OR ((triple8 ((((triple4 triple8) -> rule1)) -> rule6)) -> rule5))] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is white.[(triple9 OR ((triple5) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple4 triple8) -> rule1)) -> rule6))] Erin is young.[(triple10 OR ((triple6) -> rule3) OR ((triple5 triple9) -> rule4) OR ((((triple8 triple9) -> rule5)) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule4) OR ((((triple7) -> rule2) triple9) -> rule4) OR ((((triple4 triple8) -> rule1) triple9) -> rule4) OR ((((triple7) -> rule2) ((triple5) -> rule6)) -> rule4) OR ((((triple4 triple8) -> rule1) ((triple5) -> rule6)) -> rule4) OR ((((triple8 ((triple5) -> rule6)) -> rule5)) -> rule3) OR ((triple5 ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((triple5 ((((triple4 triple8) -> rule1)) -> rule6)) -> rule4) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple7) -> rule2) ((((triple4 triple8) -> rule1)) -> rule6)) -> rule4) OR ((((triple4 triple8) -> rule1) ((((triple7) -> rule2)) -> rule6)) -> rule4) OR ((((triple4 triple8) -> rule1) ((((triple4 triple8) -> rule1)) -> rule6)) -> rule4) OR ((((triple8 ((((triple7) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 ((((triple4 triple8) -> rule1)) -> rule6)) -> rule5)) -> rule3))] @1: Anne is white.[(((triple1) -> rule6))] @2: Anne is nice.[(((triple2 ((triple1) -> rule6)) -> rule5))] Anne is young.[(((triple1 ((triple1) -> rule6)) -> rule4) OR ((((triple2 ((triple1) -> rule6)) -> rule5)) -> rule3))]