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