Bob is big. Bob is smart. Dave is blue. Dave is green. Dave is round. Erin is big. Gary is cold. All green things are smart. All cold, smart things are quiet. If something is green then it is quiet. If Erin is blue and Erin is smart then Erin is green. If something is big then it is quiet. If something is green and round then it is quiet. Round things are cold. All round things are blue.
Erin is not cold.