Bob is white. Charlie is quiet. Dave is green. Erin is cold. If something is nice and not green then it is round. If Charlie is round then Charlie is cold. If something is round and quiet then it is cold. If something is round then it is quiet. If something is nice and not round then it is quiet. If something is round and not quiet then it is white. All white, green things are kind. All nice things are not kind.
Bob is not white.
@0: Bob is white.[(triple1)] Charlie is quiet.[(triple2)] Dave is green.[(triple3)] Erin is cold.[(triple4)]