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