Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is round. Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Red, green things are rough. All red things are green. Green things are nice. Red, nice things are big. If something is big then it is blue. All round things are green.
Charlie is not rough.