Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is white. Erin is cold. Erin is green. Erin is round. Erin is white. Harry is cold. Harry is red. Harry is rough. Harry is round. All cold things are red. If Erin is white and Erin is red then Erin is green. All white, cold things are round. All green things are white. If something is cold then it is red. All cold, rough things are white. All cold, rough things are round. All smart, cold things are white.
Harry is not smart.