Bob is not red. Bob is not round. Bob is young. Charlie is red. Charlie is smart. Charlie is young. Erin is red. All red, young things are cold. If Bob is cold and Bob is big then Bob is smart. All round things are smart.
Erin is not cold.