Anne is big. Anne is cold. Anne is not furry. Anne is green. Anne is not nice. Anne is not smart. Anne is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Dave is big. Dave is furry. Dave is not green. Dave is nice. Dave is smart. If someone is nice and not smart then they are big. Big people are cold. If Anne is big then Anne is white. All green, nice people are big. If Anne is not furry and Anne is not white then Anne is green. If someone is furry and not green then they are big.
Charlie is not smart.