Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is not red. Charlie is round. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is round. Red things are kind. Kind, red things are furry. All nice things are green. All green, kind things are not big. If something is furry then it is not big. If something is big and furry then it is not round. If Charlie is not kind then Charlie is not furry. All round things are nice.
Harry is nice.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple4) -> rule3) OR ((((triple6) -> rule8)) -> rule3))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple6) -> rule8))] Charlie is not red.[(triple5)] Charlie is round.[(triple6)] Harry is furry.[(triple7 OR ((triple9 triple11) -> rule2) OR ((((triple11) -> rule1) triple11) -> rule2))] Harry is green.[(triple8 OR ((triple10) -> rule3) OR ((((triple12) -> rule8)) -> rule3))] Harry is kind.[(triple9 OR ((triple11) -> rule1))] Harry is nice.[(triple10 OR ((triple12) -> rule8))] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Charlie is not big.[(((triple1) -> rule5) OR ((triple2 triple3) -> rule4) OR ((((triple4) -> rule3) triple3) -> rule4) OR ((((((triple6) -> rule8)) -> rule3) triple3) -> rule4))] Harry is not big.[(((triple7) -> rule5) OR ((triple8 triple9) -> rule4) OR ((((triple9 triple11) -> rule2)) -> rule5) OR ((triple8 ((triple11) -> rule1)) -> rule4) OR ((((triple10) -> rule3) triple9) -> rule4) OR ((((triple10) -> rule3) ((triple11) -> rule1)) -> rule4) OR ((((((triple11) -> rule1) triple11) -> rule2)) -> rule5) OR ((((((triple12) -> rule8)) -> rule3) triple9) -> rule4) OR ((((((triple12) -> rule8)) -> rule3) ((triple11) -> rule1)) -> rule4))]