Anne is furry. Bob is green. Charlie is not white. Gary is green. All kind, white things are green. If something is nice then it is green.
Gary is not green.
@0: Anne is furry.[(triple1)] Bob is green.[(triple2)] Charlie is not white.[(triple3)] Gary is green.[(triple4)]