the elevation is non-rotatory.
sent1: if there exists something such that the fact that it does not mellow proctoscope and it is unorthodox is not true then the zoril is unorthodox. sent2: the eft is unprofitable or it is not antidotal or both. sent3: the eft is rotatory. sent4: if the rosilla is not non-schizoid then the elevation is rotatory. sent5: if the fact that the elevation is emptying thing that does not transship is wrong then the rosilla does not emptying. sent6: the fact that the rosilla does not synthesize librarian and is not an autograph is not true if it is not a brakes. sent7: if something that is a kind of a constriction is not Masoretic it is not a brakes. sent8: the imbrication is not non-schizoid but rotatory if there exists something such that it does mellow lenticel. sent9: if the eft is not unprofitable then the rosilla is a schizoid. sent10: that the elevation is an emptying that does not transship is wrong if the Bolshevik is an overhead. sent11: the eft mellows lenticel if there is something such that that it does not synthesize librarian and is not a kind of an autograph is incorrect. sent12: if the eft is not unprofitable and/or is not antidotal then the rosilla is a schizoid. sent13: if the rosilla synthesizes librarian the eft does not autograph. sent14: there exists something such that that it does not mellow proctoscope and is unorthodox does not hold. sent15: the roadbook is unprofitable. sent16: the eft either is not unprofitable or is not antidotal or both. sent17: the eft is a kind of a schizoid and it mellows lenticel if it is not an autograph. sent18: if the zoril does gross the Bolshevik is overhead. sent19: something is a kind of a unconventionality and it is gross if it is not unorthodox. sent20: something is a constriction and is not Masoretic if it is not an emptying. sent21: if the rosilla is rotatory the elevation is a kind of a schizoid.
sent12 & sent16 -> int1: the rosilla is schizoid.; sent4 & int1 -> hypothesis;
the imbrication is a schizoid.
sent7 -> int2: if the rosilla is a constriction that is not Masoretic then it does not brake.; sent20 -> int3: if that the rosilla is not a kind of an emptying is not false that it is a constriction and it is not Masoretic is not incorrect.; sent19 -> int4: the zoril is a kind of a unconventionality that is a gross if it is not unorthodox.; sent14 & sent1 -> int5: the zoril is not unorthodox.; int4 & int5 -> int6: the zoril is a unconventionality and it does gross.; int6 -> int7: the zoril does gross.; sent18 & int7 -> int8: the Bolshevik is an overhead.; sent10 & int8 -> int9: that the elevation is an emptying but it does not transship does not hold.; sent5 & int9 -> int10: the rosilla does not empty.; int3 & int10 -> int11: the rosilla is a constriction but it is not Masoretic.; int2 & int11 -> int12: the rosilla is not a brakes.; sent6 & int12 -> int13: the fact that the rosilla does not synthesize librarian and does not autograph is false.; int13 -> int14: there is something such that the fact that it does not synthesize librarian and is not an autograph is not correct.; int14 & sent11 -> int15: the eft mellows lenticel.; int15 -> int16: there is something such that that it mellows lenticel hold.; int16 & sent8 -> int17: the imbrication is a schizoid and it is rotatory.; int17 -> hypothesis;
$hypothesis$ = the elevation is non-rotatory. ; $context$ = sent1: if there exists something such that the fact that it does not mellow proctoscope and it is unorthodox is not true then the zoril is unorthodox. sent2: the eft is unprofitable or it is not antidotal or both. sent3: the eft is rotatory. sent4: if the rosilla is not non-schizoid then the elevation is rotatory. sent5: if the fact that the elevation is emptying thing that does not transship is wrong then the rosilla does not emptying. sent6: the fact that the rosilla does not synthesize librarian and is not an autograph is not true if it is not a brakes. sent7: if something that is a kind of a constriction is not Masoretic it is not a brakes. sent8: the imbrication is not non-schizoid but rotatory if there exists something such that it does mellow lenticel. sent9: if the eft is not unprofitable then the rosilla is a schizoid. sent10: that the elevation is an emptying that does not transship is wrong if the Bolshevik is an overhead. sent11: the eft mellows lenticel if there is something such that that it does not synthesize librarian and is not a kind of an autograph is incorrect. sent12: if the eft is not unprofitable and/or is not antidotal then the rosilla is a schizoid. sent13: if the rosilla synthesizes librarian the eft does not autograph. sent14: there exists something such that that it does not mellow proctoscope and is unorthodox does not hold. sent15: the roadbook is unprofitable. sent16: the eft either is not unprofitable or is not antidotal or both. sent17: the eft is a kind of a schizoid and it mellows lenticel if it is not an autograph. sent18: if the zoril does gross the Bolshevik is overhead. sent19: something is a kind of a unconventionality and it is gross if it is not unorthodox. sent20: something is a constriction and is not Masoretic if it is not an emptying. sent21: if the rosilla is rotatory the elevation is a kind of a schizoid. ; $proof$ = 
sent12 & sent16 -> int1: the rosilla is schizoid.; sent4 & int1 -> hypothesis; __DISPROVED__