Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Dave is blue. Dave is furry. Dave is nice. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is round. All kind people are round. All green people are blue. If someone is nice and round then they are big. If someone is big and furry then they are round. Furry people are kind. If someone is big then they are nice.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple4) -> rule2))] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is nice.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10 OR ((triple8) -> rule5))] Harry is nice.[(triple11)] Harry is round.[(triple12 OR ((triple10) -> rule1) OR ((((triple8) -> rule5)) -> rule1))] @1: Charlie is kind.[(((triple3) -> rule5))] Charlie is nice.[(((triple1) -> rule6))] Charlie is round.[(((triple1 triple3) -> rule4) OR ((((triple3) -> rule5)) -> rule1))] Dave is kind.[(((triple6) -> rule5))] Harry is big.[(((triple11 triple12) -> rule3) OR ((triple11 ((triple10) -> rule1)) -> rule3) OR ((triple11 ((((triple8) -> rule5)) -> rule1)) -> rule3))] Harry is blue.[(((triple9) -> rule2))] @2: Dave is round.[(((((triple6) -> rule5)) -> rule1))] @3: Dave is big.[(((triple7 ((((triple6) -> rule5)) -> rule1)) -> rule3))]