Charlie is big. Charlie is kind. Fiona is big. Big things are rough. Big, smart things are rough. If something is kind and red then it is smart. If something is rough then it is cold. If something is round and not kind then it is cold. All big, cold things are smart. If Charlie is not red then Charlie is cold. If Charlie is not rough then Charlie is not smart.
Charlie is not kind.