Charlie is blue. Charlie is cold. Charlie is furry. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is nice. Fiona is red. Fiona is smart. If something is furry and cold then it is big. If something is furry then it is blue. All cold things are big. All big things are smart. If Charlie is smart then Charlie is blue. If something is furry then it is big.
Charlie is smart.