Charlie is furry. Charlie is quiet. Charlie is red. Charlie is smart. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is white. If someone is smart then they are red. Smart people are furry. Furry people are round. If someone is white then they are smart. If Charlie is rough and Charlie is quiet then Charlie is round. If Erin is furry then Erin is red.
Erin is not white.
@0: Charlie is furry.[(triple1 OR ((triple4) -> rule2))] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((triple4) -> rule1))] Charlie is smart.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple9) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((triple9) -> rule2)) -> rule6) OR ((((((triple10) -> rule4)) -> rule2)) -> rule6))] Erin is rough.[(triple7)] Erin is round.[(triple8 OR ((((triple9) -> rule2)) -> rule3) OR ((((((triple10) -> rule4)) -> rule2)) -> rule3))] Erin is smart.[(triple9 OR ((triple10) -> rule4))] Erin is white.[(triple10)] @1: Charlie is round.[(((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] Erin is furry.[(((triple9) -> rule2) OR ((((triple10) -> rule4)) -> rule2))]