the fact that there exists something such that if the fact that it is not bureaucratic and is not a filthiness is incorrect then it is anhydrous is wrong.
sent1: there is something such that if it is bureaucratic it is anhydrous. sent2: there is something such that if the fact that it is not amphoteric and it is not a kind of a squawker is incorrect it is a kind of a gingerbread. sent3: if the fact that something does not spiel jig and it is not a kind of a gravity is not true it spiels Woollcott. sent4: there exists something such that if that it is injectable is not false it is myotonic. sent5: there is something such that if it does not impersonate irrelevance and it does not spiel molle the fact that it is amphoteric hold. sent6: the zirconia is anhydrous if the fact that that it is not bureaucratic and it is not a filthiness hold is not correct. sent7: the basuco is a whitetail if it is a filthiness. sent8: there exists something such that if it does impersonate Huascaran it is a burgomaster. sent9: if the zirconia is a zigzag then it is not non-universalistic. sent10: the zirconia is anhydrous if it is bureaucratic. sent11: there is something such that if it is a kind of a odynophagia then it is ovoviviparous. sent12: there exists something such that if it is not bureaucratic and it is not a filthiness it is anhydrous. sent13: if the fact that something is not a Lerner and it does not impersonate Sinclair is not true then it is penal.
sent6 -> hypothesis;
there exists something such that if the fact that it is not a Lerner and it does not impersonate Sinclair is incorrect it is penal.
sent13 -> int1: if that the onomasticon is not a kind of a Lerner and does not impersonate Sinclair is not correct it is penal.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is not bureaucratic and is not a filthiness is incorrect then it is anhydrous is wrong. ; $context$ = sent1: there is something such that if it is bureaucratic it is anhydrous. sent2: there is something such that if the fact that it is not amphoteric and it is not a kind of a squawker is incorrect it is a kind of a gingerbread. sent3: if the fact that something does not spiel jig and it is not a kind of a gravity is not true it spiels Woollcott. sent4: there exists something such that if that it is injectable is not false it is myotonic. sent5: there is something such that if it does not impersonate irrelevance and it does not spiel molle the fact that it is amphoteric hold. sent6: the zirconia is anhydrous if the fact that that it is not bureaucratic and it is not a filthiness hold is not correct. sent7: the basuco is a whitetail if it is a filthiness. sent8: there exists something such that if it does impersonate Huascaran it is a burgomaster. sent9: if the zirconia is a zigzag then it is not non-universalistic. sent10: the zirconia is anhydrous if it is bureaucratic. sent11: there is something such that if it is a kind of a odynophagia then it is ovoviviparous. sent12: there exists something such that if it is not bureaucratic and it is not a filthiness it is anhydrous. sent13: if the fact that something is not a Lerner and it does not impersonate Sinclair is not true then it is penal. ; $proof$ = 
sent6 -> hypothesis; __DISPROVED__