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