Anne is big. Anne is white. Bob is smart. Bob is white. Charlie is furry. Charlie is round. Erin is big. Erin is cold. Erin is round. Erin is white. If something is furry and white then it is big. If Charlie is smart then Charlie is furry. If something is furry and round then it is red. If Erin is white then Erin is big. If something is round and red then it is white. If Anne is cold then Anne is furry. If something is white then it is red. If something is red and big then it is cold.
Charlie is not red.