Bob is green. Bob is white. Dave is quiet. Dave is smart. Erin is quiet. Erin is round. Gary is cold. Gary is quiet. Gary is round. Gary is smart. All round, green people are smart. Round people are white. All green people are cold. Quiet people are big. If Gary is white then Gary is green. Smart, big people are green. If Gary is green and Gary is white then Gary is cold. Quiet, cold people are round.
Dave is cold.