Since assuming the denial of (7) together with premises (1) through (6) leads to a contradiction, pr...