the fact that the Death does not scintillate and it is not literary is not true.
sent1: the fact that the Death does not scintillate and is not literary does not hold if the margrave is not a kind of a master. sent2: the Plimsoll does spoil logic and/or is not a kind of a master. sent3: if something is not a steenbok the fact that it is not cordless but a oxidoreductase is not correct. sent4: if something is cordless it does not scintillate. sent5: the margrave is Olympian and is a kind of a thump if it is not a kind of a steenbok. sent6: if there is something such that the fact that it is a kind of a forebrain that does debrief jelly is incorrect then the semifinalist is a Olympian. sent7: a thump is multilateral and does not master. sent8: the margrave is multilateral. sent9: if the pipit is a oxidoreductase and it is a kind of a steenbok the Death is not literary. sent10: if the fact that the pipit is not a steenbok and not a Olympian is incorrect then the masking is not a kind of a steenbok. sent11: if something is cordless and/or a oxidoreductase the margrave is not a steenbok. sent12: the margrave is not a steenbok if there is something such that it is a kind of a oxidoreductase. sent13: if the fact that something is a kind of non-cordless thing that is a oxidoreductase is incorrect then it is a yardage. sent14: the semifinalist is a thump. sent15: that the tither is a forebrain and it debriefs jelly is wrong. sent16: the pipit is cordless. sent17: if the margrave is not multilateral then the pipit is a kind of a oxidoreductase and it is a steenbok.
sent16 -> int1: the pipit is cordless and/or is a kind of a oxidoreductase.; int1 -> int2: there is something such that it is cordless and/or it is a oxidoreductase.; int2 & sent11 -> int3: the margrave is not a kind of a steenbok.; int3 & sent5 -> int4: the fact that the margrave is Olympian thing that is a kind of a thump is not false.; int4 -> int5: the margrave does thump.; sent7 -> int6: if the margrave is a thump it is both multilateral and not a master.; int5 & int6 -> int7: the margrave is multilateral but it is not a master.; int7 -> int8: the margrave is not a kind of a master.; int8 & sent1 -> hypothesis;
the Death does not scintillate and it is not literary.
sent4 -> int9: if the Death is cordless it does not scintillate.; sent15 -> int10: there exists something such that that it is a forebrain and it debriefs jelly is false.; int10 & sent6 -> int11: the semifinalist is a Olympian.; sent14 & int11 -> int12: the semifinalist is a thump that is not non-Olympian.; int12 -> int13: the fact that something thumps and it is a Olympian hold.; sent2 -> int14: there is something such that it either does spoil logic or is not a master or both.;
$hypothesis$ = the fact that the Death does not scintillate and it is not literary is not true. ; $context$ = sent1: the fact that the Death does not scintillate and is not literary does not hold if the margrave is not a kind of a master. sent2: the Plimsoll does spoil logic and/or is not a kind of a master. sent3: if something is not a steenbok the fact that it is not cordless but a oxidoreductase is not correct. sent4: if something is cordless it does not scintillate. sent5: the margrave is Olympian and is a kind of a thump if it is not a kind of a steenbok. sent6: if there is something such that the fact that it is a kind of a forebrain that does debrief jelly is incorrect then the semifinalist is a Olympian. sent7: a thump is multilateral and does not master. sent8: the margrave is multilateral. sent9: if the pipit is a oxidoreductase and it is a kind of a steenbok the Death is not literary. sent10: if the fact that the pipit is not a steenbok and not a Olympian is incorrect then the masking is not a kind of a steenbok. sent11: if something is cordless and/or a oxidoreductase the margrave is not a steenbok. sent12: the margrave is not a steenbok if there is something such that it is a kind of a oxidoreductase. sent13: if the fact that something is a kind of non-cordless thing that is a oxidoreductase is incorrect then it is a yardage. sent14: the semifinalist is a thump. sent15: that the tither is a forebrain and it debriefs jelly is wrong. sent16: the pipit is cordless. sent17: if the margrave is not multilateral then the pipit is a kind of a oxidoreductase and it is a steenbok. ; $proof$ = 
sent16 -> int1: the pipit is cordless and/or is a kind of a oxidoreductase.; int1 -> int2: there is something such that it is cordless and/or it is a oxidoreductase.; int2 & sent11 -> int3: the margrave is not a kind of a steenbok.; int3 & sent5 -> int4: the fact that the margrave is Olympian thing that is a kind of a thump is not false.; int4 -> int5: the margrave does thump.; sent7 -> int6: if the margrave is a thump it is both multilateral and not a master.; int5 & int6 -> int7: the margrave is multilateral but it is not a master.; int7 -> int8: the margrave is not a kind of a master.; int8 & sent1 -> hypothesis; __PROVED__