Anne is blue. Anne is cold. Anne is red. Erin is blue. Erin is cold. Erin is red. Erin is round. Erin is smart. Erin is white. Erin is young. All blue things are young. Blue, young things are round. Blue, smart things are white. Smart, cold things are blue. Blue, white things are round. All round things are smart. Young, red things are blue. If something is cold and young then it is smart.
Anne is not round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Erin is blue.[(triple4 OR ((triple10 triple6) -> rule7) OR ((triple8 triple5) -> rule4) OR ((((triple7) -> rule6) triple5) -> rule4) OR ((((triple5 triple10) -> rule8) triple5) -> rule4))] Erin is cold.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple4 triple10) -> rule2) OR ((triple4 triple9) -> rule5) OR ((triple4 ((triple4) -> rule1)) -> rule2) OR ((triple4 ((triple4 triple8) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) triple10) -> rule2) OR ((((triple10 triple6) -> rule7) triple9) -> rule5) OR ((((triple8 triple5) -> rule4) triple10) -> rule2) OR ((((triple8 triple5) -> rule4) triple9) -> rule5) OR ((((triple10 triple6) -> rule7) ((triple4) -> rule1)) -> rule2) OR ((((triple10 triple6) -> rule7) ((triple4 triple8) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((triple4) -> rule1)) -> rule2) OR ((((triple8 triple5) -> rule4) ((triple4 triple8) -> rule3)) -> rule5) OR ((triple4 ((((triple8 triple5) -> rule4)) -> rule1)) -> rule2) OR ((triple4 ((triple4 ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((triple4 ((((triple10 triple6) -> rule7) triple8) -> rule3)) -> rule5) OR ((triple4 ((((triple8 triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) triple10) -> rule2) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) triple9) -> rule5) OR ((triple4 ((((triple10 triple6) -> rule7) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((triple4 ((((triple8 triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((triple8 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple10 triple6) -> rule7) ((triple4 ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((triple10 triple6) -> rule7) triple8) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((triple8 triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((triple8 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple8 triple5) -> rule4) ((triple4 ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((triple10 triple6) -> rule7) triple8) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((triple8 triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple4) -> rule1)) -> rule2) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple4 triple8) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((triple10 triple6) -> rule7) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((triple8 triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((triple10 triple6) -> rule7) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((triple8 triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple8 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple4 ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple10 triple6) -> rule7) triple8) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple8 triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple10 triple6) -> rule7) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple8 triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((triple4 ((triple4 ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((triple4 ((((((triple5 triple10) -> rule8) triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((triple4 ((((triple10 triple6) -> rule7) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((triple4 ((((triple8 triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((triple4 ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((triple4 ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((((triple5 triple10) -> rule8) triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((triple4 ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((((triple5 triple10) -> rule8) triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((triple4 ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((triple10 triple6) -> rule7) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((triple8 triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((triple10 triple6) -> rule7) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((triple8 triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple4 ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((((triple5 triple10) -> rule8) triple5) -> rule4) triple8) -> rule3)) -> rule5) OR ((((triple10 triple6) -> rule7) ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((triple8 triple5) -> rule4) ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple10 triple6) -> rule7) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple8 triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3)) -> rule5))] Erin is smart.[(triple8 OR ((triple7) -> rule6) OR ((triple5 triple10) -> rule8) OR ((((triple4 triple10) -> rule2)) -> rule6) OR ((((triple4 triple9) -> rule5)) -> rule6) OR ((triple5 ((triple4) -> rule1)) -> rule8) OR ((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule6) OR ((((((triple10 triple6) -> rule7) triple10) -> rule2)) -> rule6) OR ((((((triple10 triple6) -> rule7) triple9) -> rule5)) -> rule6) OR ((((((triple10 triple6) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule6))] Erin is white.[(triple9 OR ((triple4 triple8) -> rule3) OR ((triple4 ((triple7) -> rule6)) -> rule3) OR ((triple4 ((triple5 triple10) -> rule8)) -> rule3) OR ((((triple10 triple6) -> rule7) triple8) -> rule3) OR ((((triple8 triple5) -> rule4) triple8) -> rule3) OR ((((triple10 triple6) -> rule7) ((triple7) -> rule6)) -> rule3) OR ((((triple10 triple6) -> rule7) ((triple5 triple10) -> rule8)) -> rule3) OR ((((triple8 triple5) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((triple8 triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3) OR ((triple4 ((((triple4 triple10) -> rule2)) -> rule6)) -> rule3) OR ((triple4 ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) triple8) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) triple8) -> rule3) OR ((((triple10 triple6) -> rule7) ((((triple4 triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple10 triple6) -> rule7) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3) OR ((((triple8 triple5) -> rule4) ((((triple4 triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) ((((triple4 triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple4 triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((triple5 ((triple4) -> rule1)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((triple4 ((((((triple10 triple6) -> rule7) triple10) -> rule2)) -> rule6)) -> rule3) OR ((triple4 ((((((triple10 triple6) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((triple10 triple6) -> rule7) ((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((triple10 triple6) -> rule7) ((((((triple10 triple6) -> rule7) triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 triple5) -> rule4) ((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 triple5) -> rule4) ((((((triple10 triple6) -> rule7) triple10) -> rule2)) -> rule6)) -> rule3) OR ((((triple10 triple6) -> rule7) ((((((triple10 triple6) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 triple5) -> rule4) ((((((triple10 triple6) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) ((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) ((((((triple10 triple6) -> rule7) triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((triple4 ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((((triple10 triple6) -> rule7) triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((triple7) -> rule6) triple5) -> rule4) ((((((triple10 triple6) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple5 triple10) -> rule8) triple5) -> rule4) ((((((triple10 triple6) -> rule7) ((triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3))] Erin is young.[(triple10 OR ((triple4) -> rule1) OR ((((triple8 triple5) -> rule4)) -> rule1) OR ((((((triple7) -> rule6) triple5) -> rule4)) -> rule1))] @1: Anne is young.[(((triple1) -> rule1))] @2: Anne is round.[(((triple1 ((triple1) -> rule1)) -> rule2) OR ((triple1 ((triple1 ((triple2 ((triple1) -> rule1)) -> rule8)) -> rule3)) -> rule5))] Anne is smart.[(((triple2 ((triple1) -> rule1)) -> rule8) OR ((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6))] @3: Anne is white.[(((triple1 ((triple2 ((triple1) -> rule1)) -> rule8)) -> rule3) OR ((triple1 ((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6)) -> rule3))]