that the lander is a torridity if that the Englishwoman glazes forewoman hold is false.
sent1: if that the Englishwoman does not glaze forewoman but it is vegetal is wrong then it is spousal. sent2: the lander is a torridity if the Englishwoman is spousal.
void -> assump1: Let's assume that the Englishwoman glazes forewoman.; void -> assump2: Let's assume that the Englishwoman does not glaze forewoman and is vegetal.; assump2 -> int1: the Englishwoman does not glaze forewoman.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the Englishwoman does not glaze forewoman and is vegetal is incorrect.; sent1 & int3 -> int4: the Englishwoman is spousal.; sent2 & int4 -> int5: the lander is a torridity.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the lander is a torridity if that the Englishwoman glazes forewoman hold is false. ; $context$ = sent1: if that the Englishwoman does not glaze forewoman but it is vegetal is wrong then it is spousal. sent2: the lander is a torridity if the Englishwoman is spousal. ; $proof$ = 
void -> assump1: Let's assume that the Englishwoman glazes forewoman.; void -> assump2: Let's assume that the Englishwoman does not glaze forewoman and is vegetal.; assump2 -> int1: the Englishwoman does not glaze forewoman.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the Englishwoman does not glaze forewoman and is vegetal is incorrect.; sent1 & int3 -> int4: the Englishwoman is spousal.; sent2 & int4 -> int5: the lander is a torridity.; [assump1] & int5 -> hypothesis; __DISPROVED__