the Korean does shaft sene.
sent1: the Korean is a Muridae and it is a Atlantic if the chatterer is not flaky. sent2: a Atlantic Muridae does not shaft sene. sent3: the greenbottle does shaft sene if there is something such that it does not bog Comte or it perpetuates aleph or both. sent4: that if there exists something such that either it does not perpetuate aleph or it bogs Comte or both then the Korean is a kind of a Atlantic is true. sent5: either something does perpetuate aleph or it does bog Comte or both. sent6: if there is something such that it bogs Comte then the Korean is a kind of a Atlantic. sent7: something shafts sene if it is a kind of a Atlantic.
sent7 -> int1: if the Korean is a kind of a Atlantic it does shaft sene.;
the Korean does not shaft sene.
sent2 -> int2: the Korean does not shaft sene if it is both a Muridae and Atlantic.;
$hypothesis$ = the Korean does shaft sene. ; $context$ = sent1: the Korean is a Muridae and it is a Atlantic if the chatterer is not flaky. sent2: a Atlantic Muridae does not shaft sene. sent3: the greenbottle does shaft sene if there is something such that it does not bog Comte or it perpetuates aleph or both. sent4: that if there exists something such that either it does not perpetuate aleph or it bogs Comte or both then the Korean is a kind of a Atlantic is true. sent5: either something does perpetuate aleph or it does bog Comte or both. sent6: if there is something such that it bogs Comte then the Korean is a kind of a Atlantic. sent7: something shafts sene if it is a kind of a Atlantic. ; $proof$ = 
sent7 -> int1: if the Korean is a kind of a Atlantic it does shaft sene.; __UNKNOWN__