Bob is kind. Bob is not nice. Bob is red. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is not young. Harry is furry. Harry is not kind. Harry is nice. Harry is not red. Harry is round. Harry is young. All kind, round people are nice. If someone is kind and not furry then they are round. If Bob is round and Bob is young then Bob is green. If Harry is young then Harry is round. If someone is red and not young then they are kind. If someone is furry and not nice then they are green.
Bob is not green.
@0: Bob is kind.[(triple1)] Bob is not nice.[(triple2)] Bob is red.[(triple3)] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple8 triple10) -> rule5))] Charlie is nice.[(triple7 OR ((triple6 triple9) -> rule1) OR ((triple6 ((triple6 triple4) -> rule2)) -> rule1) OR ((((triple8 triple10) -> rule5) triple9) -> rule1) OR ((((triple8 triple10) -> rule5) ((triple6 triple4) -> rule2)) -> rule1) OR ((triple6 ((((triple8 triple10) -> rule5) triple4) -> rule2)) -> rule1) OR ((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) triple4) -> rule2)) -> rule1))] Charlie is not furry.[(triple4)] Charlie is not young.[(triple10)] Charlie is red.[(triple8)] Charlie is round.[(triple9 OR ((triple6 triple4) -> rule2) OR ((((triple8 triple10) -> rule5) triple4) -> rule2))] Harry is furry.[(triple11)] Harry is nice.[(triple13)] Harry is not kind.[(triple12)] Harry is not red.[(triple14)] Harry is round.[(triple15 OR ((triple16) -> rule4))] Harry is young.[(triple16)]