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