the window does grate self-flagellation.
sent1: if the biotite is noseless it does not induce Navarino and/or it is not xerographic. sent2: if the Shawnee is a gravidity and it is a dope then the nephrolith does not grate fetlock. sent3: if something that does not grate fetlock is a jackknife-fish then the window does not grate self-flagellation. sent4: if the fact that the biotite does dope is correct then the Shawnee is both a gravidity and not a dope. sent5: the Shawnee is not a dope. sent6: the biotite does not grate self-flagellation. sent7: either the biotite does not induce Navarino or it is not non-xerographic or both. sent8: if the biotite dopes then the Shawnee is not a dopes. sent9: if the Shawnee is both a gravidity and not a dope the nephrolith does not grate fetlock. sent10: the nephrolith is a jackknife-fish. sent11: either the biotite does induce Navarino or it is not xerographic or both. sent12: the fact that if the biotite either does not induce Navarino or is not xerographic or both the biotite is a dope is right. sent13: the biotite does rhapsodize and it is noseless.
sent13 -> int1: the biotite is noseless.; int1 & sent1 -> int2: the biotite does not induce Navarino and/or is not xerographic.; int2 & sent12 -> int3: the biotite dopes.; int3 & sent4 -> int4: the Shawnee is both a gravidity and not a dope.; int4 & sent9 -> int5: the nephrolith does not grate fetlock.; int5 & sent10 -> int6: the nephrolith does not grate fetlock and is a jackknife-fish.; int6 -> int7: something does not grate fetlock and is a jackknife-fish.; int7 & sent3 -> hypothesis;
$hypothesis$ = the window does grate self-flagellation. ; $context$ = sent1: if the biotite is noseless it does not induce Navarino and/or it is not xerographic. sent2: if the Shawnee is a gravidity and it is a dope then the nephrolith does not grate fetlock. sent3: if something that does not grate fetlock is a jackknife-fish then the window does not grate self-flagellation. sent4: if the fact that the biotite does dope is correct then the Shawnee is both a gravidity and not a dope. sent5: the Shawnee is not a dope. sent6: the biotite does not grate self-flagellation. sent7: either the biotite does not induce Navarino or it is not non-xerographic or both. sent8: if the biotite dopes then the Shawnee is not a dopes. sent9: if the Shawnee is both a gravidity and not a dope the nephrolith does not grate fetlock. sent10: the nephrolith is a jackknife-fish. sent11: either the biotite does induce Navarino or it is not xerographic or both. sent12: the fact that if the biotite either does not induce Navarino or is not xerographic or both the biotite is a dope is right. sent13: the biotite does rhapsodize and it is noseless. ; $proof$ = 
sent13 -> int1: the biotite is noseless.; int1 & sent1 -> int2: the biotite does not induce Navarino and/or is not xerographic.; int2 & sent12 -> int3: the biotite dopes.; int3 & sent4 -> int4: the Shawnee is both a gravidity and not a dope.; int4 & sent9 -> int5: the nephrolith does not grate fetlock.; int5 & sent10 -> int6: the nephrolith does not grate fetlock and is a jackknife-fish.; int6 -> int7: something does not grate fetlock and is a jackknife-fish.; int7 & sent3 -> hypothesis; __DISPROVED__