Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is white. If something is blue and white then it is kind. If Erin is green and Erin is white then Erin is furry. If something is kind and green then it is furry. Blue, furry things are big. If Erin is furry then Erin is rough. If Erin is blue then Erin is green. Rough, white things are blue. All blue things are big.
Erin is not blue.
@0: Erin is big.[(triple1 OR ((triple2) -> rule8) OR ((triple2 triple3) -> rule4) OR ((((triple6 triple7) -> rule7)) -> rule8) OR ((triple2 ((triple4 triple7) -> rule2)) -> rule4) OR ((triple2 ((triple5 triple4) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) triple3) -> rule4) OR ((((triple6 triple7) -> rule7) ((triple4 triple7) -> rule2)) -> rule4) OR ((((triple6 triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7)) -> rule8) OR ((triple2 ((triple5 ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((triple2 ((((triple2) -> rule6) triple7) -> rule2)) -> rule4) OR ((triple2 ((((triple2 triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) triple3) -> rule4) OR ((triple2 ((((triple2 triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((triple5 ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((triple2) -> rule6) triple7) -> rule2)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((triple2 triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((triple4 triple7) -> rule2)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((triple2 triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((triple5 ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((triple2) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7)) -> rule8) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7)) -> rule8) OR ((triple2 ((triple5 ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((triple2 ((((((triple6 triple7) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((triple2 ((((((triple6 triple7) -> rule7) triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) triple3) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) triple3) -> rule4) OR ((triple2 ((((triple2 triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((triple2 ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((triple5 ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((((triple6 triple7) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((triple4 triple7) -> rule2)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((triple4 triple7) -> rule2)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule4) OR ((triple2 ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((triple2 triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((triple5 ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((triple2) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((triple5 ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((triple2) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((triple5 ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7)) -> rule6) triple7) -> rule2)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((triple3) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((triple2 triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7) ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3)) -> rule4))] Erin is blue.[(triple2 OR ((triple6 triple7) -> rule7) OR ((((triple3) -> rule5) triple7) -> rule7) OR ((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) OR ((((((triple5 triple4) -> rule3)) -> rule5) triple7) -> rule7))] Erin is furry.[(triple3 OR ((triple4 triple7) -> rule2) OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule6) triple7) -> rule2) OR ((((triple2 triple7) -> rule1) triple4) -> rule3) OR ((((triple2 triple7) -> rule1) ((triple2) -> rule6)) -> rule3) OR ((triple5 ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3) OR ((((((triple6 triple7) -> rule7)) -> rule6) triple7) -> rule2) OR ((((((triple6 triple7) -> rule7) triple7) -> rule1) triple4) -> rule3) OR ((((triple2 triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3) OR ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((triple2) -> rule6)) -> rule3) OR ((((((triple6 triple7) -> rule7) triple7) -> rule1) ((((triple6 triple7) -> rule7)) -> rule6)) -> rule3))] Erin is green.[(triple4 OR ((triple2) -> rule6) OR ((((triple6 triple7) -> rule7)) -> rule6) OR ((((((triple3) -> rule5) triple7) -> rule7)) -> rule6))] Erin is kind.[(triple5 OR ((triple2 triple7) -> rule1) OR ((((triple6 triple7) -> rule7) triple7) -> rule1) OR ((((((triple3) -> rule5) triple7) -> rule7) triple7) -> rule1) OR ((((((((triple4 triple7) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule1))] Erin is rough.[(triple6 OR ((triple3) -> rule5) OR ((((triple4 triple7) -> rule2)) -> rule5) OR ((((triple5 triple4) -> rule3)) -> rule5) OR ((((triple5 ((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule6) triple7) -> rule2)) -> rule5) OR ((((((triple2 triple7) -> rule1) triple4) -> rule3)) -> rule5) OR ((((((triple2 triple7) -> rule1) ((triple2) -> rule6)) -> rule3)) -> rule5))] Erin is white.[(triple7)]