Anne is blue. Anne is kind. Bob is furry. Dave is blue. Erin is furry. Erin is kind. Erin is red. Erin is round. Erin is smart. Erin is white. If something is round then it is red. All blue, smart things are red. If something is round then it is white. If something is round and smart then it is kind. Red, round things are blue. All furry things are white.
Erin is not white.