Anne is green. Anne is red. Anne is white. Bob is green. Bob is quiet. Bob is white. Charlie is green. Charlie is red. Dave is big. Dave is quiet. If someone is red then they are quiet. If Charlie is white and Charlie is rough then Charlie is green. All red, quiet people are white. If someone is rough and red then they are white. All red people are quiet. If Charlie is rough and Charlie is cold then Charlie is red. All big people are rough. If Bob is quiet then Bob is red.
Charlie is not white.