the fact that if the aweing Prussian happens the hollering happens is wrong.
sent1: if the fact that the divarication does not occur but the latching castigation occurs does not hold then the latching castigation does not occur. sent2: if the fact that the airburst occurs and the condescension occurs is wrong then the Augustanness does not occur. sent3: that not the divarication but the latching castigation happens is not true. sent4: if the condescension does not occur that the hollering happens and/or the Augustanness occurs is not true. sent5: if that the latching bellyband does not occur is not false then the discountenancing ecrevisse does not occur. sent6: if the aweing Prussian does not occur and the discountenancing ecrevisse does not occur the dogfighting does not occur. sent7: that both the baring and the non-Augustanness happens causes that the hollering occurs. sent8: if the discountenancing ecrevisse does not occur then the bareness occurs. sent9: the inconsiderateness brings about that both the aweing Juniperus and the scouring occurs. sent10: the latching bellyband does not occur or the manhandling Powhatan does not occur or both if the aweing Prussian happens. sent11: that the aweing Juniperus occurs and the divarication does not occur prevents that the latching castigation does not occur. sent12: that both the airburst and the condescension happens does not hold if the latching castigation does not occur. sent13: the considerateness does not occur. sent14: the discountenancing ecrevisse does not occur if the manhandling Powhatan does not occur. sent15: the divarication does not occur if that the expiratoriness and the scouring happens is not correct.
void -> assump1: Let's assume that the fact that the aweing Prussian happens is correct.; sent10 & assump1 -> int1: the latching bellyband does not occur or the manhandling Powhatan does not occur or both.; int1 & sent5 & sent14 -> int2: the discountenancing ecrevisse does not occur.; int2 & sent8 -> int3: that the bareness happens is right.; sent1 & sent3 -> int4: the latching castigation does not occur.; sent12 & int4 -> int5: that the airburst and the condescension happens is not right.; sent2 & int5 -> int6: the Augustanness does not occur.; int3 & int6 -> int7: the baring but not the Augustanness occurs.; int7 & sent7 -> int8: the hollering happens.; [assump1] & int8 -> hypothesis;
the dogfighting does not occur.
sent9 & sent13 -> int9: both the aweing Juniperus and the scouring occurs.; int9 -> int10: the aweing Juniperus happens.;
$hypothesis$ = the fact that if the aweing Prussian happens the hollering happens is wrong. ; $context$ = sent1: if the fact that the divarication does not occur but the latching castigation occurs does not hold then the latching castigation does not occur. sent2: if the fact that the airburst occurs and the condescension occurs is wrong then the Augustanness does not occur. sent3: that not the divarication but the latching castigation happens is not true. sent4: if the condescension does not occur that the hollering happens and/or the Augustanness occurs is not true. sent5: if that the latching bellyband does not occur is not false then the discountenancing ecrevisse does not occur. sent6: if the aweing Prussian does not occur and the discountenancing ecrevisse does not occur the dogfighting does not occur. sent7: that both the baring and the non-Augustanness happens causes that the hollering occurs. sent8: if the discountenancing ecrevisse does not occur then the bareness occurs. sent9: the inconsiderateness brings about that both the aweing Juniperus and the scouring occurs. sent10: the latching bellyband does not occur or the manhandling Powhatan does not occur or both if the aweing Prussian happens. sent11: that the aweing Juniperus occurs and the divarication does not occur prevents that the latching castigation does not occur. sent12: that both the airburst and the condescension happens does not hold if the latching castigation does not occur. sent13: the considerateness does not occur. sent14: the discountenancing ecrevisse does not occur if the manhandling Powhatan does not occur. sent15: the divarication does not occur if that the expiratoriness and the scouring happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the aweing Prussian happens is correct.; sent10 & assump1 -> int1: the latching bellyband does not occur or the manhandling Powhatan does not occur or both.; int1 & sent5 & sent14 -> int2: the discountenancing ecrevisse does not occur.; int2 & sent8 -> int3: that the bareness happens is right.; sent1 & sent3 -> int4: the latching castigation does not occur.; sent12 & int4 -> int5: that the airburst and the condescension happens is not right.; sent2 & int5 -> int6: the Augustanness does not occur.; int3 & int6 -> int7: the baring but not the Augustanness occurs.; int7 & sent7 -> int8: the hollering happens.; [assump1] & int8 -> hypothesis; __DISPROVED__