Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is round. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Dave is blue. Dave is green. Dave is kind. Dave is white. Erin is blue. Erin is not kind. Erin is nice. Nice things are blue. If Bob is round and Bob is kind then Bob is nice. If Charlie is round and Charlie is green then Charlie is kind.
Bob is not nice.