Bob is green. Bob is red. Dave is big. Dave is green. Erin is red. Erin is not round. Gary is cold. Green things are young. If Gary is young then Gary is red. All red things are quiet. If something is not round then it is big. If something is big then it is green. Young, round things are quiet. If Bob is red then Bob is quiet. If something is not red then it is quiet.
Bob is not cold.