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.
Charlie is not white.
@0: Anne is furry.[(triple1)] Bob is green.[(triple2)] Charlie is not white.[(triple3)] Gary is green.[(triple4)]