Anne is kind. Dave is furry. Dave is round. Dave is white. Erin is big. Erin is white. Harry is big. If someone is furry then they are rough. All furry, white people are big. If someone is white and kind then they are rough. All furry people are kind. If Dave is white and Dave is kind then Dave is big. If someone is kind then they are furry. All white people are round. If someone is rough and kind then they are round.
Dave is not furry.
@0: Anne is kind.[(triple1)] Dave is furry.[(triple2)] Dave is round.[(triple3 OR ((triple4) -> rule7) OR ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule8) OR ((((triple4 ((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule8))] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is white.[(triple6)] Harry is big.[(triple7)] @1: Anne is furry.[(((triple1) -> rule6))] Dave is big.[(((triple2 triple4) -> rule2) OR ((triple4 ((triple2) -> rule4)) -> rule5))] Dave is kind.[(((triple2) -> rule4))] Dave is rough.[(((triple2) -> rule1) OR ((triple4 ((triple2) -> rule4)) -> rule3))] Erin is round.[(((triple6) -> rule7))] @2: Anne is rough.[(((((triple1) -> rule6)) -> rule1))] @3: Anne is round.[(((((((triple1) -> rule6)) -> rule1) triple1) -> rule8))]