Bob is big. Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Charlie is big. Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Big, blue things are round. If Charlie is red and Charlie is big then Charlie is green. Green things are round. Round things are green. All blue, big things are green. All round things are blue. If something is rough and big then it is blue. If something is blue then it is smart.
Charlie is not round.