Anne is furry. Anne is kind. Anne is red. Anne is round. Anne is white. Dave is blue. Dave is furry. Dave is kind. Erin is furry. Erin is red. If Dave is green then Dave is white. Furry people are red. If Dave is white then Dave is red. Red people are round. Kind, green people are round. If Erin is kind and Erin is green then Erin is white. All blue, red people are round. If someone is furry and white then they are kind.
Erin is blue.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple1 triple5) -> rule8))] Anne is red.[(triple3 OR ((triple1) -> rule2))] Anne is round.[(triple4 OR ((triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] Anne is white.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Erin is furry.[(triple9)] Erin is red.[(triple10 OR ((triple9) -> rule2))] @1: Dave is red.[(((triple7) -> rule2))] Erin is round.[(((triple10) -> rule4) OR ((((triple9) -> rule2)) -> rule4))] @2: Dave is round.[(((((triple7) -> rule2)) -> rule4) OR ((triple6 ((triple7) -> rule2)) -> rule7))]