Anne is big. Charlie is white. Dave is big. Dave is red. Fiona is furry. Fiona is quiet. Fiona is white. All cold things are red. All big things are smart. If Anne is quiet then Anne is cold. If something is smart and furry then it is cold. If Fiona is smart then Fiona is big. If something is red then it is quiet. Smart things are furry. All smart, red things are white.
Anne is not cold.