Anne is big. Anne is cold. Dave is big. Erin is big. Erin is cold. Erin is red. Gary is white. All green things are cold. Cold things are red. If Erin is nice then Erin is red. If something is big then it is green. Red things are white. If something is white and big then it is red. If something is white then it is rough. If Anne is rough then Anne is red. All big, nice things are green.
Anne is not nice.