Anne is big. Anne is kind. Dave is furry. Dave is quiet. Dave is white. Erin is big. Erin is furry. Erin is green. Erin is white. Erin is young. All white things are green. All furry things are white. If Erin is kind then Erin is quiet. Quiet things are kind. Furry, green things are kind. All kind things are furry. All quiet things are furry. Quiet things are green.
Dave is not young.