Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is round. Charlie is big. Charlie is quiet. Round people are rough. Nice people are red. If someone is green then they are red. If someone is nice and rough then they are red. If someone is green and rough then they are nice. If Bob is rough and Bob is red then Bob is round.
Charlie is not nice.