Anne is kind. Charlie is not big. Charlie is green. Erin is green. Erin is not kind. Harry is big. Harry is green. All big, green things are young. Big things are young. All red things are green. If something is kind then it is not red. All furry things are kind. If Harry is young then Harry is cold. If something is young and cold then it is furry.
Charlie is not big.
@0: Anne is kind.[(triple1)] Charlie is green.[(triple3)] Charlie is not big.[(triple2)] Erin is green.[(triple4)] Erin is not kind.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] @1: Anne is not red.[(((triple1) -> rule4))] Harry is young.[(((triple6) -> rule2) OR ((triple6 triple7) -> rule1))] @2: Harry is cold.[(((((triple6) -> rule2)) -> rule6) OR ((((triple6 triple7) -> rule1)) -> rule6))] @3: Harry is furry.[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule6)) -> rule7) OR ((((triple6) -> rule2) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule7) OR ((((triple6 triple7) -> rule1) ((((triple6) -> rule2)) -> rule6)) -> rule7) OR ((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule7))] @4: Harry is kind.[(((((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule6)) -> rule7)) -> rule5) OR ((((((triple6) -> rule2) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule7)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6) -> rule2)) -> rule6)) -> rule7)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule7)) -> rule5))] @5: Harry is not red.[(((((((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple6) -> rule2) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple6 triple7) -> rule1) ((((triple6) -> rule2)) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1)) -> rule6)) -> rule7)) -> rule5)) -> rule4))]