Anne is furry. Anne is kind. Bob is big. Bob is furry. Bob is kind. Bob is white. Dave is big. Dave is furry. Dave is nice. Dave is rough. Dave is white. Dave is young. Erin is kind. Erin is nice. Erin is rough. Erin is white. Rough things are young. Kind things are big. Furry things are nice. All kind, nice things are young. White, kind things are rough. If something is young then it is white. Furry things are young. If Erin is white then Erin is furry.
Anne is not rough.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Bob is big.[(triple3 OR ((triple5) -> rule2))] Bob is furry.[(triple4)] Bob is kind.[(triple5)] Bob is white.[(triple6 OR ((((triple4) -> rule7)) -> rule6) OR ((((triple5 ((triple4) -> rule3)) -> rule4)) -> rule6))] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is nice.[(triple9 OR ((triple8) -> rule3))] Dave is rough.[(triple10)] Dave is white.[(triple11 OR ((triple12) -> rule6) OR ((((triple10) -> rule1)) -> rule6) OR ((((triple8) -> rule7)) -> rule6))] Dave is young.[(triple12 OR ((triple10) -> rule1) OR ((triple8) -> rule7))] Erin is kind.[(triple13)] Erin is nice.[(triple14 OR ((((triple16) -> rule8)) -> rule3) OR ((((((((triple15) -> rule1)) -> rule6)) -> rule8)) -> rule3))] Erin is rough.[(triple15 OR ((triple16 triple13) -> rule5) OR ((((((triple13 triple14) -> rule4)) -> rule6) triple13) -> rule5))] Erin is white.[(triple16 OR ((((triple15) -> rule1)) -> rule6) OR ((((triple13 triple14) -> rule4)) -> rule6))] @1: Anne is big.[(((triple2) -> rule2))] Anne is nice.[(((triple1) -> rule3))] Anne is young.[(((triple1) -> rule7) OR ((triple2 ((triple1) -> rule3)) -> rule4))] Bob is nice.[(((triple4) -> rule3))] Bob is rough.[(((triple6 triple5) -> rule5) OR ((((((triple4) -> rule7)) -> rule6) triple5) -> rule5) OR ((((((triple5 ((triple4) -> rule3)) -> rule4)) -> rule6) triple5) -> rule5))] Bob is young.[(((triple4) -> rule7) OR ((((triple6 triple5) -> rule5)) -> rule1) OR ((triple5 ((triple4) -> rule3)) -> rule4))] Erin is big.[(((triple13) -> rule2))] Erin is furry.[(((triple16) -> rule8) OR ((((((triple15) -> rule1)) -> rule6)) -> rule8) OR ((((((triple13 triple14) -> rule4)) -> rule6)) -> rule8))] Erin is young.[(((triple15) -> rule1) OR ((triple13 triple14) -> rule4) OR ((((triple16) -> rule8)) -> rule7) OR ((((triple16 triple13) -> rule5)) -> rule1) OR ((triple13 ((((triple16) -> rule8)) -> rule3)) -> rule4))] @2: Anne is white.[(((((triple1) -> rule7)) -> rule6) OR ((((triple2 ((triple1) -> rule3)) -> rule4)) -> rule6))] @3: Anne is rough.[(((((((triple1) -> rule7)) -> rule6) triple2) -> rule5) OR ((((((triple2 ((triple1) -> rule3)) -> rule4)) -> rule6) triple2) -> rule5))]