the balker is not a flatulence but cyclopean.
sent1: the crinoid is not Uzbekistani. sent2: the crinoid is a flatulence if it is Uzbekistani. sent3: the originator is a hymeneal if the fact that the crinoid does not pour nourishment but it transits is wrong. sent4: if there exists something such that the fact that it is a kind of a hymeneal is true then the balker is not a flatulence but it is cyclopean. sent5: that the crinoid does not pour nourishment and transits is false if it is not Uzbekistani. sent6: if something is not a hymeneal then that it is a Haggard that is not Uzbekistani is wrong.
sent5 & sent1 -> int1: the fact that the crinoid does not pour nourishment and transits is not right.; int1 & sent3 -> int2: the fact that the originator is hymeneal is not wrong.; int2 -> int3: there exists something such that it is a hymeneal.; int3 & sent4 -> hypothesis;
that the balker is not a flatulence but cyclopean does not hold.
sent6 -> int4: that the pantechnicon is a Haggard but it is not Uzbekistani does not hold if the fact that it is not a hymeneal is true.;
$hypothesis$ = the balker is not a flatulence but cyclopean. ; $context$ = sent1: the crinoid is not Uzbekistani. sent2: the crinoid is a flatulence if it is Uzbekistani. sent3: the originator is a hymeneal if the fact that the crinoid does not pour nourishment but it transits is wrong. sent4: if there exists something such that the fact that it is a kind of a hymeneal is true then the balker is not a flatulence but it is cyclopean. sent5: that the crinoid does not pour nourishment and transits is false if it is not Uzbekistani. sent6: if something is not a hymeneal then that it is a Haggard that is not Uzbekistani is wrong. ; $proof$ = 
sent5 & sent1 -> int1: the fact that the crinoid does not pour nourishment and transits is not right.; int1 & sent3 -> int2: the fact that the originator is hymeneal is not wrong.; int2 -> int3: there exists something such that it is a hymeneal.; int3 & sent4 -> hypothesis; __PROVED__