Anne is furry. Anne is kind. Anne is nice. Anne is round. Anne is white. Bob is big. Bob is furry. Bob is nice. Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. Charlie is young. Big people are white. If someone is big then they are nice. All white people are kind. White, kind people are furry. All kind, big people are nice. If someone is nice and big then they are young.
Anne is not young.
@0: Anne is furry.[(triple1 OR ((triple5 triple2) -> rule4) OR ((triple5 ((triple5) -> rule3)) -> rule4))] Anne is kind.[(triple2 OR ((triple5) -> rule3))] Anne is nice.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Bob is big.[(triple6)] Bob is furry.[(triple7 OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule4))] Bob is nice.[(triple8 OR ((triple6) -> rule2) OR ((((((triple6) -> rule1)) -> rule3) triple6) -> rule5))] Charlie is big.[(triple9)] Charlie is furry.[(triple10 OR ((triple14 triple11) -> rule4) OR ((triple14 ((triple14) -> rule3)) -> rule4) OR ((((triple9) -> rule1) triple11) -> rule4) OR ((((triple9) -> rule1) ((triple14) -> rule3)) -> rule4) OR ((triple14 ((((triple9) -> rule1)) -> rule3)) -> rule4) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule3)) -> rule4))] Charlie is kind.[(triple11 OR ((triple14) -> rule3) OR ((((triple9) -> rule1)) -> rule3))] Charlie is nice.[(triple12 OR ((triple9) -> rule2) OR ((triple11 triple9) -> rule5) OR ((((triple14) -> rule3) triple9) -> rule5) OR ((((((triple9) -> rule1)) -> rule3) triple9) -> rule5))] Charlie is round.[(triple13)] Charlie is white.[(triple14 OR ((triple9) -> rule1))] Charlie is young.[(triple15 OR ((triple12 triple9) -> rule6) OR ((((triple9) -> rule2) triple9) -> rule6) OR ((((triple11 triple9) -> rule5) triple9) -> rule6) OR ((((((triple14) -> rule3) triple9) -> rule5) triple9) -> rule6) OR ((((((((triple9) -> rule1)) -> rule3) triple9) -> rule5) triple9) -> rule6))] @1: Bob is white.[(((triple6) -> rule1))] Bob is young.[(((triple8 triple6) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule1)) -> rule3) triple6) -> rule5) triple6) -> rule6))] @2: Bob is kind.[(((((triple6) -> rule1)) -> rule3))]