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