the fact that there is something such that if the fact that it is a kind of nautical thing that is not autarchic is not right it clouds infallibility does not hold.
sent1: there exists something such that if that it is nautical thing that is autarchic is incorrect that it clouds infallibility hold. sent2: if that the toxicognath is nautical but not autarchic is incorrect it does cloud infallibility. sent3: the toxicognath is intrinsic if that it does cloud infallibility is false. sent4: if the toxicognath is autarchic it does cloud infallibility. sent5: there exists something such that if it is autarchic then it does cloud infallibility. sent6: there is something such that if the fact that it wobbles Gogh and it is not a bed-and-breakfast is incorrect it is an heirloom. sent7: there is something such that if it is not a lighterman then it ferrets Courbet. sent8: if that the Kentuckian is nautical and a forefoot is not correct it is vinaceous. sent9: there exists something such that if it is calisthenics and it is not pneumatic then that it is anabolic hold. sent10: if that the toxicognath is nautical but it is not a depopulation is not right then it is a kind of a scabbard. sent11: there exists something such that if it is a ablation then it is faucal. sent12: if the fact that the toxicognath is a kind of a composition and it is a kind of a spore does not hold the fact that it is nautical is not false. sent13: if that the toxicognath is a metallurgy and it ferrets Orthoptera does not hold it is not non-autarchic. sent14: if the toxicognath is nautical but it is not autarchic it does cloud infallibility. sent15: there is something such that if it clouds infeasibility and is not uterine then the fact that it wobbles leak is true. sent16: there exists something such that if it is nautical but not autarchic then it clouds infallibility. sent17: if that something is a kind of a deferral and does not cloud redefinition is false then it is omnivorous.
sent2 -> hypothesis;
there exists something such that if the fact that it is a kind of a deferral that does not cloud redefinition is not correct it is not non-omnivorous.
sent17 -> int1: if that the galley is a deferral but it does not cloud redefinition does not hold it is omnivorous.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is a kind of nautical thing that is not autarchic is not right it clouds infallibility does not hold. ; $context$ = sent1: there exists something such that if that it is nautical thing that is autarchic is incorrect that it clouds infallibility hold. sent2: if that the toxicognath is nautical but not autarchic is incorrect it does cloud infallibility. sent3: the toxicognath is intrinsic if that it does cloud infallibility is false. sent4: if the toxicognath is autarchic it does cloud infallibility. sent5: there exists something such that if it is autarchic then it does cloud infallibility. sent6: there is something such that if the fact that it wobbles Gogh and it is not a bed-and-breakfast is incorrect it is an heirloom. sent7: there is something such that if it is not a lighterman then it ferrets Courbet. sent8: if that the Kentuckian is nautical and a forefoot is not correct it is vinaceous. sent9: there exists something such that if it is calisthenics and it is not pneumatic then that it is anabolic hold. sent10: if that the toxicognath is nautical but it is not a depopulation is not right then it is a kind of a scabbard. sent11: there exists something such that if it is a ablation then it is faucal. sent12: if the fact that the toxicognath is a kind of a composition and it is a kind of a spore does not hold the fact that it is nautical is not false. sent13: if that the toxicognath is a metallurgy and it ferrets Orthoptera does not hold it is not non-autarchic. sent14: if the toxicognath is nautical but it is not autarchic it does cloud infallibility. sent15: there is something such that if it clouds infeasibility and is not uterine then the fact that it wobbles leak is true. sent16: there exists something such that if it is nautical but not autarchic then it clouds infallibility. sent17: if that something is a kind of a deferral and does not cloud redefinition is false then it is omnivorous. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__