Anne is furry. Dave is big. Dave is quiet. Dave is white. Dave is young. Erin is big. Erin is red. Erin is young. Harry is furry. Harry is red. Harry is round. Harry is young. All white things are furry. If Dave is white then Dave is furry.
Harry is not big.