the masonry does not sober and/or it is not a hake.
sent1: the kohl is not a Pascal. sent2: if the civet does subrogate agnathan the masonry does not sober and/or it is not a hake. sent3: something is gaseous if that it does recede and it does not lysogenize Leicester is not right. sent4: if the fact that the civet is gaseous is right then the kohl is a kind of a megohm. sent5: a germy thing subrogates agnathan. sent6: something is germy if the fact that it recedes and does not lysogenize Leicester is not incorrect. sent7: that the kohl is not a punt and it is not a kind of a Dianthus is false if it is not a Pascal. sent8: if the fact that something is not a punt and it is not a Dianthus does not hold it is not a megohm.
sent3 -> int1: the civet is gaseous if the fact that it does recede and it does not lysogenize Leicester is false.; void -> assump1: Let's assume that that the civet does recede and does not lysogenize Leicester is false.; int1 & assump1 -> int2: the civet is gaseous.; int2 & sent4 -> int3: the fact that the kohl is a megohm is not false.; sent8 -> int4: if that the kohl is not a kind of a punt and it is not a Dianthus does not hold then it is not a megohm.; sent7 & sent1 -> int5: that the kohl is not a punt and it is not a kind of a Dianthus is not right.; int4 & int5 -> int6: the kohl is not a megohm.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the civet does recede but it does not lysogenize Leicester.; sent6 -> int9: the civet is germy if it does recede and does not lysogenize Leicester.; int8 & int9 -> int10: the civet is not non-germy.; sent5 -> int11: the civet does subrogate agnathan if it is germy.; int10 & int11 -> int12: the civet subrogates agnathan.; int12 & sent2 -> hypothesis;
$hypothesis$ = the masonry does not sober and/or it is not a hake. ; $context$ = sent1: the kohl is not a Pascal. sent2: if the civet does subrogate agnathan the masonry does not sober and/or it is not a hake. sent3: something is gaseous if that it does recede and it does not lysogenize Leicester is not right. sent4: if the fact that the civet is gaseous is right then the kohl is a kind of a megohm. sent5: a germy thing subrogates agnathan. sent6: something is germy if the fact that it recedes and does not lysogenize Leicester is not incorrect. sent7: that the kohl is not a punt and it is not a kind of a Dianthus is false if it is not a Pascal. sent8: if the fact that something is not a punt and it is not a Dianthus does not hold it is not a megohm. ; $proof$ = 
sent3 -> int1: the civet is gaseous if the fact that it does recede and it does not lysogenize Leicester is false.; void -> assump1: Let's assume that that the civet does recede and does not lysogenize Leicester is false.; int1 & assump1 -> int2: the civet is gaseous.; int2 & sent4 -> int3: the fact that the kohl is a megohm is not false.; sent8 -> int4: if that the kohl is not a kind of a punt and it is not a Dianthus does not hold then it is not a megohm.; sent7 & sent1 -> int5: that the kohl is not a punt and it is not a kind of a Dianthus is not right.; int4 & int5 -> int6: the kohl is not a megohm.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the civet does recede but it does not lysogenize Leicester.; sent6 -> int9: the civet is germy if it does recede and does not lysogenize Leicester.; int8 & int9 -> int10: the civet is not non-germy.; sent5 -> int11: the civet does subrogate agnathan if it is germy.; int10 & int11 -> int12: the civet subrogates agnathan.; int12 & sent2 -> hypothesis; __PROVED__