Charlie is smart. Erin is white. Fiona is red. Harry is big. All red things are not smart. White things are rough. If Charlie is cold and Charlie is big then Charlie is red. If something is rough and not big then it is red. If something is smart and not white then it is cold. All rough things are red.
Erin is not cold.