there is something such that if it is not obligational that it is bigger or it is a permanent or both is wrong.
sent1: there exists something such that if it is not a wallboard the fact that it is a Pindaric and/or it lectures Drake is false. sent2: the snailfish is not permanent if it is not dyadic. sent3: there is something such that if it is not a AFL then it is not a time-switch. sent4: there exists something such that if it is not obligational then it is bigger and/or it is a permanent. sent5: if something does not lecture Shakespeare then the fact that that it palatalizes innovativeness or is a permanent or both is not false is false. sent6: the snailfish is not permanent if it is not obligational. sent7: there is something such that if it is obligational then that it is bigger or a permanent or both is not true. sent8: the Nebuchadnezzar does not correct if it is not obligational. sent9: if the stay is not a shipmate either it is bigger or it does palatalize knot or both. sent10: there is something such that if it does not backstop embroideress that either it is a Khepera or it roars or both is not true. sent11: there is something such that if that it is not cerebellar hold then it is not a wallboard. sent12: the fact that something backstops cantaloup and/or does palatalize blasphemy does not hold if it does not lecture Hertz. sent13: the fact that the snailfish coils and/or does lecture Pithecellobium is false if it does observe. sent14: there exists something such that if it is not obligational it is not bigger. sent15: the snailfish is bigger and/or it is a permanent if it is not obligational. sent16: if the snailfish does palatalize Dublin then that it is permanent or it palatalizes blasphemy or both is wrong. sent17: if the snailfish is not obligational then the fact that it is bigger and/or it is a permanent is not correct.
sent17 -> hypothesis;
if the camper does not lecture Shakespeare then that it palatalizes innovativeness and/or is permanent is not right.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it is not obligational that it is bigger or it is a permanent or both is wrong. ; $context$ = sent1: there exists something such that if it is not a wallboard the fact that it is a Pindaric and/or it lectures Drake is false. sent2: the snailfish is not permanent if it is not dyadic. sent3: there is something such that if it is not a AFL then it is not a time-switch. sent4: there exists something such that if it is not obligational then it is bigger and/or it is a permanent. sent5: if something does not lecture Shakespeare then the fact that that it palatalizes innovativeness or is a permanent or both is not false is false. sent6: the snailfish is not permanent if it is not obligational. sent7: there is something such that if it is obligational then that it is bigger or a permanent or both is not true. sent8: the Nebuchadnezzar does not correct if it is not obligational. sent9: if the stay is not a shipmate either it is bigger or it does palatalize knot or both. sent10: there is something such that if it does not backstop embroideress that either it is a Khepera or it roars or both is not true. sent11: there is something such that if that it is not cerebellar hold then it is not a wallboard. sent12: the fact that something backstops cantaloup and/or does palatalize blasphemy does not hold if it does not lecture Hertz. sent13: the fact that the snailfish coils and/or does lecture Pithecellobium is false if it does observe. sent14: there exists something such that if it is not obligational it is not bigger. sent15: the snailfish is bigger and/or it is a permanent if it is not obligational. sent16: if the snailfish does palatalize Dublin then that it is permanent or it palatalizes blasphemy or both is wrong. sent17: if the snailfish is not obligational then the fact that it is bigger and/or it is a permanent is not correct. ; $proof$ = 
sent17 -> hypothesis; __PROVED__