Anne is big. Anne is not rough. Anne is not round. Bob is big. Bob is not nice. Bob is not rough. Bob is round. Charlie is cold. Charlie is round. Dave is furry. If something is blue and not furry then it is rough. All furry things are round. Blue, round things are not cold. If Charlie is blue then Charlie is rough. If something is blue then it is big. If something is round and not rough then it is big.
Charlie is not rough.