that the estaminet does not flump but it is detachable is incorrect.
sent1: if the crier is not a lineup the estaminet is not a lineup and does not interfere Orlon. sent2: if the crier does not interfere Orlon the estaminet does not interfere Orlon. sent3: the cine-film does not interfere lodge but it does interfere Orlon. sent4: that the estaminet escorts omicron and it flumps does not hold. sent5: the crier is not a lineup and does not flump if the estaminet is not a kind of a lineup. sent6: the estaminet does not interfere Orlon and it does not flump. sent7: The Orlon does interfere crier. sent8: the fact that the crier does not uplift boarder and is a level is wrong. sent9: the estaminet is nonrandom. sent10: the Skagit does not harmonize but it is detachable. sent11: something does not flump if it does interfere Orlon. sent12: the crier does interfere Orlon. sent13: the estaminet does not interfere Orlon. sent14: if the estaminet does interfere westerner it is not non-detachable. sent15: the estaminet does not escort omicron. sent16: something is both not chelicerous and a conveyance if it is not a kind of a level. sent17: the crier is not a lineup and it does not interfere Orlon if that the estaminet is not a lineup hold. sent18: the estaminet is not a kind of a lineup if it flumps and is detachable. sent19: if something that does not flump is not non-detachable then it is not a lineup. sent20: if something that does not dilapidate does equilibrate then it does not interfere disappearance. sent21: something does not flump if it is a lineup.
sent19 -> int1: the estaminet is not a lineup if it does not flump and it is detachable.; void -> assump1: Let's assume that the estaminet does not flump and is detachable.; int1 & assump1 -> int2: the estaminet is not a lineup.; int2 & sent17 -> int3: the crier is not a kind of a lineup and does not interfere Orlon.; int3 -> int4: the crier does not interfere Orlon.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the estaminet does not flump but it is detachable.
sent11 -> int6: that the estaminet does not flump is not wrong if it does interfere Orlon.; sent21 -> int7: the fact that the estaminet does not flump is not false if it is a kind of a lineup.; sent16 -> int8: if the crier does not level then it is not chelicerous and it is a kind of a conveyance.;
$hypothesis$ = that the estaminet does not flump but it is detachable is incorrect. ; $context$ = sent1: if the crier is not a lineup the estaminet is not a lineup and does not interfere Orlon. sent2: if the crier does not interfere Orlon the estaminet does not interfere Orlon. sent3: the cine-film does not interfere lodge but it does interfere Orlon. sent4: that the estaminet escorts omicron and it flumps does not hold. sent5: the crier is not a lineup and does not flump if the estaminet is not a kind of a lineup. sent6: the estaminet does not interfere Orlon and it does not flump. sent7: The Orlon does interfere crier. sent8: the fact that the crier does not uplift boarder and is a level is wrong. sent9: the estaminet is nonrandom. sent10: the Skagit does not harmonize but it is detachable. sent11: something does not flump if it does interfere Orlon. sent12: the crier does interfere Orlon. sent13: the estaminet does not interfere Orlon. sent14: if the estaminet does interfere westerner it is not non-detachable. sent15: the estaminet does not escort omicron. sent16: something is both not chelicerous and a conveyance if it is not a kind of a level. sent17: the crier is not a lineup and it does not interfere Orlon if that the estaminet is not a lineup hold. sent18: the estaminet is not a kind of a lineup if it flumps and is detachable. sent19: if something that does not flump is not non-detachable then it is not a lineup. sent20: if something that does not dilapidate does equilibrate then it does not interfere disappearance. sent21: something does not flump if it is a lineup. ; $proof$ = 
sent19 -> int1: the estaminet is not a lineup if it does not flump and it is detachable.; void -> assump1: Let's assume that the estaminet does not flump and is detachable.; int1 & assump1 -> int2: the estaminet is not a lineup.; int2 & sent17 -> int3: the crier is not a kind of a lineup and does not interfere Orlon.; int3 -> int4: the crier does not interfere Orlon.; int4 & sent12 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__