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