Charlie is big. Charlie is cold. Charlie is round. Fiona is big. Fiona is blue. Fiona is red. Fiona is smart. All smart, big things are round. All cold things are red. All round, smart things are furry.
Charlie is not red.