the hob is an emcee and it slags graviton.
sent1: if the hob does not slag bantamweight that it is Hugoesque or it does not double or both is not right. sent2: That the bantamweight does not slag hob hold. sent3: The Sufism does not deflate monotheist. sent4: something does slag graviton if it does hook marang and it is not a kind of a plumbism. sent5: something is an emcee if that it is Hugoesque and/or it does not double is incorrect. sent6: if the monotheist does not deflate Sufism the hob hooks marang but it is not a plumbism. sent7: the monotheist does not deflate Sufism.
sent4 -> int1: if the hob hooks marang and is not a plumbism then it does slag graviton.; sent6 & sent7 -> int2: the hob does hook marang but it is not a plumbism.; int1 & int2 -> int3: the hob does slag graviton.; sent5 -> int4: if the fact that either the hob is not non-Hugoesque or it does not double or both is false then it emcees.;
$hypothesis$ = the hob is an emcee and it slags graviton. ; $context$ = sent1: if the hob does not slag bantamweight that it is Hugoesque or it does not double or both is not right. sent2: That the bantamweight does not slag hob hold. sent3: The Sufism does not deflate monotheist. sent4: something does slag graviton if it does hook marang and it is not a kind of a plumbism. sent5: something is an emcee if that it is Hugoesque and/or it does not double is incorrect. sent6: if the monotheist does not deflate Sufism the hob hooks marang but it is not a plumbism. sent7: the monotheist does not deflate Sufism. ; $proof$ = 
sent4 -> int1: if the hob hooks marang and is not a plumbism then it does slag graviton.; sent6 & sent7 -> int2: the hob does hook marang but it is not a plumbism.; int1 & int2 -> int3: the hob does slag graviton.; sent5 -> int4: if the fact that either the hob is not non-Hugoesque or it does not double or both is false then it emcees.; __UNKNOWN__