the lathi is a kind of a hebetude.
sent1: if the lathi is a kind of a middling it does ammoniate Call. sent2: something is likely if the fact that it is non-middling thing that is a choir is not right. sent3: the trend-setter is outing. sent4: if the proboscidean does middle it is likely. sent5: something is outing thing that does ammoniate Call if it is not likely. sent6: if something is a middling then it is likely. sent7: the fact that the proboscidean middles and is a kind of a choir does not hold. sent8: the trend-setter is not a kind of a hebetude but it is a middling. sent9: if the trend-setter is not a kind of a choir then that the proboscidean is a kind of non-middling thing that choir is false. sent10: if something does ammoniate Call and outs then it is not a hebetude. sent11: that the lathi is a kind of a hebetude is correct if the proboscidean is likely. sent12: something is not a kind of a choir. sent13: the trend-setter is a kind of an outing but it does not ammoniate Call. sent14: there is something such that it is a choir. sent15: if the trend-setter is not a choir that the fact that the proboscidean is middling and it does choir is wrong hold. sent16: the lathi is likely.
sent13 -> int1: the trend-setter does not ammoniate Call.; void -> assump1: Let's assume that the trend-setter is a choir.; int1 & assump1 -> int2: the trend-setter does not ammoniate Call and is a kind of a choir.; sent2 -> int3: if the fact that the proboscidean is non-middling thing that is a kind of a choir is not correct then it is likely.;
the lathi is not a hebetude.
sent10 -> int4: the lathi is not a hebetude if it ammoniates Call and it outs.;
$hypothesis$ = the lathi is a kind of a hebetude. ; $context$ = sent1: if the lathi is a kind of a middling it does ammoniate Call. sent2: something is likely if the fact that it is non-middling thing that is a choir is not right. sent3: the trend-setter is outing. sent4: if the proboscidean does middle it is likely. sent5: something is outing thing that does ammoniate Call if it is not likely. sent6: if something is a middling then it is likely. sent7: the fact that the proboscidean middles and is a kind of a choir does not hold. sent8: the trend-setter is not a kind of a hebetude but it is a middling. sent9: if the trend-setter is not a kind of a choir then that the proboscidean is a kind of non-middling thing that choir is false. sent10: if something does ammoniate Call and outs then it is not a hebetude. sent11: that the lathi is a kind of a hebetude is correct if the proboscidean is likely. sent12: something is not a kind of a choir. sent13: the trend-setter is a kind of an outing but it does not ammoniate Call. sent14: there is something such that it is a choir. sent15: if the trend-setter is not a choir that the fact that the proboscidean is middling and it does choir is wrong hold. sent16: the lathi is likely. ; $proof$ = 
sent13 -> int1: the trend-setter does not ammoniate Call.; void -> assump1: Let's assume that the trend-setter is a choir.; int1 & assump1 -> int2: the trend-setter does not ammoniate Call and is a kind of a choir.; sent2 -> int3: if the fact that the proboscidean is non-middling thing that is a kind of a choir is not correct then it is likely.; __UNKNOWN__