Anne is blue. Anne is green. Anne is nice. Bob is nice. Gary is big. Harry is green. Harry is nice. All cold, smart people are green. All kind people are cold. If Gary is green and Gary is big then Gary is smart. Cold, big people are smart. If Bob is nice then Bob is kind. All kind, smart people are big.
Anne is kind.