Bob is cold. Bob is quiet. Bob is round. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Erin is cold. Erin is nice. Erin is red. All smart, quiet things are rough. If something is quiet then it is cold. If Erin is nice then Erin is cold. Round things are rough. If something is cold and red then it is round. All red things are quiet. Cold things are rough. If Charlie is smart and Charlie is rough then Charlie is cold.
Erin is not smart.