Anne is kind. Charlie is nice. Erin is big. Erin is young. Harry is kind. Harry is nice. Harry is young. Young, big things are nice. All furry, green things are nice. If Charlie is nice then Charlie is young. Big, young things are furry. If Erin is green then Erin is big. If Erin is nice and Erin is white then Erin is green. If something is furry then it is young. Kind things are white.
Erin is not kind.
@0: Anne is kind.[(triple1)] Charlie is nice.[(triple2)] Erin is big.[(triple3)] Erin is young.[(triple4)] Harry is kind.[(triple5)] Harry is nice.[(triple6)] Harry is young.[(triple7)] @1: Anne is white.[(((triple1) -> rule8))] Charlie is young.[(((triple2) -> rule3))] Erin is furry.[(((triple3 triple4) -> rule4))] Erin is nice.[(((triple4 triple3) -> rule1))] Harry is white.[(((triple5) -> rule8))]