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