Anne is blue. Anne is furry. Erin is blue. Erin is cold. Erin is rough. Fiona is cold. Fiona is young. Big, red people are young. If someone is furry then they are blue. If someone is blue then they are red. If someone is blue and red then they are big. Cold, red people are furry. All blue people are red. If Anne is red then Anne is rough. All big people are cold.
Anne is red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is furry.[(triple2 OR ((((((triple1 ((triple1) -> rule3)) -> rule4)) -> rule8) ((triple1) -> rule3)) -> rule5) OR ((((((triple1 ((triple1) -> rule3)) -> rule4)) -> rule8) ((triple1) -> rule6)) -> rule5) OR ((((((triple1 ((triple1) -> rule6)) -> rule4)) -> rule8) ((triple1) -> rule3)) -> rule5) OR ((((((triple1 ((triple1) -> rule6)) -> rule4)) -> rule8) ((triple1) -> rule6)) -> rule5))] Erin is blue.[(triple3)] Erin is cold.[(triple4 OR ((((triple3 ((triple3) -> rule3)) -> rule4)) -> rule8) OR ((((triple3 ((triple3) -> rule6)) -> rule4)) -> rule8))] Erin is rough.[(triple5)] Fiona is cold.[(triple6)] Fiona is young.[(triple7)] @1: Anne is red.[(((triple1) -> rule3) OR ((triple1) -> rule6) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple2) -> rule2)) -> rule6))] Erin is red.[(((triple3) -> rule3) OR ((triple3) -> rule6))] @2: Anne is big.[(((triple1 ((triple1) -> rule3)) -> rule4) OR ((triple1 ((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule2) ((triple1) -> rule3)) -> rule4) OR ((((triple2) -> rule2) ((triple1) -> rule6)) -> rule4) OR ((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule4))] Anne is rough.[(((((triple1) -> rule3)) -> rule7) OR ((((triple1) -> rule6)) -> rule7) OR ((((((triple2) -> rule2)) -> rule3)) -> rule7) OR ((((((triple2) -> rule2)) -> rule6)) -> rule7))] Erin is big.[(((triple3 ((triple3) -> rule3)) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4))] Erin is furry.[(((triple4 ((triple3) -> rule3)) -> rule5) OR ((triple4 ((triple3) -> rule6)) -> rule5) OR ((((((triple3 ((triple3) -> rule3)) -> rule4)) -> rule8) ((triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule3)) -> rule4)) -> rule8) ((triple3) -> rule6)) -> rule5) OR ((((((triple3 ((triple3) -> rule6)) -> rule4)) -> rule8) ((triple3) -> rule3)) -> rule5) OR ((((((triple3 ((triple3) -> rule6)) -> rule4)) -> rule8) ((triple3) -> rule6)) -> rule5))] @3: Anne is cold.[(((((triple1 ((triple1) -> rule3)) -> rule4)) -> rule8) OR ((((triple1 ((triple1) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) ((triple1) -> rule6)) -> rule4)) -> rule8) OR ((((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule8) OR ((((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule4)) -> rule8))] Anne is young.[(((((triple1 ((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule6)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((triple1) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule4) ((triple1) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule1))] Erin is young.[(((((triple3 ((triple3) -> rule3)) -> rule4) ((triple3) -> rule3)) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule4) ((triple3) -> rule6)) -> rule1) OR ((((triple3 ((triple3) -> rule6)) -> rule4) ((triple3) -> rule3)) -> rule1) OR ((((triple3 ((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule1))]