Anne is red. Anne is smart. Bob is red. Erin is nice. Erin is quiet. Fiona is nice. Fiona is round. If something is big then it is round. If something is quiet and big then it is round. If something is round and quiet then it is smart. If something is smart and big then it is red. All nice, quiet things are blue. If something is red and smart then it is nice. If something is red then it is big. If something is nice and blue then it is big. Smart, big things are blue.
Erin is not blue.