Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is red. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is red. All red things are blue. Kind things are big. If Dave is red then Dave is big. All red things are big. All nice, cold things are furry. All red things are big. All red, blue things are nice. All furry things are cold.
Erin is big.