Anne is smart. Charlie is big. Fiona is red. If something is big then it is round. If something is kind then it is nice. All big, round things are blue. If Fiona is round and Fiona is big then Fiona is kind. Nice, blue things are smart. All smart things are nice. If Charlie is big then Charlie is red. All smart things are nice.
Anne is nice.