Charlie is big. Dave is furry. Dave is round. Red people are kind. If someone is red then they are green. If Dave is kind and Dave is big then Dave is furry. All furry people are not red. All green, big people are not round. If someone is rough and not kind then they are green. If someone is red and not kind then they are big. If someone is rough and not furry then they are red.
Charlie is big.