Anne is green. Bob is red. Bob is smart. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. If something is smart then it is big. If something is blue and not round then it is kind. If Charlie is green then Charlie is blue.
Charlie is not red.