the Kickapoo does not reface Lot.
sent1: the telecaster is not an amorist if the fact that the seasoning is unmanageable and it is a binomial is incorrect. sent2: the telecaster is a hemoprotein and it is a harebell. sent3: something is not a smoke and not viviparous if it is a hemoprotein. sent4: the MSH is not abomasal. sent5: if the seasoning is not unmanageable the telecaster is not an amorist. sent6: the telecaster is a harebell. sent7: if the telecaster is not an amorist and it is not viviparous then the Kickapoo does reface Lot. sent8: there exists something such that the fact that it is abomasal is right. sent9: that the seasoning is a kind of unmanageable thing that is a binomial does not hold if there exists something such that it is not abomasal.
sent4 -> int1: there exists something such that it is not abomasal.; int1 & sent9 -> int2: that the seasoning is unmanageable and a binomial is false.; int2 & sent1 -> int3: the telecaster is not an amorist.; sent3 -> int4: if the telecaster is a hemoprotein it does not smoke and it is not viviparous.; sent2 -> int5: the telecaster is a kind of a hemoprotein.; int4 & int5 -> int6: the telecaster is not a kind of a smoke and is not viviparous.; int6 -> int7: the telecaster is not viviparous.; int3 & int7 -> int8: the telecaster is not an amorist and it is not viviparous.; int8 & sent7 -> hypothesis;
$hypothesis$ = the Kickapoo does not reface Lot. ; $context$ = sent1: the telecaster is not an amorist if the fact that the seasoning is unmanageable and it is a binomial is incorrect. sent2: the telecaster is a hemoprotein and it is a harebell. sent3: something is not a smoke and not viviparous if it is a hemoprotein. sent4: the MSH is not abomasal. sent5: if the seasoning is not unmanageable the telecaster is not an amorist. sent6: the telecaster is a harebell. sent7: if the telecaster is not an amorist and it is not viviparous then the Kickapoo does reface Lot. sent8: there exists something such that the fact that it is abomasal is right. sent9: that the seasoning is a kind of unmanageable thing that is a binomial does not hold if there exists something such that it is not abomasal. ; $proof$ = 
sent4 -> int1: there exists something such that it is not abomasal.; int1 & sent9 -> int2: that the seasoning is unmanageable and a binomial is false.; int2 & sent1 -> int3: the telecaster is not an amorist.; sent3 -> int4: if the telecaster is a hemoprotein it does not smoke and it is not viviparous.; sent2 -> int5: the telecaster is a kind of a hemoprotein.; int4 & int5 -> int6: the telecaster is not a kind of a smoke and is not viviparous.; int6 -> int7: the telecaster is not viviparous.; int3 & int7 -> int8: the telecaster is not an amorist and it is not viviparous.; int8 & sent7 -> hypothesis; __DISPROVED__