if the arousing phial happens the ballisticness happens.
sent1: if the amnesticness happens the moralization occurs. sent2: the univalveness does not occur and the militainment happens. sent3: the wrestling occurs if the fact that the wrestling does not occur and the postbiblicalness does not occur does not hold. sent4: the alchemisticness happens and the barbing fistmele happens. sent5: the intensification occurs if the myalgicness happens. sent6: that the arousing phial does not occur is caused by that the moralization happens and the wrestling occurs. sent7: the fact that the ballisticness occurs is correct if the amnesticness does not occur. sent8: that both the wrestling and the non-postbiblicalness occurs is not correct. sent9: the non-univalveness brings about that either the binariness or the postbiblicalness or both occurs. sent10: if the flipping occurs and the formerness occurs then the censor does not occur. sent11: the fact that that the wrestling does not occur and the postbiblicalness does not occur is wrong hold.
void -> assump2: Let's assume that the amnesticness happens.; sent1 & assump2 -> int1: the moralization occurs.; sent3 & sent11 -> int2: the wrestling occurs.; int1 & int2 -> int3: the moralization and the wrestling happens.; int3 & sent6 -> int4: the fact that the arousing phial does not occur is right.; void -> assump1: Let's assume that the arousing phial occurs.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the amnesticness does not occur.; int6 & sent7 -> int7: the ballisticness happens.; [assump1] & int7 -> hypothesis;
the retrospectiveness occurs.
sent2 -> int8: the univalveness does not occur.; sent9 & int8 -> int9: the binary and/or the postbiblicalness happens.;
$hypothesis$ = if the arousing phial happens the ballisticness happens. ; $context$ = sent1: if the amnesticness happens the moralization occurs. sent2: the univalveness does not occur and the militainment happens. sent3: the wrestling occurs if the fact that the wrestling does not occur and the postbiblicalness does not occur does not hold. sent4: the alchemisticness happens and the barbing fistmele happens. sent5: the intensification occurs if the myalgicness happens. sent6: that the arousing phial does not occur is caused by that the moralization happens and the wrestling occurs. sent7: the fact that the ballisticness occurs is correct if the amnesticness does not occur. sent8: that both the wrestling and the non-postbiblicalness occurs is not correct. sent9: the non-univalveness brings about that either the binariness or the postbiblicalness or both occurs. sent10: if the flipping occurs and the formerness occurs then the censor does not occur. sent11: the fact that that the wrestling does not occur and the postbiblicalness does not occur is wrong hold. ; $proof$ = 
void -> assump2: Let's assume that the amnesticness happens.; sent1 & assump2 -> int1: the moralization occurs.; sent3 & sent11 -> int2: the wrestling occurs.; int1 & int2 -> int3: the moralization and the wrestling happens.; int3 & sent6 -> int4: the fact that the arousing phial does not occur is right.; void -> assump1: Let's assume that the arousing phial occurs.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the amnesticness does not occur.; int6 & sent7 -> int7: the ballisticness happens.; [assump1] & int7 -> hypothesis; __PROVED__