Charlie is white. Charlie is young. Dave is blue. Dave is furry. Dave is nice. Dave is white. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is white. Harry is young. All kind people are white. All blue, young people are nice. If Dave is furry then Dave is quiet. Young, white people are kind. Quiet, kind people are young. All white, quiet people are kind. If Dave is kind and Dave is furry then Dave is quiet. Young people are furry.
Charlie is not nice.
@0: Charlie is white.[(triple1)] Charlie is young.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5 OR ((triple3 ((((triple4) -> rule3) ((triple6 ((triple4) -> rule3)) -> rule6)) -> rule5)) -> rule2))] Dave is white.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8 OR ((triple12) -> rule8) OR ((((triple10 triple9) -> rule5)) -> rule8) OR ((((triple10 ((triple11 triple10) -> rule6)) -> rule5)) -> rule8))] Harry is kind.[(triple9 OR ((triple11 triple10) -> rule6) OR ((triple12 triple11) -> rule4))] Harry is quiet.[(triple10)] Harry is white.[(triple11 OR ((triple9) -> rule1))] Harry is young.[(triple12 OR ((triple10 triple9) -> rule5) OR ((triple10 ((triple11 triple10) -> rule6)) -> rule5))] @1: Charlie is furry.[(((triple2) -> rule8))] Charlie is kind.[(((triple2 triple1) -> rule4))] Dave is quiet.[(((triple4) -> rule3))] Harry is nice.[(((triple7 triple12) -> rule2) OR ((triple7 ((triple10 triple9) -> rule5)) -> rule2) OR ((triple7 ((triple10 ((triple11 triple10) -> rule6)) -> rule5)) -> rule2))] @2: Dave is kind.[(((triple6 ((triple4) -> rule3)) -> rule6))] @3: Dave is young.[(((((triple4) -> rule3) ((triple6 ((triple4) -> rule3)) -> rule6)) -> rule5))]