Dave is cold. Dave is furry. Dave is quiet. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is smart. Gary is young. If Gary is quiet and Gary is big then Gary is smart. All green people are young. If someone is big then they are cold.
Dave is big.