if the Transportation does not occur the blastogeneticness does not occur.
sent1: the libidinalness occurs if the distinguishing does not occur. sent2: the embattling happens. sent3: that both the libidinalness and the non-basiscopicness occurs prevents the blastogeneticness. sent4: if the distinguishing happens the Transportation happens. sent5: the kidnapping workstation happens. sent6: that the libidinalness but not the basiscopicness occurs results in that the blastogeneticness happens. sent7: if the fact that the Transportation does not occur and the distinguishing does not occur is not right then the snoozing does not occur. sent8: that the blastogeneticness does not occur is prevented by that the Transportation does not occur. sent9: if the distinguishing does not occur then the libidinalness and the non-basiscopicness happens. sent10: the bellylessness does not occur. sent11: the blastogeneticness occurs. sent12: the libidinalness occurs.
void -> assump2: Let's assume that that the distinguishing occurs is not false.; sent4 & assump2 -> int1: the Transportation happens.; void -> assump1: Let's assume that the Transportation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the distinguishing does not occur.; sent9 & int3 -> int4: both the libidinalness and the non-basiscopicness occurs.; sent3 & int4 -> int5: the blastogeneticness does not occur.; [assump1] & int5 -> hypothesis;
the snoozing does not occur.
$hypothesis$ = if the Transportation does not occur the blastogeneticness does not occur. ; $context$ = sent1: the libidinalness occurs if the distinguishing does not occur. sent2: the embattling happens. sent3: that both the libidinalness and the non-basiscopicness occurs prevents the blastogeneticness. sent4: if the distinguishing happens the Transportation happens. sent5: the kidnapping workstation happens. sent6: that the libidinalness but not the basiscopicness occurs results in that the blastogeneticness happens. sent7: if the fact that the Transportation does not occur and the distinguishing does not occur is not right then the snoozing does not occur. sent8: that the blastogeneticness does not occur is prevented by that the Transportation does not occur. sent9: if the distinguishing does not occur then the libidinalness and the non-basiscopicness happens. sent10: the bellylessness does not occur. sent11: the blastogeneticness occurs. sent12: the libidinalness occurs. ; $proof$ = 
void -> assump2: Let's assume that that the distinguishing occurs is not false.; sent4 & assump2 -> int1: the Transportation happens.; void -> assump1: Let's assume that the Transportation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the distinguishing does not occur.; sent9 & int3 -> int4: both the libidinalness and the non-basiscopicness occurs.; sent3 & int4 -> int5: the blastogeneticness does not occur.; [assump1] & int5 -> hypothesis; __PROVED__