Anne is big. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is young. Bob is kind. Bob is rough. Dave is kind. Dave is rough. Erin is big. Erin is kind. Erin is quiet. Erin is red. All quiet things are big. Red, young things are furry. If something is kind then it is red. All furry, young things are quiet. If Bob is furry then Bob is young. All quiet things are kind. If something is red then it is young. If something is red and not kind then it is quiet.
Dave is not big.