Charlie is rough. Harry is blue. If Charlie is kind then Charlie is red. If someone is young then they are big. If someone is young and not blue then they are kind. If Harry is young then Harry is not red. If someone is not rough and not red then they are young. If someone is big and not red then they are cold.
Harry is not big.