Dave is not nice. Erin is nice. Gary is quiet. Harry is rough. If Harry is not kind then Harry is not nice. All nice, quiet things are red. All blue things are not round. If Gary is kind then Gary is rough. All nice, quiet things are red. If Dave is quiet and Dave is blue then Dave is red. If something is not red then it is round. If something is quiet and not round then it is blue.
Erin is nice.