the Spender is a potter.
sent1: something is constructive if the fact that either it is exploratory or it is not a bibliotist or both is not correct. sent2: the Spender is a Mustela if there is something such that that it is an auctioneer that does not freeze-dry incrustation is not correct. sent3: if the veal does freeze-dry Spassky the Spender potters. sent4: something that is not a Hoth and/or freeze-dries Spassky freeze-dries Spassky. sent5: there exists something such that that it is an auctioneer and does not freeze-dry incrustation is not true. sent6: there is something such that it freeze-dries Spassky and it is myotonic. sent7: if something is a kind of a Hoth it is not a kind of a bibliotist. sent8: if the Spender is constructive and is a Mustela it is not a potter. sent9: if something that freeze-dries Spassky is myotonic the veal is a Hoth. sent10: the veal does freeze-dry Spassky if that the eclectic freeze-dry Spassky is not incorrect. sent11: the fact that that either the Spender is not nonexploratory or it is not a bibliotist or both does not hold hold if the veal is not a bibliotist.
sent6 & sent9 -> int1: the veal is a kind of a Hoth.; sent7 -> int2: the veal is not a bibliotist if it is a Hoth.; int1 & int2 -> int3: the veal is not a bibliotist.; int3 & sent11 -> int4: the fact that the Spender is exploratory or is not a bibliotist or both is not right.; sent1 -> int5: that the Spender is not non-constructive is true if the fact that it is exploratory and/or it is not a bibliotist is not right.; int4 & int5 -> int6: the Spender is constructive.; sent5 & sent2 -> int7: the Spender is a Mustela.; int6 & int7 -> int8: the Spender is constructive and it is a Mustela.; int8 & sent8 -> hypothesis;
the Spender is a potter.
sent4 -> int9: if the eclectic is not a Hoth and/or does freeze-dry Spassky then it does freeze-dry Spassky.;
$hypothesis$ = the Spender is a potter. ; $context$ = sent1: something is constructive if the fact that either it is exploratory or it is not a bibliotist or both is not correct. sent2: the Spender is a Mustela if there is something such that that it is an auctioneer that does not freeze-dry incrustation is not correct. sent3: if the veal does freeze-dry Spassky the Spender potters. sent4: something that is not a Hoth and/or freeze-dries Spassky freeze-dries Spassky. sent5: there exists something such that that it is an auctioneer and does not freeze-dry incrustation is not true. sent6: there is something such that it freeze-dries Spassky and it is myotonic. sent7: if something is a kind of a Hoth it is not a kind of a bibliotist. sent8: if the Spender is constructive and is a Mustela it is not a potter. sent9: if something that freeze-dries Spassky is myotonic the veal is a Hoth. sent10: the veal does freeze-dry Spassky if that the eclectic freeze-dry Spassky is not incorrect. sent11: the fact that that either the Spender is not nonexploratory or it is not a bibliotist or both does not hold hold if the veal is not a bibliotist. ; $proof$ = 
sent6 & sent9 -> int1: the veal is a kind of a Hoth.; sent7 -> int2: the veal is not a bibliotist if it is a Hoth.; int1 & int2 -> int3: the veal is not a bibliotist.; int3 & sent11 -> int4: the fact that the Spender is exploratory or is not a bibliotist or both is not right.; sent1 -> int5: that the Spender is not non-constructive is true if the fact that it is exploratory and/or it is not a bibliotist is not right.; int4 & int5 -> int6: the Spender is constructive.; sent5 & sent2 -> int7: the Spender is a Mustela.; int6 & int7 -> int8: the Spender is constructive and it is a Mustela.; int8 & sent8 -> hypothesis; __DISPROVED__