the leasing adesite does not occur.
sent1: that the leasing immunologist happens and the fissileness occurs is caused by the non-motivationalness. sent2: both the metrologicalness and the operations occurs. sent3: if the anticlimax happens the blocking happens. sent4: the motivationalness does not occur. sent5: that the leasing immunologist does not occur is brought about by that both the blocking and the leasing adesite occurs. sent6: if the fact that either the Stravinskyanness happens or the lobotomy does not occur or both is not true the anticlimax occurs. sent7: the fact that the Stravinskyanness happens and/or the lobotomy does not occur does not hold if the operations occurs.
sent2 -> int1: the operations occurs.; int1 & sent7 -> int2: that either the Stravinskyanness happens or the lobotomy does not occur or both is not correct.; int2 & sent6 -> int3: the anticlimax happens.; int3 & sent3 -> int4: the blocking happens.; void -> assump1: Let's assume that the leasing adesite occurs.; int4 & assump1 -> int5: the blocking and the leasing adesite occurs.; int5 & sent5 -> int6: the leasing immunologist does not occur.; sent1 & sent4 -> int7: the leasing immunologist happens and the fissileness happens.; int7 -> int8: the leasing immunologist occurs.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the leasing adesite does not occur. ; $context$ = sent1: that the leasing immunologist happens and the fissileness occurs is caused by the non-motivationalness. sent2: both the metrologicalness and the operations occurs. sent3: if the anticlimax happens the blocking happens. sent4: the motivationalness does not occur. sent5: that the leasing immunologist does not occur is brought about by that both the blocking and the leasing adesite occurs. sent6: if the fact that either the Stravinskyanness happens or the lobotomy does not occur or both is not true the anticlimax occurs. sent7: the fact that the Stravinskyanness happens and/or the lobotomy does not occur does not hold if the operations occurs. ; $proof$ = 
sent2 -> int1: the operations occurs.; int1 & sent7 -> int2: that either the Stravinskyanness happens or the lobotomy does not occur or both is not correct.; int2 & sent6 -> int3: the anticlimax happens.; int3 & sent3 -> int4: the blocking happens.; void -> assump1: Let's assume that the leasing adesite occurs.; int4 & assump1 -> int5: the blocking and the leasing adesite occurs.; int5 & sent5 -> int6: the leasing immunologist does not occur.; sent1 & sent4 -> int7: the leasing immunologist happens and the fissileness happens.; int7 -> int8: the leasing immunologist occurs.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__