Gary is big. Gary is furry. Gary is kind. Gary is not round. Gary is white. Harry is big. Harry is white. All white things are big. Big things are green. If Harry is green and Harry is not white then Harry is not kind. If something is big and furry then it is kind. If something is green and not white then it is not kind. If something is round and white then it is not furry. If something is green then it is furry. If Gary is green then Gary is kind.
Harry is furry.
@0: Gary is big.[(triple1 OR ((triple5) -> rule1))] Gary is furry.[(triple2 OR ((((triple1) -> rule2)) -> rule7) OR ((((((triple5) -> rule1)) -> rule2)) -> rule7))] Gary is kind.[(triple3 OR ((triple1 triple2) -> rule4) OR ((((triple1) -> rule2)) -> rule8) OR ((((triple5) -> rule1) triple2) -> rule4) OR ((((((triple5) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple1) -> rule2)) -> rule7)) -> rule4) OR ((((triple5) -> rule1) ((((triple1) -> rule2)) -> rule7)) -> rule4) OR ((triple1 ((((((triple5) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple5) -> rule1) ((((((triple5) -> rule1)) -> rule2)) -> rule7)) -> rule4))] Gary is not round.[(triple4)] Gary is white.[(triple5)] Harry is big.[(triple6 OR ((triple7) -> rule1))] Harry is white.[(triple7)] @1: Gary is green.[(((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Harry is green.[(((triple6) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] @2: Harry is furry.[(((((triple6) -> rule2)) -> rule7) OR ((((((triple7) -> rule1)) -> rule2)) -> rule7))] @3: Harry is kind.[(((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule4) OR ((((triple7) -> rule1) ((((triple6) -> rule2)) -> rule7)) -> rule4) OR ((triple6 ((((((triple7) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple7) -> rule1) ((((((triple7) -> rule1)) -> rule2)) -> rule7)) -> rule4))]