Dave is big. Dave is furry. Dave is not kind. Dave is red. Dave is rough. Fiona is not kind. Fiona is rough. Gary is big. Gary is red. Harry is furry. All big people are blue. If someone is kind then they are furry. All kind people are not red. If someone is blue and rough then they are green. If someone is furry and not green then they are red. If Harry is big and Harry is not green then Harry is kind. If someone is rough and not blue then they are not green. If someone is not red then they are not blue.
Dave is not big.