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