not the moonbeam but the knocking occurs.
sent1: the priming gavial does not occur. sent2: the fact that the scale but not the snuffing occurs is wrong if the unmanliness occurs. sent3: if the priming gavial does not occur the achromatizing Libya occurs. sent4: the moonbeam happens and the knocking occurs if the achromatizing Libya does not occur. sent5: the weightlift does not occur. sent6: if the unmanliness does not occur then the fact that not the moonbeam but the knock occurs is false. sent7: the fact that the skedaddle happens and the Klondike does not occur is false if that the weightlift does not occur is right. sent8: if the priming gavial does not occur then the gothicness occurs and the achromatizing Libya happens. sent9: the non-low-resolutionness results in that the looking and the countermarching occurs. sent10: both the unmanliness and the skedaddling happens. sent11: the achromatizing Libya occurs. sent12: if the gothicness does not occur then the skedaddle or the Klondike or both happens. sent13: the knocking happens. sent14: the wresting blackberry prevents the moonbeam. sent15: if both the gothicness and the Klondike occurs then the priming Menorah does not occur.
sent10 -> int1: the skedaddling occurs.; void -> assump1: Let's assume that the Klondike does not occur.; int1 & assump1 -> int2: the skedaddling but not the Klondike occurs.; sent7 & sent5 -> int3: the fact that the skedaddling but not the Klondike happens is not correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Klondike occurs.; sent8 & sent1 -> int6: the gothicness occurs and the achromatizing Libya happens.; int6 -> int7: the gothicness occurs.; int5 & int7 -> int8: the gothicness happens and the Klondike occurs.; int8 & sent15 -> int9: the priming Menorah does not occur.;
the fact that the scale happens and the snuffing does not occur is false.
$hypothesis$ = not the moonbeam but the knocking occurs. ; $context$ = sent1: the priming gavial does not occur. sent2: the fact that the scale but not the snuffing occurs is wrong if the unmanliness occurs. sent3: if the priming gavial does not occur the achromatizing Libya occurs. sent4: the moonbeam happens and the knocking occurs if the achromatizing Libya does not occur. sent5: the weightlift does not occur. sent6: if the unmanliness does not occur then the fact that not the moonbeam but the knock occurs is false. sent7: the fact that the skedaddle happens and the Klondike does not occur is false if that the weightlift does not occur is right. sent8: if the priming gavial does not occur then the gothicness occurs and the achromatizing Libya happens. sent9: the non-low-resolutionness results in that the looking and the countermarching occurs. sent10: both the unmanliness and the skedaddling happens. sent11: the achromatizing Libya occurs. sent12: if the gothicness does not occur then the skedaddle or the Klondike or both happens. sent13: the knocking happens. sent14: the wresting blackberry prevents the moonbeam. sent15: if both the gothicness and the Klondike occurs then the priming Menorah does not occur. ; $proof$ = 
sent10 -> int1: the skedaddling occurs.; void -> assump1: Let's assume that the Klondike does not occur.; int1 & assump1 -> int2: the skedaddling but not the Klondike occurs.; sent7 & sent5 -> int3: the fact that the skedaddling but not the Klondike happens is not correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Klondike occurs.; sent8 & sent1 -> int6: the gothicness occurs and the achromatizing Libya happens.; int6 -> int7: the gothicness occurs.; int5 & int7 -> int8: the gothicness happens and the Klondike occurs.; int8 & sent15 -> int9: the priming Menorah does not occur.; __UNKNOWN__