Charlie is blue. Charlie is cold. Charlie is kind. Charlie is not nice. Charlie is rough. Charlie is round. Erin is rough. If someone is not cold then they are nice. If Charlie is round then Charlie is blue. If someone is smart then they are nice. All nice people are rough. Kind people are rough. If someone is not kind and not blue then they are not cold.
Erin is not round.