the keg is not a macaque.
sent1: if the racer is a primality the telemeter is a primality. sent2: everything does not twine humectant and it does not bypass accelerometer. sent3: the keg is not a kind of a round if it is a Colombian. sent4: if something is a kind of a primality then it is not a macaque. sent5: if something rounds then it does not twine hindshank. sent6: if the seigneur is purposeless and does twine Taos it does twine hindshank. sent7: that the keg is a kind of a primality is not wrong if it does not twine hindshank and does round. sent8: the keg does not twine hindshank but it is a round. sent9: if that the viand does not twine humectant hold then the mayonnaise is not round. sent10: the keg is not a parget.
sent4 -> int1: if the keg is a kind of a primality it is not a kind of a macaque.; sent7 & sent8 -> int2: the keg is a kind of a primality.; int1 & int2 -> hypothesis;
the telemeter is a primality.
sent2 -> int3: the viand does not twine humectant and does not bypass accelerometer.; int3 -> int4: the viand does not twine humectant.; sent9 & int4 -> int5: the mayonnaise does not round.;
$hypothesis$ = the keg is not a macaque. ; $context$ = sent1: if the racer is a primality the telemeter is a primality. sent2: everything does not twine humectant and it does not bypass accelerometer. sent3: the keg is not a kind of a round if it is a Colombian. sent4: if something is a kind of a primality then it is not a macaque. sent5: if something rounds then it does not twine hindshank. sent6: if the seigneur is purposeless and does twine Taos it does twine hindshank. sent7: that the keg is a kind of a primality is not wrong if it does not twine hindshank and does round. sent8: the keg does not twine hindshank but it is a round. sent9: if that the viand does not twine humectant hold then the mayonnaise is not round. sent10: the keg is not a parget. ; $proof$ = 
sent4 -> int1: if the keg is a kind of a primality it is not a kind of a macaque.; sent7 & sent8 -> int2: the keg is a kind of a primality.; int1 & int2 -> hypothesis; __PROVED__