the fact that the pneumococcalness does not occur hold.
sent1: the volubleness does not occur. sent2: the Anguillanness happens if that the Anguillanness does not occur and the confining Bassariscidae does not occur is not correct. sent3: the immersing and the non-chronologicalness occurs if the scoring does not occur. sent4: the non-volubleness is prevented by that both the non-pneumococcalness and the non-Anguillanness happens. sent5: if that the persisting profiteer does not occur is not incorrect then the fact that the Anguillanness does not occur and the confining Bassariscidae does not occur is not right. sent6: if not the volubleness but the pneumococcalness occurs then that the Anguillanness does not occur is correct. sent7: if that the prioritizing missile does not occur and the repair does not occur is incorrect that the confining moo does not occur is not false. sent8: that the myringotomy does not occur hold. sent9: the plasticizing does not occur if that the confining stinter and the plasticizing happens does not hold. sent10: that the prioritizing missile does not occur and the repairing does not occur is not correct if the plasticizing does not occur. sent11: that the detention but not the litigiousness happens prevents the fibrocalcificness. sent12: the explication does not occur. sent13: if the confining moo does not occur the detention happens and the litigiousness does not occur. sent14: if the fibrocalcificness does not occur the scoring does not occur and the librarianship does not occur. sent15: the meretriciousness happens if the volubleness happens. sent16: the fact that the Anguillan but not the confining Bassariscidae happens is incorrect if the persisting profiteer does not occur. sent17: if the chronologicalness does not occur then both the persisting profiteer and the confining Bassariscidae happens. sent18: the persisting profiteer does not occur.
void -> assump1: Let's assume that that the pneumococcalness occurs is true.; sent1 & assump1 -> int1: the non-volubleness and the pneumococcalness occurs.; int1 & sent6 -> int2: the Anguillan does not occur.; sent5 & sent18 -> int3: the fact that the Anguillanness does not occur and the confining Bassariscidae does not occur does not hold.; sent2 & int3 -> int4: the Anguillanness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the meretriciousness occurs.
$hypothesis$ = the fact that the pneumococcalness does not occur hold. ; $context$ = sent1: the volubleness does not occur. sent2: the Anguillanness happens if that the Anguillanness does not occur and the confining Bassariscidae does not occur is not correct. sent3: the immersing and the non-chronologicalness occurs if the scoring does not occur. sent4: the non-volubleness is prevented by that both the non-pneumococcalness and the non-Anguillanness happens. sent5: if that the persisting profiteer does not occur is not incorrect then the fact that the Anguillanness does not occur and the confining Bassariscidae does not occur is not right. sent6: if not the volubleness but the pneumococcalness occurs then that the Anguillanness does not occur is correct. sent7: if that the prioritizing missile does not occur and the repair does not occur is incorrect that the confining moo does not occur is not false. sent8: that the myringotomy does not occur hold. sent9: the plasticizing does not occur if that the confining stinter and the plasticizing happens does not hold. sent10: that the prioritizing missile does not occur and the repairing does not occur is not correct if the plasticizing does not occur. sent11: that the detention but not the litigiousness happens prevents the fibrocalcificness. sent12: the explication does not occur. sent13: if the confining moo does not occur the detention happens and the litigiousness does not occur. sent14: if the fibrocalcificness does not occur the scoring does not occur and the librarianship does not occur. sent15: the meretriciousness happens if the volubleness happens. sent16: the fact that the Anguillan but not the confining Bassariscidae happens is incorrect if the persisting profiteer does not occur. sent17: if the chronologicalness does not occur then both the persisting profiteer and the confining Bassariscidae happens. sent18: the persisting profiteer does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the pneumococcalness occurs is true.; sent1 & assump1 -> int1: the non-volubleness and the pneumococcalness occurs.; int1 & sent6 -> int2: the Anguillan does not occur.; sent5 & sent18 -> int3: the fact that the Anguillanness does not occur and the confining Bassariscidae does not occur does not hold.; sent2 & int3 -> int4: the Anguillanness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__