Anne is not nice. Gary is round. Harry is white. If Gary is white then Gary is young. If someone is red and green then they are not young. If someone is young then they are not green. If someone is white and not kind then they are not red. All green people are not white. If someone is round then they are white. If someone is round and not red then they are nice. If Anne is young and Anne is not green then Anne is nice.
Anne is not nice.
@0: Anne is not nice.[(triple1)] Gary is round.[(triple2)] Harry is white.[(triple3)] @1: Gary is white.[(((triple2) -> rule6))] @2: Gary is young.[(((((triple2) -> rule6)) -> rule1))] @3: Gary is not green.[(((((((triple2) -> rule6)) -> rule1)) -> rule3))]