Dave is quiet. Erin is big. Erin is rough. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is blue. Quiet, red things are rough. Red, blue things are cold. If Dave is cold and Dave is big then Dave is blue. All quiet things are big. All red things are quiet. If something is big and rough then it is cold. If something is big then it is red. If Gary is red then Gary is rough. Smart things are big.
Dave is not cold.