the fact that the morosoph is a backstroker hold.
sent1: if the X does abjure harassment then the vaudevillian does not abjure Lysichiton and it is not cytogenetics. sent2: something does not blemish disunity if that it is not agnostic and it does blemish disunity is incorrect. sent3: the compass is not a kind of an agnostic if the bison does blemish disunity and does not reclaim. sent4: something that is a backstroker preserves boxthorn. sent5: the morosoph is a backstroker and/or agnostic. sent6: that the morosoph is not agnostic but it does blemish disunity is incorrect if that the bison reclaims is not false. sent7: if that the X does not preserve X is true it does abjure harassment and is a drunkard. sent8: the earthwork preserves starting or it is likely or both. sent9: if the compass reclaims the fact that the bison does blemish disunity and does not retract does not hold. sent10: the slit preserves lavatory. sent11: there is something such that it does reclaim or is a kind of an agnostic or both. sent12: if the vaudevillian does not abjure Lysichiton and is not cytogenetics then that the compass is not cytogenetics is true. sent13: the centenarian blemishes disunity. sent14: the X is not likely if the earthwork preserves starting or it is likely or both. sent15: there is something such that it blemishes disunity and/or does not reclaim. sent16: if there is something such that it is a backstroker and it does retract then the bison does blemish disunity. sent17: the morosoph retracts. sent18: if something is not likely then it does not preserve X. sent19: the bison does not reclaim if something either is cytogenetics or does not reclaim or both. sent20: everything is cytogenetics and/or does not reclaim. sent21: the compass is an agnostic. sent22: if there is something such that it is not a backstroker then the bison is not a kind of a backstroker. sent23: the compass is not a backstroker. sent24: the compass is not cytogenetics.
void -> assump1: Let's assume that the morosoph is a kind of a backstroker.; assump1 & sent17 -> int1: the morosoph is a backstroker and it does retract.; int1 -> int2: there exists something such that it is a kind of a backstroker and retracts.; int2 & sent16 -> int3: the bison does blemish disunity.; sent20 -> int4: the vaudevillian is cytogenetics and/or does not reclaim.; int4 -> int5: something is cytogenetics and/or does not reclaim.; int5 & sent19 -> int6: the bison does not reclaim.; int3 & int6 -> int7: the bison does blemish disunity but it does not reclaim.; int7 & sent3 -> int8: the compass is not agnostic.; int8 & sent21 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the morosoph is a backstroker.
sent18 -> int10: the X does not preserve X if it is not likely.; sent14 & sent8 -> int11: the X is not likely.; int10 & int11 -> int12: the X does not preserve X.; sent7 & int12 -> int13: the X abjures harassment and it is a drunkard.; int13 -> int14: the X does abjure harassment.; sent1 & int14 -> int15: the vaudevillian does not abjure Lysichiton and is not cytogenetics.; sent12 & int15 -> int16: the compass is non-cytogenetics.;
$hypothesis$ = the fact that the morosoph is a backstroker hold. ; $context$ = sent1: if the X does abjure harassment then the vaudevillian does not abjure Lysichiton and it is not cytogenetics. sent2: something does not blemish disunity if that it is not agnostic and it does blemish disunity is incorrect. sent3: the compass is not a kind of an agnostic if the bison does blemish disunity and does not reclaim. sent4: something that is a backstroker preserves boxthorn. sent5: the morosoph is a backstroker and/or agnostic. sent6: that the morosoph is not agnostic but it does blemish disunity is incorrect if that the bison reclaims is not false. sent7: if that the X does not preserve X is true it does abjure harassment and is a drunkard. sent8: the earthwork preserves starting or it is likely or both. sent9: if the compass reclaims the fact that the bison does blemish disunity and does not retract does not hold. sent10: the slit preserves lavatory. sent11: there is something such that it does reclaim or is a kind of an agnostic or both. sent12: if the vaudevillian does not abjure Lysichiton and is not cytogenetics then that the compass is not cytogenetics is true. sent13: the centenarian blemishes disunity. sent14: the X is not likely if the earthwork preserves starting or it is likely or both. sent15: there is something such that it blemishes disunity and/or does not reclaim. sent16: if there is something such that it is a backstroker and it does retract then the bison does blemish disunity. sent17: the morosoph retracts. sent18: if something is not likely then it does not preserve X. sent19: the bison does not reclaim if something either is cytogenetics or does not reclaim or both. sent20: everything is cytogenetics and/or does not reclaim. sent21: the compass is an agnostic. sent22: if there is something such that it is not a backstroker then the bison is not a kind of a backstroker. sent23: the compass is not a backstroker. sent24: the compass is not cytogenetics. ; $proof$ = 
void -> assump1: Let's assume that the morosoph is a kind of a backstroker.; assump1 & sent17 -> int1: the morosoph is a backstroker and it does retract.; int1 -> int2: there exists something such that it is a kind of a backstroker and retracts.; int2 & sent16 -> int3: the bison does blemish disunity.; sent20 -> int4: the vaudevillian is cytogenetics and/or does not reclaim.; int4 -> int5: something is cytogenetics and/or does not reclaim.; int5 & sent19 -> int6: the bison does not reclaim.; int3 & int6 -> int7: the bison does blemish disunity but it does not reclaim.; int7 & sent3 -> int8: the compass is not agnostic.; int8 & sent21 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__