Anne is big. Anne is blue. Dave is big. Dave is green. Erin is blue. Erin is red. Erin is round. Erin is young. Gary is big. Gary is furry. If Dave is green then Dave is big. If Erin is young then Erin is round. Round people are young. If someone is young then they are red. Blue people are green. If Gary is big and Gary is round then Gary is blue. All green, big people are furry. Furry people are round. Blue people are green.
Anne is red.