the promisee does not abjure dugout.
sent1: something is efficient if it is not a kind of a chaplaincy. sent2: the railway is Aleutians if the tetraskelion is a static. sent3: the fact that the Moron is a kind of a durative and it is a chaplaincy is not correct. sent4: the railway is both non-Aleutians and inefficient if it is not a kind of a fortuneteller. sent5: if the tetraskelion is not efficient then the promisee is static thing that is not a kind of a chaplaincy. sent6: if that the Moron is a durative and it is a chaplaincy is not right then that it is not a chaplaincy hold. sent7: if the top blemishes Botox it is a kind of a Mussorgsky. sent8: the tetraskelion is a static if the Moron is efficient. sent9: if something that is static is not a kind of a chaplaincy it does not abjure dugout. sent10: the promisee abjures dugout if the railway is Aleutians. sent11: if the top is a kind of a Mussorgsky and is not indestructible it is a leapfrog. sent12: if that something is a fortuneteller and is a durative does not hold then it is not a fortuneteller. sent13: if the railway is not Aleutians and is inefficient the tetraskelion is not inefficient. sent14: the Moron abjures dugout if the promisee is a kind of a durative.
sent1 -> int1: the Moron is efficient if it is not a kind of a chaplaincy.; sent6 & sent3 -> int2: that the Moron is not a kind of a chaplaincy is not wrong.; int1 & int2 -> int3: the Moron is efficient.; int3 & sent8 -> int4: the tetraskelion is a static.; int4 & sent2 -> int5: the railway is Aleutians.; int5 & sent10 -> hypothesis;
the promisee does not abjure dugout.
sent9 -> int6: if the promisee is not non-static and not a chaplaincy then it does not abjure dugout.; sent12 -> int7: if that the railway is a kind of a fortuneteller and is a durative is incorrect then it is not a fortuneteller.;
$hypothesis$ = the promisee does not abjure dugout. ; $context$ = sent1: something is efficient if it is not a kind of a chaplaincy. sent2: the railway is Aleutians if the tetraskelion is a static. sent3: the fact that the Moron is a kind of a durative and it is a chaplaincy is not correct. sent4: the railway is both non-Aleutians and inefficient if it is not a kind of a fortuneteller. sent5: if the tetraskelion is not efficient then the promisee is static thing that is not a kind of a chaplaincy. sent6: if that the Moron is a durative and it is a chaplaincy is not right then that it is not a chaplaincy hold. sent7: if the top blemishes Botox it is a kind of a Mussorgsky. sent8: the tetraskelion is a static if the Moron is efficient. sent9: if something that is static is not a kind of a chaplaincy it does not abjure dugout. sent10: the promisee abjures dugout if the railway is Aleutians. sent11: if the top is a kind of a Mussorgsky and is not indestructible it is a leapfrog. sent12: if that something is a fortuneteller and is a durative does not hold then it is not a fortuneteller. sent13: if the railway is not Aleutians and is inefficient the tetraskelion is not inefficient. sent14: the Moron abjures dugout if the promisee is a kind of a durative. ; $proof$ = 
sent1 -> int1: the Moron is efficient if it is not a kind of a chaplaincy.; sent6 & sent3 -> int2: that the Moron is not a kind of a chaplaincy is not wrong.; int1 & int2 -> int3: the Moron is efficient.; int3 & sent8 -> int4: the tetraskelion is a static.; int4 & sent2 -> int5: the railway is Aleutians.; int5 & sent10 -> hypothesis; __DISPROVED__