Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Dave is big. Erin is big. Erin is cold. All cold, red things are blue. If Erin is blue then Erin is nice. If Erin is big then Erin is red. All blue things are nice. All big, nice things are red. All blue things are young. All big, cold things are red. All round things are big.
Dave is not nice.