the Muskhogean is translatable.
sent1: if the fact that the insolation is translatable and it does scream does not hold the Muskhogean is not macrocephalic. sent2: something is depressant if it is not non-tuberculate. sent3: that the Kazak is translatable thing that is apocryphal is not true. sent4: the Kazak is not apocryphal. sent5: the Muskhogean is translatable if the assessor is not depressant. sent6: if the assessor is not apocryphal the Kazak is not depressant. sent7: the assessor is not depressant if that the insolation is macrocephalic and it is a scream is incorrect. sent8: the insolation is not apocryphal. sent9: the insolation is apocryphal if the Kazak is not macrocephalic.
the Muskhogean is not translatable.
sent2 -> int1: the Kazak is depressant if it is tuberculate.;
$hypothesis$ = the Muskhogean is translatable. ; $context$ = sent1: if the fact that the insolation is translatable and it does scream does not hold the Muskhogean is not macrocephalic. sent2: something is depressant if it is not non-tuberculate. sent3: that the Kazak is translatable thing that is apocryphal is not true. sent4: the Kazak is not apocryphal. sent5: the Muskhogean is translatable if the assessor is not depressant. sent6: if the assessor is not apocryphal the Kazak is not depressant. sent7: the assessor is not depressant if that the insolation is macrocephalic and it is a scream is incorrect. sent8: the insolation is not apocryphal. sent9: the insolation is apocryphal if the Kazak is not macrocephalic. ; $proof$ = 
__UNKNOWN__