that the permeableness does not occur hold.
sent1: if that the pediatricsness does not occur is correct the fact that the invigorating happens and the caffeinicness happens does not hold. sent2: if the fact that the antonymousness does not occur is not correct then the blasphemy occurs. sent3: that the Reformation does not occur and the readjustment occurs is incorrect. sent4: the fact that both the non-uncharacteristicness and the douching happens is false. sent5: the strategicness occurs. sent6: the fact that the unopposableness does not occur is true. sent7: that the acupuncture occurs is brought about by that the slum does not occur and the predating bistro does not occur. sent8: if the slum happens that the antonymousness happens is not false. sent9: the dosing occurs. sent10: the tensionalness does not occur. sent11: the blasphemy does not occur. sent12: if the scouting squib does not occur the fact that both the Aeschyleanness and the impermeableness occurs does not hold. sent13: the predating bistro does not occur if the fact that the Aeschyleanness does not occur but the scouting squib occurs is not right. sent14: the charitableness happens if the apneicness occurs. sent15: that the strategicness happens and the distinguishableness happens is not true. sent16: if the tensionalness does not occur then that the Aeschyleanness does not occur and the scouting squib happens is not right.
void -> assump1: Let's assume that the slumming occurs.; sent8 & assump1 -> int1: the antonymousness happens.; int1 & sent2 -> int2: the blasphemy happens.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the slumming does not occur.; sent16 & sent10 -> int5: that the fact that both the non-Aeschyleanness and the scouting squib happens is not incorrect is incorrect.; sent13 & int5 -> int6: the predating bistro does not occur.; int4 & int6 -> int7: the slum does not occur and the predating bistro does not occur.; int7 & sent7 -> int8: the acupuncture happens.;
the apneicness does not occur.
$hypothesis$ = that the permeableness does not occur hold. ; $context$ = sent1: if that the pediatricsness does not occur is correct the fact that the invigorating happens and the caffeinicness happens does not hold. sent2: if the fact that the antonymousness does not occur is not correct then the blasphemy occurs. sent3: that the Reformation does not occur and the readjustment occurs is incorrect. sent4: the fact that both the non-uncharacteristicness and the douching happens is false. sent5: the strategicness occurs. sent6: the fact that the unopposableness does not occur is true. sent7: that the acupuncture occurs is brought about by that the slum does not occur and the predating bistro does not occur. sent8: if the slum happens that the antonymousness happens is not false. sent9: the dosing occurs. sent10: the tensionalness does not occur. sent11: the blasphemy does not occur. sent12: if the scouting squib does not occur the fact that both the Aeschyleanness and the impermeableness occurs does not hold. sent13: the predating bistro does not occur if the fact that the Aeschyleanness does not occur but the scouting squib occurs is not right. sent14: the charitableness happens if the apneicness occurs. sent15: that the strategicness happens and the distinguishableness happens is not true. sent16: if the tensionalness does not occur then that the Aeschyleanness does not occur and the scouting squib happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the slumming occurs.; sent8 & assump1 -> int1: the antonymousness happens.; int1 & sent2 -> int2: the blasphemy happens.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the slumming does not occur.; sent16 & sent10 -> int5: that the fact that both the non-Aeschyleanness and the scouting squib happens is not incorrect is incorrect.; sent13 & int5 -> int6: the predating bistro does not occur.; int4 & int6 -> int7: the slum does not occur and the predating bistro does not occur.; int7 & sent7 -> int8: the acupuncture happens.; __UNKNOWN__