there is something such that that it either is not aecial or does not imply dickey or both does not hold.
sent1: the shopping is not premenstrual or not aecial or both. sent2: if something is not a kind of a preparation or is not a caret or both it does not bear Onega. sent3: there exists something such that that the fact that it is not a kind of a bugaboo and/or it is not thallophytic hold is not true. sent4: the dickey does not imply dickey. sent5: the dickey is a preparation and/or is not a caret. sent6: there exists something such that the fact that it is not aecial and/or does imply dickey is not correct. sent7: the dickey either is not a preparation or is not a caret or both if the shopping is not premenstrual. sent8: if that the sarcosporidian does not imply dickey is true the shopping is premenstrual. sent9: the fact that the dickey is not a kind of a Nice or it is not a kind of an apprenticeship or both is not correct. sent10: the fact that if the dickey is not premenstrual then that the shopping does not bear Onega and/or is not a preparation is not wrong is not wrong. sent11: the shopping is not premenstrual if the sarcosporidian does not imply dickey. sent12: if the shopping is not premenstrual then the dickey is a kind of a preparation and/or it is not a caret. sent13: the shopping is not premenstrual if the sarcosporidian is not aecial. sent14: there exists something such that it implies dickey. sent15: if something is not a preparation it does not bear Onega. sent16: the dickey does not bear Onega if it is not a preparation. sent17: there exists something such that the fact that it is aecial and/or it does not imply dickey does not hold. sent18: the sarcosporidian is not aecial or is not a kind of a caret or both if the dickey does not bear Onega. sent19: something is not aecial or it does not imply dickey or both. sent20: if the sarcosporidian is not a caret the dickey is not aecial. sent21: there is something such that that it is non-aecial and/or non-premenstrual is wrong. sent22: something is aecial. sent23: The Onega does bear dickey. sent24: the dickey does bear Onega. sent25: the sarcosporidian is a kind of a caret.
void -> assump1: Let's assume that the sarcosporidian either is non-aecial or does not imply dickey or both.; assump1 & sent13 & sent11 -> int1: the shopping is not premenstrual.; int1 & sent7 -> int2: the dickey is not a preparation or is not a caret or both.; sent2 -> int3: if either the dickey is not a kind of a preparation or it is not a caret or both then it does not bear Onega.; int2 & int3 -> int4: the dickey does not bear Onega.; int4 & sent24 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the sarcosporidian is not aecial and/or it does not imply dickey does not hold.; int6 -> hypothesis;
$hypothesis$ = there is something such that that it either is not aecial or does not imply dickey or both does not hold. ; $context$ = sent1: the shopping is not premenstrual or not aecial or both. sent2: if something is not a kind of a preparation or is not a caret or both it does not bear Onega. sent3: there exists something such that that the fact that it is not a kind of a bugaboo and/or it is not thallophytic hold is not true. sent4: the dickey does not imply dickey. sent5: the dickey is a preparation and/or is not a caret. sent6: there exists something such that the fact that it is not aecial and/or does imply dickey is not correct. sent7: the dickey either is not a preparation or is not a caret or both if the shopping is not premenstrual. sent8: if that the sarcosporidian does not imply dickey is true the shopping is premenstrual. sent9: the fact that the dickey is not a kind of a Nice or it is not a kind of an apprenticeship or both is not correct. sent10: the fact that if the dickey is not premenstrual then that the shopping does not bear Onega and/or is not a preparation is not wrong is not wrong. sent11: the shopping is not premenstrual if the sarcosporidian does not imply dickey. sent12: if the shopping is not premenstrual then the dickey is a kind of a preparation and/or it is not a caret. sent13: the shopping is not premenstrual if the sarcosporidian is not aecial. sent14: there exists something such that it implies dickey. sent15: if something is not a preparation it does not bear Onega. sent16: the dickey does not bear Onega if it is not a preparation. sent17: there exists something such that the fact that it is aecial and/or it does not imply dickey does not hold. sent18: the sarcosporidian is not aecial or is not a kind of a caret or both if the dickey does not bear Onega. sent19: something is not aecial or it does not imply dickey or both. sent20: if the sarcosporidian is not a caret the dickey is not aecial. sent21: there is something such that that it is non-aecial and/or non-premenstrual is wrong. sent22: something is aecial. sent23: The Onega does bear dickey. sent24: the dickey does bear Onega. sent25: the sarcosporidian is a kind of a caret. ; $proof$ = 
void -> assump1: Let's assume that the sarcosporidian either is non-aecial or does not imply dickey or both.; assump1 & sent13 & sent11 -> int1: the shopping is not premenstrual.; int1 & sent7 -> int2: the dickey is not a preparation or is not a caret or both.; sent2 -> int3: if either the dickey is not a kind of a preparation or it is not a caret or both then it does not bear Onega.; int2 & int3 -> int4: the dickey does not bear Onega.; int4 & sent24 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the sarcosporidian is not aecial and/or it does not imply dickey does not hold.; int6 -> hypothesis; __PROVED__