Anne is furry. Charlie is big. Charlie is round. Charlie is smart. Dave is red. Harry is big. Harry is smart. Big things are blue. Furry things are smart. If something is round and big then it is smart. If something is round then it is cold. All cold things are blue. All cold, red things are big. If Charlie is big and Charlie is furry then Charlie is blue. Furry things are round.
Charlie is not furry.