Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is not red. Charlie is rough. Charlie is round. All round, nice people are green. If Bob is round and Bob is green then Bob is rough.
Charlie is not round.