something does poniard and it is aeromedical.
sent1: the Kendal is non-apocalyptic. sent2: the tastebud exalts trochanter. sent3: if the Kendal is apocalyptic and it is a zero the bigarade is aeromedical. sent4: the Kendal does not exalt trochanter. sent5: something does poniard and it is Anglo-catholic if that it does not exalt trochanter hold. sent6: the bigarade does poniard if that the tastebud is apocalyptic and exalts trochanter is right. sent7: if that the tastebud does not exalt trochanter is not correct then the bigarade is a poniard. sent8: The trochanter exalts tastebud. sent9: the Kendal is not apocalyptic and is zero.
sent7 & sent2 -> int1: the bigarade is a kind of a poniard.;
something is Anglo-catholic and it does ensky paneling.
sent5 -> int2: the Kendal poniards and it is Anglo-catholic if it does not exalt trochanter.; int2 & sent4 -> int3: the Kendal is a kind of a poniard and it is Anglo-catholic.; int3 -> int4: the Kendal is Anglo-catholic.;
$hypothesis$ = something does poniard and it is aeromedical. ; $context$ = sent1: the Kendal is non-apocalyptic. sent2: the tastebud exalts trochanter. sent3: if the Kendal is apocalyptic and it is a zero the bigarade is aeromedical. sent4: the Kendal does not exalt trochanter. sent5: something does poniard and it is Anglo-catholic if that it does not exalt trochanter hold. sent6: the bigarade does poniard if that the tastebud is apocalyptic and exalts trochanter is right. sent7: if that the tastebud does not exalt trochanter is not correct then the bigarade is a poniard. sent8: The trochanter exalts tastebud. sent9: the Kendal is not apocalyptic and is zero. ; $proof$ = 
sent7 & sent2 -> int1: the bigarade is a kind of a poniard.; __UNKNOWN__