if the Wood is a Klaproth the clasp is Delphic.
sent1: if the Wood is a Klaproth the snorer is a kind of a spinal. sent2: the clasp is spinal. sent3: if the snorer does not dominate Wood the fact that the clasp is Delphic is true. sent4: that something does not dominate Wood if that it is a spinal is not incorrect is not false.
void -> assump1: Let's assume that the Wood is a kind of a Klaproth.; sent1 & assump1 -> int1: the snorer is a spinal.; sent4 -> int2: the snorer does not dominate Wood if it is a spinal.; int1 & int2 -> int3: the snorer does not dominate Wood.; int3 & sent3 -> int4: the clasp is not non-Delphic.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the Wood is a Klaproth the clasp is Delphic. ; $context$ = sent1: if the Wood is a Klaproth the snorer is a kind of a spinal. sent2: the clasp is spinal. sent3: if the snorer does not dominate Wood the fact that the clasp is Delphic is true. sent4: that something does not dominate Wood if that it is a spinal is not incorrect is not false. ; $proof$ = 
void -> assump1: Let's assume that the Wood is a kind of a Klaproth.; sent1 & assump1 -> int1: the snorer is a spinal.; sent4 -> int2: the snorer does not dominate Wood if it is a spinal.; int1 & int2 -> int3: the snorer does not dominate Wood.; int3 & sent3 -> int4: the clasp is not non-Delphic.; [assump1] & int4 -> hypothesis; __PROVED__