Anne is furry. Anne is kind. Dave is kind. Erin is kind. Erin is quiet. Erin is white. Gary is big. Gary is quiet. Gary is red. Gary is white. If someone is white and quiet then they are red. White people are kind. Big people are furry. If someone is kind then they are round. If someone is white then they are round. Kind, furry people are round.
Dave is not red.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Dave is kind.[(triple3)] Erin is kind.[(triple4 OR ((triple6) -> rule2))] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Gary is big.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9 OR ((triple10 triple8) -> rule1))] Gary is white.[(triple10)] @1: Anne is round.[(((triple2) -> rule4) OR ((triple2 triple1) -> rule6))] Dave is round.[(((triple3) -> rule4))] Erin is red.[(((triple6 triple5) -> rule1))] Erin is round.[(((triple4) -> rule4) OR ((triple6) -> rule5) OR ((((triple6) -> rule2)) -> rule4))] Gary is furry.[(((triple7) -> rule3))] Gary is kind.[(((triple10) -> rule2))] Gary is round.[(((triple10) -> rule5) OR ((((triple10) -> rule2)) -> rule4) OR ((((triple10) -> rule2) ((triple7) -> rule3)) -> rule6))]