the fact that the palate is not a endogeny and it does not compromise cask is false.
sent1: something tittups if it is not a esophagoscope and is not a Abelmoschus. sent2: the palate does not tittup. sent3: if the sashimi is not a Abelmoschus the palate is not a endogeny and it does not compromise cask. sent4: if the palate is not a endogeny and it does not compromise cask it is not a esophagoscope. sent5: the palate quivers Hindu but it is not a Abelmoschus.
void -> assump1: Let's assume that the palate is not a endogeny and it does not compromise cask.; sent4 & assump1 -> int1: the palate is not a kind of a esophagoscope.; sent5 -> int2: the palate is not a Abelmoschus.; int1 & int2 -> int3: the palate is both not a esophagoscope and not a Abelmoschus.; sent1 -> int4: the fact that the palate does not tittup is false if it is not a kind of a esophagoscope and it is not a Abelmoschus.; int3 & int4 -> int5: the palate tittups.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the palate is not a endogeny and it does not compromise cask.
$hypothesis$ = the fact that the palate is not a endogeny and it does not compromise cask is false. ; $context$ = sent1: something tittups if it is not a esophagoscope and is not a Abelmoschus. sent2: the palate does not tittup. sent3: if the sashimi is not a Abelmoschus the palate is not a endogeny and it does not compromise cask. sent4: if the palate is not a endogeny and it does not compromise cask it is not a esophagoscope. sent5: the palate quivers Hindu but it is not a Abelmoschus. ; $proof$ = 
void -> assump1: Let's assume that the palate is not a endogeny and it does not compromise cask.; sent4 & assump1 -> int1: the palate is not a kind of a esophagoscope.; sent5 -> int2: the palate is not a Abelmoschus.; int1 & int2 -> int3: the palate is both not a esophagoscope and not a Abelmoschus.; sent1 -> int4: the fact that the palate does not tittup is false if it is not a kind of a esophagoscope and it is not a Abelmoschus.; int3 & int4 -> int5: the palate tittups.; int5 & sent2 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__