the fact that the otter is both unopposable and not non-incidental does not hold.
sent1: if either something is a kind of a headrest or it is a reimposition or both it is not paleocortical. sent2: if the darky is some then the fact that the mahogany is a kind of non-opposable thing that is not paleocortical is not true. sent3: if the fact that the mahogany is opposable but it is not a reimposition does not hold it is not a Ouse. sent4: the darky is paleocortical if the mahogany is not phonemic but it is an active. sent5: if the bunyavirus is phosphorous the darky is some. sent6: if something is a niceness the cushaw is a Ouse and/or it is phosphorous. sent7: the darky is a kind of a headrest and/or is a reimposition. sent8: something is some and is not paleocortical if that it is not phosphorous is not incorrect. sent9: something is not a headrest. sent10: something is a niceness if it is not a Ouse. sent11: the exploiter is not some if the transactinide is some but it is not paleocortical. sent12: if the transactinide is not some then the mahogany is a kind of non-phonemic an active. sent13: if the transactinide is non-some then the mahogany is an active. sent14: if there is something such that that it is a reimposition and it is not a headrest is incorrect the coney is a niceness. sent15: if that the bunyavirus is a niceness but it is not some is wrong the fact that the fact that the cushaw is not phosphorous hold is not true. sent16: the fact that the fact that the bunyavirus is a kind of a niceness that is not some does not hold hold if the transactinide is some. sent17: something is unopposable but not non-incidental if it is a Ouse. sent18: that the fact that the gherkin is a reimposition and is not a headrest is incorrect is not wrong. sent19: something that is not some is non-Ibsenian thing that is not non-incidental. sent20: if the cushaw is phosphorous the otter is a kind of a Ouse. sent21: the bunyavirus is phosphorous if the cushaw is a kind of a Ouse.
void -> assump1: Let's assume that the transactinide is not some.; sent12 & assump1 -> int1: the mahogany is not phonemic and not inactive.; int1 & sent4 -> int2: the darky is not non-paleocortical.; sent1 -> int3: that the darky is not paleocortical hold if it is a headrest and/or it is a reimposition.; int3 & sent7 -> int4: the darky is not paleocortical.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the transactinide is some.; int6 & sent16 -> int7: the fact that the bunyavirus is a niceness and not some does not hold.; int7 & sent15 -> int8: the cushaw is phosphorous.; int8 & sent20 -> int9: the otter is a kind of a Ouse.; sent17 -> int10: if the otter is a kind of a Ouse the fact that it is not opposable and is an incidental is right.; int9 & int10 -> hypothesis;
the fact that the otter is not opposable but it is an incidental does not hold.
sent18 -> int11: there is something such that the fact that it is both a reimposition and not a headrest is not right.; int11 & sent14 -> int12: the coney is a niceness.; int12 -> int13: there is something such that it is a niceness.; int13 & sent6 -> int14: the cushaw is a Ouse and/or it is phosphorous.;
$hypothesis$ = the fact that the otter is both unopposable and not non-incidental does not hold. ; $context$ = sent1: if either something is a kind of a headrest or it is a reimposition or both it is not paleocortical. sent2: if the darky is some then the fact that the mahogany is a kind of non-opposable thing that is not paleocortical is not true. sent3: if the fact that the mahogany is opposable but it is not a reimposition does not hold it is not a Ouse. sent4: the darky is paleocortical if the mahogany is not phonemic but it is an active. sent5: if the bunyavirus is phosphorous the darky is some. sent6: if something is a niceness the cushaw is a Ouse and/or it is phosphorous. sent7: the darky is a kind of a headrest and/or is a reimposition. sent8: something is some and is not paleocortical if that it is not phosphorous is not incorrect. sent9: something is not a headrest. sent10: something is a niceness if it is not a Ouse. sent11: the exploiter is not some if the transactinide is some but it is not paleocortical. sent12: if the transactinide is not some then the mahogany is a kind of non-phonemic an active. sent13: if the transactinide is non-some then the mahogany is an active. sent14: if there is something such that that it is a reimposition and it is not a headrest is incorrect the coney is a niceness. sent15: if that the bunyavirus is a niceness but it is not some is wrong the fact that the fact that the cushaw is not phosphorous hold is not true. sent16: the fact that the fact that the bunyavirus is a kind of a niceness that is not some does not hold hold if the transactinide is some. sent17: something is unopposable but not non-incidental if it is a Ouse. sent18: that the fact that the gherkin is a reimposition and is not a headrest is incorrect is not wrong. sent19: something that is not some is non-Ibsenian thing that is not non-incidental. sent20: if the cushaw is phosphorous the otter is a kind of a Ouse. sent21: the bunyavirus is phosphorous if the cushaw is a kind of a Ouse. ; $proof$ = 
void -> assump1: Let's assume that the transactinide is not some.; sent12 & assump1 -> int1: the mahogany is not phonemic and not inactive.; int1 & sent4 -> int2: the darky is not non-paleocortical.; sent1 -> int3: that the darky is not paleocortical hold if it is a headrest and/or it is a reimposition.; int3 & sent7 -> int4: the darky is not paleocortical.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the transactinide is some.; int6 & sent16 -> int7: the fact that the bunyavirus is a niceness and not some does not hold.; int7 & sent15 -> int8: the cushaw is phosphorous.; int8 & sent20 -> int9: the otter is a kind of a Ouse.; sent17 -> int10: if the otter is a kind of a Ouse the fact that it is not opposable and is an incidental is right.; int9 & int10 -> hypothesis; __DISPROVED__