Bob is green. Bob is quiet. Bob is red. Bob is smart. Bob is white. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is white. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is white. All quiet, smart people are white. If Charlie is quiet then Charlie is red. If someone is nice then they are smart.
Charlie is not big.