Anne is blue. Anne is nice. Anne is rough. Anne is round. Anne is white. Gary is blue. Gary is cold. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is blue. Harry is cold. Harry is smart. Harry is white. If Anne is blue then Anne is smart.
Anne is not cold.