the Jesuiticalness happens.
sent1: that the flashflood does not occur if the fact that the getting arthromere does not occur and the bubonicness does not occur does not hold hold. sent2: that the getting arthromere happens is right. sent3: that the angling Phylloscopus does not occur is true if the getting arthromere and the bubonicness happens. sent4: if the bubonicness does not occur the Jesuiticalness occurs. sent5: that the reddening belle happens and/or the angling Phylloscopus does not occur is false if the Trinidadianness does not occur. sent6: that the corpuscularness does not occur is caused by that the vibration does not occur. sent7: the fact that the non-Trinidadianness and the non-Jesuiticalness occurs is not false if the unpicking occurs. sent8: the crucifying flightiness happens. sent9: if the crucifying flightiness happens the Trinidadianness does not occur and the unpicking does not occur. sent10: that the getting arthromere does not occur and the bubonicness does not occur is not true if the angling Phylloscopus happens.
void -> assump1: Let's assume that the bubonicness happens.; sent2 & assump1 -> int1: both the getting arthromere and the bubonicness happens.; int1 & sent3 -> int2: the angling Phylloscopus does not occur.; int2 -> int3: the reddening belle occurs or the angling Phylloscopus does not occur or both.; sent9 & sent8 -> int4: the fact that the Trinidadian does not occur and the unpicking does not occur is not false.; int4 -> int5: the Trinidadianness does not occur.; sent5 & int5 -> int6: that either the reddening belle occurs or the angling Phylloscopus does not occur or both is incorrect.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the bubonicness does not occur.; int8 & sent4 -> hypothesis;
the flashflood does not occur.
$hypothesis$ = the Jesuiticalness happens. ; $context$ = sent1: that the flashflood does not occur if the fact that the getting arthromere does not occur and the bubonicness does not occur does not hold hold. sent2: that the getting arthromere happens is right. sent3: that the angling Phylloscopus does not occur is true if the getting arthromere and the bubonicness happens. sent4: if the bubonicness does not occur the Jesuiticalness occurs. sent5: that the reddening belle happens and/or the angling Phylloscopus does not occur is false if the Trinidadianness does not occur. sent6: that the corpuscularness does not occur is caused by that the vibration does not occur. sent7: the fact that the non-Trinidadianness and the non-Jesuiticalness occurs is not false if the unpicking occurs. sent8: the crucifying flightiness happens. sent9: if the crucifying flightiness happens the Trinidadianness does not occur and the unpicking does not occur. sent10: that the getting arthromere does not occur and the bubonicness does not occur is not true if the angling Phylloscopus happens. ; $proof$ = 
void -> assump1: Let's assume that the bubonicness happens.; sent2 & assump1 -> int1: both the getting arthromere and the bubonicness happens.; int1 & sent3 -> int2: the angling Phylloscopus does not occur.; int2 -> int3: the reddening belle occurs or the angling Phylloscopus does not occur or both.; sent9 & sent8 -> int4: the fact that the Trinidadian does not occur and the unpicking does not occur is not false.; int4 -> int5: the Trinidadianness does not occur.; sent5 & int5 -> int6: that either the reddening belle occurs or the angling Phylloscopus does not occur or both is incorrect.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the bubonicness does not occur.; int8 & sent4 -> hypothesis; __PROVED__