Anne is big. Anne is blue. Anne is smart. Charlie is big. Charlie is not round. Gary is rough. Harry is smart. If someone is round then they are smart. All blue, round people are cold. All cold people are blue. All blue people are rough. If Gary is blue then Gary is red. If someone is blue and red then they are round. All rough people are cold. If someone is round and not cold then they are big. If someone is big and not blue then they are smart.
Anne is red.