Given a set of conditions and related statements, apply indirect reasoning to come to a conclusion. (aka Indirect proof)