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