Bob is not red. Charlie is kind. Erin is rough. Harry is rough. If someone is blue then they are red. All big, blue people are not kind. If someone is big and red then they are not kind. If Charlie is red and Charlie is not rough then Charlie is cold. If someone is kind and not blue then they are red. Quiet, kind people are red.
Charlie is not red.