Anne is not quiet. Anne is smart. Bob is not nice. Charlie is big. Charlie is cold. Dave is big. Dave is rough. If Anne is smart then Anne is furry. Cold things are smart. If something is smart then it is not nice.
Charlie is not smart.