Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Harry is big. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Quiet, rough people are furry. If Bob is furry and Bob is kind then Bob is round. If Dave is nice and Dave is big then Dave is kind. If Dave is quiet and Dave is nice then Dave is big. If someone is quiet and rough then they are nice. Round, kind people are furry.
Bob is not round.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((triple3 triple4) -> rule5))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Dave is furry.[(triple5 OR ((triple10 triple6) -> rule6) OR ((triple8 triple9) -> rule1) OR ((triple10 ((triple7 ((triple8 triple7) -> rule4)) -> rule3)) -> rule6) OR ((triple10 ((((triple8 triple9) -> rule5) ((triple8 triple7) -> rule4)) -> rule3)) -> rule6) OR ((triple10 ((triple7 ((triple8 ((triple8 triple9) -> rule5)) -> rule4)) -> rule3)) -> rule6) OR ((triple10 ((((triple8 triple9) -> rule5) ((triple8 ((triple8 triple9) -> rule5)) -> rule4)) -> rule3)) -> rule6))] Dave is kind.[(triple6 OR ((triple7 ((triple8 triple7) -> rule4)) -> rule3) OR ((((triple8 triple9) -> rule5) ((triple8 triple7) -> rule4)) -> rule3) OR ((triple7 ((triple8 ((triple8 triple9) -> rule5)) -> rule4)) -> rule3) OR ((((triple8 triple9) -> rule5) ((triple8 ((triple8 triple9) -> rule5)) -> rule4)) -> rule3))] Dave is nice.[(triple7 OR ((triple8 triple9) -> rule5))] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Harry is big.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple14 triple15) -> rule5))] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is round.[(triple16)] @1: Bob is furry.[(((triple3 triple4) -> rule1))] Dave is big.[(((triple8 triple7) -> rule4) OR ((triple8 ((triple8 triple9) -> rule5)) -> rule4))] Harry is furry.[(((triple14 triple15) -> rule1) OR ((triple16 triple12) -> rule6))] @2: Bob is round.[(((((triple3 triple4) -> rule1) triple1) -> rule2))]