Anne is smart. Charlie is blue. Charlie is nice. Charlie is red. Charlie is smart. Dave is round. Fiona is red. Young things are blue. Smart things are nice. If something is round and smart then it is big. All big things are young. All young things are round. If something is nice then it is round. Round, young things are red. Red things are round. If something is red and not blue then it is not big.
Dave is not nice.