the pelvimetry occurs.
sent1: if the quarterback does not occur then the pelvimetry does not occur. sent2: if the fact that the puzzling does not occur and the tautening fieldstone does not occur is false the quarterback does not occur. sent3: the puzzling happens.
void -> assump1: Let's assume that the puzzling does not occur and the tautening fieldstone does not occur.; assump1 -> int1: the puzzle does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the puzzle does not occur and the tautening fieldstone does not occur is right is not true.; sent2 & int3 -> int4: the quarterback does not occur.; sent1 & int4 -> hypothesis;
$hypothesis$ = the pelvimetry occurs. ; $context$ = sent1: if the quarterback does not occur then the pelvimetry does not occur. sent2: if the fact that the puzzling does not occur and the tautening fieldstone does not occur is false the quarterback does not occur. sent3: the puzzling happens. ; $proof$ = 
void -> assump1: Let's assume that the puzzling does not occur and the tautening fieldstone does not occur.; assump1 -> int1: the puzzle does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the puzzle does not occur and the tautening fieldstone does not occur is right is not true.; sent2 & int3 -> int4: the quarterback does not occur.; sent1 & int4 -> hypothesis; __DISPROVED__