Anne is not nice. Gary is nice. Harry is white. All white things are furry. Quiet things are white. If something is white and green then it is kind. If Anne is red and Anne is not green then Anne is not furry. All quiet things are nice. If something is white and not kind then it is nice.
Anne is nice.
@0: Anne is not nice.[(triple1)] Gary is nice.[(triple2)] Harry is white.[(triple3)] @1: Harry is furry.[(((triple3) -> rule1))]