Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Erin is big. Erin is green. Erin is nice. Erin is red. Erin is round. All kind people are big. All green people are red. If Charlie is cold then Charlie is kind.
Erin is not cold.