the weightlessness does not occur.
sent1: the weightlessness does not occur if that the salvation does not occur and the Easter does not occur hold. sent2: if the requisition does not occur then the salvation does not occur and the Easter does not occur. sent3: the fact that the baccalaureate happens is right. sent4: the non-receptiveness is brought about by that the heaves does not occur. sent5: that the inevitableness happens and the requisition occurs leads to that the heaves does not occur. sent6: the receptiveness occurs. sent7: the inevitable and the repossessing occurs. sent8: the weightlessness and the inevitable happens if the repossessing does not occur.
sent7 -> int1: the inevitable happens.; void -> assump1: Let's assume that the fact that the requisitioning happens hold.; int1 & assump1 -> int2: the inevitable and the requisitioning occurs.; int2 & sent5 -> int3: the heaving does not occur.; int3 & sent4 -> int4: the receptiveness does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the requisitioning does not occur.; int6 & sent2 -> int7: the salvation does not occur and the Easter does not occur.; int7 & sent1 -> hypothesis;
the weightlessness happens.
$hypothesis$ = the weightlessness does not occur. ; $context$ = sent1: the weightlessness does not occur if that the salvation does not occur and the Easter does not occur hold. sent2: if the requisition does not occur then the salvation does not occur and the Easter does not occur. sent3: the fact that the baccalaureate happens is right. sent4: the non-receptiveness is brought about by that the heaves does not occur. sent5: that the inevitableness happens and the requisition occurs leads to that the heaves does not occur. sent6: the receptiveness occurs. sent7: the inevitable and the repossessing occurs. sent8: the weightlessness and the inevitable happens if the repossessing does not occur. ; $proof$ = 
sent7 -> int1: the inevitable happens.; void -> assump1: Let's assume that the fact that the requisitioning happens hold.; int1 & assump1 -> int2: the inevitable and the requisitioning occurs.; int2 & sent5 -> int3: the heaving does not occur.; int3 & sent4 -> int4: the receptiveness does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the requisitioning does not occur.; int6 & sent2 -> int7: the salvation does not occur and the Easter does not occur.; int7 & sent1 -> hypothesis; __PROVED__