that the commensurateness and the tribuneship occurs is wrong.
sent1: if the fact that the untruthfulness and the non-glycogenicness happens is not right then the riddling medium occurs. sent2: if the tenderization occurs the territorial does not occur. sent3: the non-glycogenicness is prevented by the truthfulness. sent4: the truthfulness occurs. sent5: the riddling pax does not occur and the backup does not occur if the inconsistentness happens. sent6: if the glycogenicness occurs then the commensurateness occurs. sent7: that either the incriminating trochanter or the non-glycogenicness or both hold is brought about by that the territorialness happens. sent8: the inconsistentness occurs if the fact that the ropiness does not occur and the recovering does not occur is not right. sent9: if the riddling Zimbabwe does not occur then the tenderization occurs and the instruction occurs. sent10: the fact that both the non-hermeneuticness and the incriminating trochanter occurs is not right if the territorial does not occur. sent11: the tribuneship occurs. sent12: that the ropiness does not occur and the recovering does not occur is false if the courante happens. sent13: that both the riddling Zimbabwe and the riddling Leontocebus occurs is not right if the fact that the riddling pax does not occur is not false. sent14: the incriminating trochanter does not occur if the fact that the non-hermeneuticness and the incriminating trochanter occurs is not correct. sent15: the territorial happens if the hermeneuticness occurs. sent16: if the truthfulness does not occur that the commensurateness and the tribuneship occurs is not true. sent17: the fact that the tribuneship and the commensurateness occurs is not true if the incriminating trochanter does not occur. sent18: if the fact that the riddling Zimbabwe occurs and the riddling Leontocebus occurs is wrong the riddling Zimbabwe does not occur. sent19: the oticness occurs.
sent3 & sent4 -> int1: that the glycogenicness happens hold.; int1 & sent6 -> int2: the commensurateness happens.; int2 & sent11 -> hypothesis;
the riddling medium happens.
$hypothesis$ = that the commensurateness and the tribuneship occurs is wrong. ; $context$ = sent1: if the fact that the untruthfulness and the non-glycogenicness happens is not right then the riddling medium occurs. sent2: if the tenderization occurs the territorial does not occur. sent3: the non-glycogenicness is prevented by the truthfulness. sent4: the truthfulness occurs. sent5: the riddling pax does not occur and the backup does not occur if the inconsistentness happens. sent6: if the glycogenicness occurs then the commensurateness occurs. sent7: that either the incriminating trochanter or the non-glycogenicness or both hold is brought about by that the territorialness happens. sent8: the inconsistentness occurs if the fact that the ropiness does not occur and the recovering does not occur is not right. sent9: if the riddling Zimbabwe does not occur then the tenderization occurs and the instruction occurs. sent10: the fact that both the non-hermeneuticness and the incriminating trochanter occurs is not right if the territorial does not occur. sent11: the tribuneship occurs. sent12: that the ropiness does not occur and the recovering does not occur is false if the courante happens. sent13: that both the riddling Zimbabwe and the riddling Leontocebus occurs is not right if the fact that the riddling pax does not occur is not false. sent14: the incriminating trochanter does not occur if the fact that the non-hermeneuticness and the incriminating trochanter occurs is not correct. sent15: the territorial happens if the hermeneuticness occurs. sent16: if the truthfulness does not occur that the commensurateness and the tribuneship occurs is not true. sent17: the fact that the tribuneship and the commensurateness occurs is not true if the incriminating trochanter does not occur. sent18: if the fact that the riddling Zimbabwe occurs and the riddling Leontocebus occurs is wrong the riddling Zimbabwe does not occur. sent19: the oticness occurs. ; $proof$ = 
sent3 & sent4 -> int1: that the glycogenicness happens hold.; int1 & sent6 -> int2: the commensurateness happens.; int2 & sent11 -> hypothesis; __DISPROVED__