Anne is nice. Anne is smart. Charlie is kind. Charlie is nice. Erin is blue. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Erin is white. Fiona is white. Kind, red things are nice. Red things are kind. If something is blue then it is red. If something is blue then it is smart. If something is red and quiet then it is white. Blue, kind things are quiet. All nice things are blue. If something is white and red then it is smart.
Fiona is not nice.