Anne is not furry. Anne is green. Anne is not round. Anne is white. Charlie is furry. Charlie is rough. Charlie is round. All cold, nice people are round. If someone is rough then they are not white. If someone is furry and not green then they are white.
Anne is not green.
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is not round.[(triple3)] Anne is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] @1: Charlie is not white.[(((triple6) -> rule2))]