the fact that that the glamorization does not occur but the Socraticness occurs is not incorrect is not true.
sent1: if that the Hunt does not occur and the tinning qepiq happens is wrong the Philistine does not occur. sent2: the glamorization does not occur if that the tinning qepiq does not occur and the glamorization occurs is not true. sent3: that not the Hunt but the tinning qepiq happens is false if the fact that the roofing hypotonia happens is not false. sent4: the fact that the Hunt does not occur hold if the Philistineness occurs. sent5: the glaring occurs but the campaigning does not occur. sent6: if that the Koranicness happens is not false the glamorization does not occur. sent7: the Hunt and the Koranicness occurs. sent8: if that the tinning glooming happens but the effacing diastrophism does not occur is not true the Koranicness occurs. sent9: if the Philistine does not occur the fact that the tinning qepiq does not occur and the glamorization occurs does not hold. sent10: that the tinning qepiq does not occur and the roofing hypotonia does not occur results in that the intonation occurs. sent11: if the Philistineness does not occur then that the downtownness does not occur or the high-riseness occurs or both is not correct. sent12: that the glamorization does not occur and the Socraticness occurs is false if the intonation happens. sent13: the Hunt does not occur if the Philistine happens or the tinning qepiq occurs or both. sent14: if the fact that either the tinning glooming does not occur or the effacing diastrophism occurs or both is not right then the roofing hypotonia does not occur. sent15: if the campaigning does not occur that either the tinning glooming does not occur or the effacing diastrophism occurs or both is not correct.
void -> assump1: Let's assume that the tinning qepiq happens.; assump1 -> int1: either the Philistine or the tinning qepiq or both occurs.; int1 & sent13 -> int2: the Hunt does not occur.; sent7 -> int3: the Hunt happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tinning qepiq does not occur.; sent5 -> int6: the campaigning does not occur.; sent15 & int6 -> int7: the fact that the tinning glooming does not occur and/or the effacing diastrophism happens does not hold.; sent14 & int7 -> int8: the roofing hypotonia does not occur.; int5 & int8 -> int9: the tinning qepiq does not occur and the roofing hypotonia does not occur.; int9 & sent10 -> int10: the intonation occurs.; int10 & sent12 -> hypothesis;
that the non-downtownness or the high-riseness or both happens is wrong.
$hypothesis$ = the fact that that the glamorization does not occur but the Socraticness occurs is not incorrect is not true. ; $context$ = sent1: if that the Hunt does not occur and the tinning qepiq happens is wrong the Philistine does not occur. sent2: the glamorization does not occur if that the tinning qepiq does not occur and the glamorization occurs is not true. sent3: that not the Hunt but the tinning qepiq happens is false if the fact that the roofing hypotonia happens is not false. sent4: the fact that the Hunt does not occur hold if the Philistineness occurs. sent5: the glaring occurs but the campaigning does not occur. sent6: if that the Koranicness happens is not false the glamorization does not occur. sent7: the Hunt and the Koranicness occurs. sent8: if that the tinning glooming happens but the effacing diastrophism does not occur is not true the Koranicness occurs. sent9: if the Philistine does not occur the fact that the tinning qepiq does not occur and the glamorization occurs does not hold. sent10: that the tinning qepiq does not occur and the roofing hypotonia does not occur results in that the intonation occurs. sent11: if the Philistineness does not occur then that the downtownness does not occur or the high-riseness occurs or both is not correct. sent12: that the glamorization does not occur and the Socraticness occurs is false if the intonation happens. sent13: the Hunt does not occur if the Philistine happens or the tinning qepiq occurs or both. sent14: if the fact that either the tinning glooming does not occur or the effacing diastrophism occurs or both is not right then the roofing hypotonia does not occur. sent15: if the campaigning does not occur that either the tinning glooming does not occur or the effacing diastrophism occurs or both is not correct. ; $proof$ = 
void -> assump1: Let's assume that the tinning qepiq happens.; assump1 -> int1: either the Philistine or the tinning qepiq or both occurs.; int1 & sent13 -> int2: the Hunt does not occur.; sent7 -> int3: the Hunt happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tinning qepiq does not occur.; sent5 -> int6: the campaigning does not occur.; sent15 & int6 -> int7: the fact that the tinning glooming does not occur and/or the effacing diastrophism happens does not hold.; sent14 & int7 -> int8: the roofing hypotonia does not occur.; int5 & int8 -> int9: the tinning qepiq does not occur and the roofing hypotonia does not occur.; int9 & sent10 -> int10: the intonation occurs.; int10 & sent12 -> hypothesis; __PROVED__