Charlie is big. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is smart. Harry is big. Harry is blue. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If Charlie is rough then Charlie is kind. If Harry is rough and Harry is red then Harry is blue. If Harry is kind and Harry is blue then Harry is quiet. If something is big and quiet then it is rough. If something is red and big then it is rough. If Charlie is kind then Charlie is red.
Charlie is not red.