Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Bob is quiet. Charlie is not green. Charlie is nice. If Bob is blue then Bob is nice. All white, nice things are not red.
Charlie is nice.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Bob is quiet.[(triple5)] Charlie is nice.[(triple7)] Charlie is not green.[(triple6)]