that the acquainting fixative and the nonexplosiveness occurs does not hold.
sent1: that the efficaciousness does not occur and the carding does not occur is not right. sent2: the alluvialness happens if the actinalness happens. sent3: if the commerce does not occur both the visibleness and the acquainting snowboard happens. sent4: the commerce occurs and the efficaciousness occurs. sent5: if the inserting occurs the pleasantry occurs. sent6: the metallurgicalness occurs if the fact that the Chianness occurs is not wrong. sent7: the acquainting fixative does not occur and/or the nonexplosiveness does not occur if the unshrinkableness does not occur. sent8: the nonexplosiveness is caused by that the pleasantry happens. sent9: either the visibleness happens or the acquainting snowboard does not occur or both if the commerce happens. sent10: the acquainting fixative occurs. sent11: if the Chianness does not occur the politeness happens and the inattentiveness occurs. sent12: the acquainting snowboard results in that both the patrolling houseroom and the non-gonadotropicness occurs. sent13: that not the pleasantry but the unshrinkableness occurs is wrong if the patrolling houseroom happens. sent14: if the gonadotropicness does not occur then that the patrolling houseroom happens and the unshrinkableness occurs is false. sent15: the fact that the acquainting fixative and the nonexplosiveness occurs is false if the inattentiveness does not occur. sent16: if the fact that the patrolling houseroom happens and the unshrinkableness happens is not correct then the fact that the unshrinkableness does not occur hold. sent17: that the inserting does not occur is prevented by the metallurgicalness. sent18: the inattentiveness and the Chianness occurs.
sent18 -> int1: the Chianness occurs.; int1 & sent6 -> int2: the metallurgicalness occurs.; int2 & sent17 -> int3: the inserting happens.; int3 & sent5 -> int4: the pleasantry occurs.; int4 & sent8 -> int5: the nonexplosiveness occurs.; int5 & sent10 -> hypothesis;
the fact that both the acquainting fixative and the nonexplosiveness occurs is wrong.
$hypothesis$ = that the acquainting fixative and the nonexplosiveness occurs does not hold. ; $context$ = sent1: that the efficaciousness does not occur and the carding does not occur is not right. sent2: the alluvialness happens if the actinalness happens. sent3: if the commerce does not occur both the visibleness and the acquainting snowboard happens. sent4: the commerce occurs and the efficaciousness occurs. sent5: if the inserting occurs the pleasantry occurs. sent6: the metallurgicalness occurs if the fact that the Chianness occurs is not wrong. sent7: the acquainting fixative does not occur and/or the nonexplosiveness does not occur if the unshrinkableness does not occur. sent8: the nonexplosiveness is caused by that the pleasantry happens. sent9: either the visibleness happens or the acquainting snowboard does not occur or both if the commerce happens. sent10: the acquainting fixative occurs. sent11: if the Chianness does not occur the politeness happens and the inattentiveness occurs. sent12: the acquainting snowboard results in that both the patrolling houseroom and the non-gonadotropicness occurs. sent13: that not the pleasantry but the unshrinkableness occurs is wrong if the patrolling houseroom happens. sent14: if the gonadotropicness does not occur then that the patrolling houseroom happens and the unshrinkableness occurs is false. sent15: the fact that the acquainting fixative and the nonexplosiveness occurs is false if the inattentiveness does not occur. sent16: if the fact that the patrolling houseroom happens and the unshrinkableness happens is not correct then the fact that the unshrinkableness does not occur hold. sent17: that the inserting does not occur is prevented by the metallurgicalness. sent18: the inattentiveness and the Chianness occurs. ; $proof$ = 
sent18 -> int1: the Chianness occurs.; int1 & sent6 -> int2: the metallurgicalness occurs.; int2 & sent17 -> int3: the inserting happens.; int3 & sent5 -> int4: the pleasantry occurs.; int4 & sent8 -> int5: the nonexplosiveness occurs.; int5 & sent10 -> hypothesis; __DISPROVED__