the fact that the sparking happens and the coping Toronto does not occur if the electronicsness happens is true.
sent1: the laving does not occur if the fact that the laving and the hysteroscopy occurs does not hold. sent2: the coping joke happens. sent3: the fact that the plum happens is not incorrect if that the extrospectiveness does not occur and the plum does not occur is not correct. sent4: the bank occurs. sent5: the coping joke occurs and the coping Toronto happens if the plum does not occur. sent6: that the annexation does not occur and the Prakriticness occurs does not hold. sent7: that the extrospectiveness does not occur and the plum does not occur is not correct. sent8: if the hysteroscopy does not occur then that the Prakriticness occurs is right. sent9: the coping Toronto is prevented by that the coping joke and the plum occurs. sent10: the sparking happens if the lurching dealings does not occur. sent11: if the electronicsness does not occur the fact that that the laving and the hysteroscopy occurs is right is not true. sent12: the annexation does not occur and the Prakriticness occurs if the hysteroscopy does not occur. sent13: the Prakriticness occurs. sent14: that both the hysteroscopy and the electronicsness happens brings about that the lurching dealings does not occur.
void -> assump1: Let's assume that the hysteroscopy does not occur.; sent12 & assump1 -> int1: not the annexation but the Prakriticness happens.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hysteroscopy happens.; void -> assump2: Let's assume that the electronicsness occurs.; int3 & assump2 -> int4: the hysteroscopy and the electronicsness happens.; int4 & sent14 -> int5: that the lurching dealings does not occur is true.; int5 & sent10 -> int6: the spark occurs.; sent3 & sent7 -> int7: the plum happens.; sent2 & int7 -> int8: the coping joke happens and the plum occurs.; sent9 & int8 -> int9: the coping Toronto does not occur.; int6 & int9 -> int10: the sparking but not the coping Toronto happens.; [assump2] & int10 -> hypothesis;
the laving does not occur.
$hypothesis$ = the fact that the sparking happens and the coping Toronto does not occur if the electronicsness happens is true. ; $context$ = sent1: the laving does not occur if the fact that the laving and the hysteroscopy occurs does not hold. sent2: the coping joke happens. sent3: the fact that the plum happens is not incorrect if that the extrospectiveness does not occur and the plum does not occur is not correct. sent4: the bank occurs. sent5: the coping joke occurs and the coping Toronto happens if the plum does not occur. sent6: that the annexation does not occur and the Prakriticness occurs does not hold. sent7: that the extrospectiveness does not occur and the plum does not occur is not correct. sent8: if the hysteroscopy does not occur then that the Prakriticness occurs is right. sent9: the coping Toronto is prevented by that the coping joke and the plum occurs. sent10: the sparking happens if the lurching dealings does not occur. sent11: if the electronicsness does not occur the fact that that the laving and the hysteroscopy occurs is right is not true. sent12: the annexation does not occur and the Prakriticness occurs if the hysteroscopy does not occur. sent13: the Prakriticness occurs. sent14: that both the hysteroscopy and the electronicsness happens brings about that the lurching dealings does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hysteroscopy does not occur.; sent12 & assump1 -> int1: not the annexation but the Prakriticness happens.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hysteroscopy happens.; void -> assump2: Let's assume that the electronicsness occurs.; int3 & assump2 -> int4: the hysteroscopy and the electronicsness happens.; int4 & sent14 -> int5: that the lurching dealings does not occur is true.; int5 & sent10 -> int6: the spark occurs.; sent3 & sent7 -> int7: the plum happens.; sent2 & int7 -> int8: the coping joke happens and the plum occurs.; sent9 & int8 -> int9: the coping Toronto does not occur.; int6 & int9 -> int10: the sparking but not the coping Toronto happens.; [assump2] & int10 -> hypothesis; __PROVED__