the mount happens and the asking Arcturus happens.
sent1: that the description happens but the asking barbershop does not occur yields the non-nonhierarchicalness. sent2: the fact that the prompting does not occur but the spoil happens is false if the littoralness does not occur. sent3: if the movie does not occur the fact that the mounting and the asking Arcturus happens is not correct. sent4: that the prompting happens is not false. sent5: the verbalization occurs if not the adsorbent but the warming happens. sent6: the spoiling does not occur. sent7: the Calvary occurs. sent8: the asking Arcturus occurs. sent9: the mounting happens if the littoral occurs. sent10: the fact that the exfoliation happens is not wrong. sent11: the sleeping occurs. sent12: both the non-consonantalness and the non-littoralness happens if the verbalization occurs. sent13: if the movie but not the spoil happens the littoralness occurs. sent14: both the leaching lockup and the non-tartaricness happens. sent15: the debasing happens. sent16: that both the non-adsorbentness and the warmness occurs is caused by the non-nonhierarchicalness. sent17: if the isotropicness occurs then the asking barbershop happens. sent18: both the movie and the prompting happens.
sent18 -> int1: the movie happens.; int1 & sent6 -> int2: the movie occurs and the spoiling does not occur.; int2 & sent13 -> int3: the littoralness occurs.; int3 & sent9 -> int4: the mounting occurs.; int4 & sent8 -> hypothesis;
the fact that both the mounting and the asking Arcturus occurs is wrong.
$hypothesis$ = the mount happens and the asking Arcturus happens. ; $context$ = sent1: that the description happens but the asking barbershop does not occur yields the non-nonhierarchicalness. sent2: the fact that the prompting does not occur but the spoil happens is false if the littoralness does not occur. sent3: if the movie does not occur the fact that the mounting and the asking Arcturus happens is not correct. sent4: that the prompting happens is not false. sent5: the verbalization occurs if not the adsorbent but the warming happens. sent6: the spoiling does not occur. sent7: the Calvary occurs. sent8: the asking Arcturus occurs. sent9: the mounting happens if the littoral occurs. sent10: the fact that the exfoliation happens is not wrong. sent11: the sleeping occurs. sent12: both the non-consonantalness and the non-littoralness happens if the verbalization occurs. sent13: if the movie but not the spoil happens the littoralness occurs. sent14: both the leaching lockup and the non-tartaricness happens. sent15: the debasing happens. sent16: that both the non-adsorbentness and the warmness occurs is caused by the non-nonhierarchicalness. sent17: if the isotropicness occurs then the asking barbershop happens. sent18: both the movie and the prompting happens. ; $proof$ = 
sent18 -> int1: the movie happens.; int1 & sent6 -> int2: the movie occurs and the spoiling does not occur.; int2 & sent13 -> int3: the littoralness occurs.; int3 & sent9 -> int4: the mounting occurs.; int4 & sent8 -> hypothesis; __PROVED__