Bob is big. Bob is red. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is big. Dave is red. Dave is round. Dave is smart. Smart, big people are green. If someone is green and kind then they are big. If someone is white then they are green. All big, kind people are red. If someone is green then they are round. If someone is round and smart then they are green.
Charlie is not big.