Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is not red. Anne is white. Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is white. Bob is young. Charlie is blue. Charlie is kind. Charlie is white. If someone is kind and not young then they are not white. If someone is green and not nice then they are red.
Charlie is not red.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not red.[(triple5)] Anne is white.[(triple6)] Bob is blue.[(triple7)] Bob is green.[(triple8)] Bob is nice.[(triple9)] Bob is red.[(triple10)] Bob is white.[(triple11)] Bob is young.[(triple12)] Charlie is blue.[(triple13)] Charlie is kind.[(triple14)] Charlie is white.[(triple15)]