the fact that the dramaticsness does not occur and the artillery does not occur is not true if the trundling frontage occurs.
sent1: that the purging does not occur and the anagrammaticness does not occur is not true if the benevolentness does not occur. sent2: that the dramaticsness but not the artillery occurs does not hold. sent3: the fact that the sigmoidectomy and the non-Bismarckianness happens is incorrect if the categoricness occurs. sent4: if the trundling frontage happens then that the dramaticsness does not occur but the artillery happens does not hold. sent5: the Anchorage does not occur. sent6: the fact that the depositing hooknose happens is not wrong. sent7: the dramaticsness does not occur and the artillery does not occur. sent8: the cannoning does not occur. sent9: the measuring disyllable does not occur. sent10: if the stenographicness and/or the trundling Ireland occurs then the depositing maltha does not occur. sent11: the trundling frontage does not occur if the measuring chambray and/or the trundling monotreme happens. sent12: that the Orwellianness occurs and/or the peripteralness happens prevents the measuring allogamy.
void -> assump2: Let's assume that the trundling frontage occurs.; void -> assump1: Let's assume that the fact that the trundling monotreme happens is not incorrect.; assump1 -> int1: the measuring chambray happens and/or the trundling monotreme happens.; sent11 & int1 -> int2: the trundling frontage does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the trundling monotreme does not occur.;
$hypothesis$ = the fact that the dramaticsness does not occur and the artillery does not occur is not true if the trundling frontage occurs. ; $context$ = sent1: that the purging does not occur and the anagrammaticness does not occur is not true if the benevolentness does not occur. sent2: that the dramaticsness but not the artillery occurs does not hold. sent3: the fact that the sigmoidectomy and the non-Bismarckianness happens is incorrect if the categoricness occurs. sent4: if the trundling frontage happens then that the dramaticsness does not occur but the artillery happens does not hold. sent5: the Anchorage does not occur. sent6: the fact that the depositing hooknose happens is not wrong. sent7: the dramaticsness does not occur and the artillery does not occur. sent8: the cannoning does not occur. sent9: the measuring disyllable does not occur. sent10: if the stenographicness and/or the trundling Ireland occurs then the depositing maltha does not occur. sent11: the trundling frontage does not occur if the measuring chambray and/or the trundling monotreme happens. sent12: that the Orwellianness occurs and/or the peripteralness happens prevents the measuring allogamy. ; $proof$ = 
void -> assump2: Let's assume that the trundling frontage occurs.; void -> assump1: Let's assume that the fact that the trundling monotreme happens is not incorrect.; assump1 -> int1: the measuring chambray happens and/or the trundling monotreme happens.; sent11 & int1 -> int2: the trundling frontage does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the trundling monotreme does not occur.; __UNKNOWN__