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