that the transmigration and the hieraticness occurs is not right.
sent1: if the pontificating does not occur and the presidency happens the overstraining Parochetus does not occur. sent2: the ascent does not occur. sent3: the fact that the nagging happens and the hieraticness happens is wrong if the transmigration does not occur. sent4: the theologizing happens. sent5: the fact that that both the detriment and the transmigration happens is not incorrect is triggered by that the Bohemian does not occur. sent6: that the presidency happens leads to that the hieratic happens. sent7: the detriment happens. sent8: that the theologizing and the plumbicness happens is triggered by that the overstraining Avogadro does not occur. sent9: the presidency occurs if the pontificating occurs. sent10: if the nagging does not occur then that the pontificating does not occur and the overstraining Parochetus happens is not right. sent11: the infusing occurs. sent12: the handing motilin and the scatology happens. sent13: the fact that not the doubling but the herbivorousness occurs is not true. sent14: if the ascent does not occur then the overstraining Parochetus occurs. sent15: the symphonicness does not occur. sent16: the Bohemianness does not occur. sent17: the nagging does not occur if the fact that both the non-doublingness and the herbivorousness occurs is false.
sent14 & sent2 -> int1: the overstraining Parochetus happens.; void -> assump1: Let's assume that the pontificating does not occur.; int1 & assump1 -> int2: the pontificating does not occur and the overstraining Parochetus happens.; sent17 & sent13 -> int3: the nagging does not occur.; sent10 & int3 -> int4: the fact that the pontificating does not occur but the overstraining Parochetus happens does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pontificating occurs.; int6 & sent9 -> int7: the presidency occurs.; int7 & sent6 -> int8: that the hieraticness does not occur is not right.; sent5 & sent16 -> int9: the detriment happens and the transmigration happens.; int9 -> int10: the transmigration happens.; int8 & int10 -> hypothesis;
the fact that both the transmigration and the hieraticness happens is not right.
 -> hypothesis;
$hypothesis$ = that the transmigration and the hieraticness occurs is not right. ; $context$ = sent1: if the pontificating does not occur and the presidency happens the overstraining Parochetus does not occur. sent2: the ascent does not occur. sent3: the fact that the nagging happens and the hieraticness happens is wrong if the transmigration does not occur. sent4: the theologizing happens. sent5: the fact that that both the detriment and the transmigration happens is not incorrect is triggered by that the Bohemian does not occur. sent6: that the presidency happens leads to that the hieratic happens. sent7: the detriment happens. sent8: that the theologizing and the plumbicness happens is triggered by that the overstraining Avogadro does not occur. sent9: the presidency occurs if the pontificating occurs. sent10: if the nagging does not occur then that the pontificating does not occur and the overstraining Parochetus happens is not right. sent11: the infusing occurs. sent12: the handing motilin and the scatology happens. sent13: the fact that not the doubling but the herbivorousness occurs is not true. sent14: if the ascent does not occur then the overstraining Parochetus occurs. sent15: the symphonicness does not occur. sent16: the Bohemianness does not occur. sent17: the nagging does not occur if the fact that both the non-doublingness and the herbivorousness occurs is false. ; $proof$ = 
sent14 & sent2 -> int1: the overstraining Parochetus happens.; void -> assump1: Let's assume that the pontificating does not occur.; int1 & assump1 -> int2: the pontificating does not occur and the overstraining Parochetus happens.; sent17 & sent13 -> int3: the nagging does not occur.; sent10 & int3 -> int4: the fact that the pontificating does not occur but the overstraining Parochetus happens does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pontificating occurs.; int6 & sent9 -> int7: the presidency occurs.; int7 & sent6 -> int8: that the hieraticness does not occur is not right.; sent5 & sent16 -> int9: the detriment happens and the transmigration happens.; int9 -> int10: the transmigration happens.; int8 & int10 -> hypothesis; __DISPROVED__