Anne is furry. Anne is kind. Anne is rough. Anne is round. Anne is white. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is round. Erin is furry. Erin is rough. Erin is round. Erin is white. If someone is white and round then they are kind. Furry people are red. Rough people are red. If someone is furry then they are round. All white people are quiet. All rough, kind people are white. All round people are furry. If someone is red and kind then they are round.
Anne is not white.
@0: Anne is furry.[(triple1 OR ((triple4) -> rule7) OR ((((((triple3) -> rule3) triple2) -> rule8)) -> rule7))] Anne is kind.[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple1) -> rule4)) -> rule1))] Anne is rough.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule4) OR ((((triple1) -> rule2) triple2) -> rule8) OR ((((triple3) -> rule3) triple2) -> rule8))] Anne is white.[(triple5 OR ((triple3 triple2) -> rule6))] Bob is furry.[(triple6 OR ((triple11) -> rule7) OR ((((triple9 triple7) -> rule8)) -> rule7) OR ((((((triple10) -> rule3) triple7) -> rule8)) -> rule7))] Bob is kind.[(triple7)] Bob is quiet.[(triple8 OR ((((triple10 triple7) -> rule6)) -> rule5))] Bob is red.[(triple9 OR ((triple10) -> rule3) OR ((triple6) -> rule2) OR ((((triple11) -> rule7)) -> rule2))] Bob is rough.[(triple10)] Bob is round.[(triple11 OR ((triple6) -> rule4) OR ((triple9 triple7) -> rule8) OR ((((triple10) -> rule3) triple7) -> rule8) OR ((((triple6) -> rule2) triple7) -> rule8))] Erin is furry.[(triple12 OR ((triple14) -> rule7))] Erin is rough.[(triple13)] Erin is round.[(triple14 OR ((triple12) -> rule4))] Erin is white.[(triple15)] @1: Anne is quiet.[(((triple5) -> rule5) OR ((((triple3 triple2) -> rule6)) -> rule5))] Anne is red.[(((triple1) -> rule2) OR ((triple3) -> rule3) OR ((((triple4) -> rule7)) -> rule2))] Bob is white.[(((triple10 triple7) -> rule6))] Erin is kind.[(((triple15 triple14) -> rule1) OR ((triple15 ((triple12) -> rule4)) -> rule1))] Erin is quiet.[(((triple15) -> rule5))] Erin is red.[(((triple12) -> rule2) OR ((triple13) -> rule3) OR ((((triple14) -> rule7)) -> rule2))]