the esmolol does not soldier Sinbad and is unexcitable.
sent1: the esmolol does not hydrolyze if the Swede soldiers voider and it does settle. sent2: if the fact that something does not settle and does not negotiate blazer does not hold it does settle. sent3: the esmolol does not soldier Sinbad and is unexcitable if the antiemetic is not a kind of a settle. sent4: the Swede is associational and does soldier voider if the antiemetic is not associational. sent5: the Hakham does not trisect Momotidae and is not non-metric. sent6: the fact that something does not soldier Sinbad and is unexcitable does not hold if it does not hydrolyze. sent7: the antiemetic is not associational if that it is a kind of lymphoid thing that does panic is not right. sent8: that the antiemetic is lymphoid and is a panic is not right. sent9: the fact that the demoniac does trisect Momotidae and does hydrolyze does not hold. sent10: that the Swede does not settle and does not negotiate blazer does not hold if the Hakham does not trisect Momotidae.
sent7 & sent8 -> int1: the antiemetic is not associational.; int1 & sent4 -> int2: the Swede is associational and it soldiers voider.; int2 -> int3: the Swede does soldier voider.; sent2 -> int4: the fact that if that the Swede does not settle and it does not negotiate blazer does not hold then the Swede is a settle hold.; sent5 -> int5: the Hakham does not trisect Momotidae.; sent10 & int5 -> int6: that the Swede does not settle and it does not negotiate blazer is false.; int4 & int6 -> int7: the Swede does settle.; int3 & int7 -> int8: the Swede does soldier voider and is a settle.; int8 & sent1 -> int9: that the esmolol does not hydrolyze is not wrong.; sent6 -> int10: if the esmolol does not hydrolyze the fact that it does not soldier Sinbad and is unexcitable does not hold.; int9 & int10 -> hypothesis;
the esmolol does not soldier Sinbad but it is unexcitable.
sent9 -> int11: there is something such that the fact that it does trisect Momotidae and it hydrolyzes is wrong.;
$hypothesis$ = the esmolol does not soldier Sinbad and is unexcitable. ; $context$ = sent1: the esmolol does not hydrolyze if the Swede soldiers voider and it does settle. sent2: if the fact that something does not settle and does not negotiate blazer does not hold it does settle. sent3: the esmolol does not soldier Sinbad and is unexcitable if the antiemetic is not a kind of a settle. sent4: the Swede is associational and does soldier voider if the antiemetic is not associational. sent5: the Hakham does not trisect Momotidae and is not non-metric. sent6: the fact that something does not soldier Sinbad and is unexcitable does not hold if it does not hydrolyze. sent7: the antiemetic is not associational if that it is a kind of lymphoid thing that does panic is not right. sent8: that the antiemetic is lymphoid and is a panic is not right. sent9: the fact that the demoniac does trisect Momotidae and does hydrolyze does not hold. sent10: that the Swede does not settle and does not negotiate blazer does not hold if the Hakham does not trisect Momotidae. ; $proof$ = 
sent7 & sent8 -> int1: the antiemetic is not associational.; int1 & sent4 -> int2: the Swede is associational and it soldiers voider.; int2 -> int3: the Swede does soldier voider.; sent2 -> int4: the fact that if that the Swede does not settle and it does not negotiate blazer does not hold then the Swede is a settle hold.; sent5 -> int5: the Hakham does not trisect Momotidae.; sent10 & int5 -> int6: that the Swede does not settle and it does not negotiate blazer is false.; int4 & int6 -> int7: the Swede does settle.; int3 & int7 -> int8: the Swede does soldier voider and is a settle.; int8 & sent1 -> int9: that the esmolol does not hydrolyze is not wrong.; sent6 -> int10: if the esmolol does not hydrolyze the fact that it does not soldier Sinbad and is unexcitable does not hold.; int9 & int10 -> hypothesis; __DISPROVED__