Anne is blue. Anne is cold. Anne is furry. Anne is young. Dave is blue. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Dave is young. Erin is cold. Erin is furry. Erin is round. Erin is smart. Erin is young. All cold, young things are blue. All blue things are young. If Dave is cold and Dave is blue then Dave is furry.
Anne is rough.