the sporocarp is a kind of a Hyssopus and is unorthodox.
sent1: if the strawboard does not despair g the fortuneteller does not franchise or does not despair g or both. sent2: there exists something such that it is not a Hyssopus. sent3: the fortuneteller does not franchise or is anasarcous or both. sent4: the fact that the neurohormone unspells wake is not incorrect. sent5: the fortuneteller is anecdotal if the strawboard is a franchise. sent6: the sporocarp is not a Hyssopus or it is not a kind of a franchise or both if that the fortuneteller is not a franchise is true. sent7: if the strawboard rustles sporocarp and it is viatical then the fact that it does not despair g is correct. sent8: The fact that the wake unspells neurohormone is not incorrect. sent9: if the wake is not anasarcous the fortuneteller is not a franchise and/or is not anasarcous. sent10: if there is something such that it unspells wake then that the fortuneteller does not franchise and/or it is not anasarcous is not right. sent11: something that is anecdotal does rustle sporocarp and is not viatical. sent12: something is viatical if the fact that it is a kind of a franchise is not incorrect. sent13: if there exists something such that that it is either not unfit or dialectal or both does not hold the wake is not anasarcous. sent14: if something that rustles sporocarp is not viatical it does not despair g. sent15: the Pamlico is not anasarcous. sent16: if the Pamlico either is not unfit or is dialectal or both then the strawboard is anecdotal. sent17: if that the strawboard does not despair g hold then that that the sporocarp is both a Hyssopus and unorthodox hold does not hold. sent18: the strawboard is unorthodox if the fact that the sporocarp is viatical is true. sent19: there is something such that it is unorthodox.
void -> assump1: Let's assume that that either the Pamlico is fit or it is dialectal or both is wrong.; assump1 -> int1: there exists something such that that either it is not unfit or it is dialectal or both is not correct.; int1 & sent13 -> int2: the wake is not anasarcous.; int2 & sent9 -> int3: the fortuneteller either is not a franchise or is not anasarcous or both.; sent4 -> int4: there is something such that it does unspell wake.; int4 & sent10 -> int5: the fact that either the fortuneteller is not a franchise or it is not anasarcous or both does not hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Pamlico is not unfit and/or it is dialectal.; int7 & sent16 -> int8: the strawboard is anecdotal.; sent11 -> int9: if the fact that the strawboard is anecdotal is not incorrect it rustles sporocarp and it is not viatical.; int8 & int9 -> int10: the strawboard rustles sporocarp and is not viatical.; sent14 -> int11: the strawboard does not despair g if it rustles sporocarp and it is not viatical.; int10 & int11 -> int12: the strawboard does not despair g.; int12 & sent17 -> hypothesis;
$hypothesis$ = the sporocarp is a kind of a Hyssopus and is unorthodox. ; $context$ = sent1: if the strawboard does not despair g the fortuneteller does not franchise or does not despair g or both. sent2: there exists something such that it is not a Hyssopus. sent3: the fortuneteller does not franchise or is anasarcous or both. sent4: the fact that the neurohormone unspells wake is not incorrect. sent5: the fortuneteller is anecdotal if the strawboard is a franchise. sent6: the sporocarp is not a Hyssopus or it is not a kind of a franchise or both if that the fortuneteller is not a franchise is true. sent7: if the strawboard rustles sporocarp and it is viatical then the fact that it does not despair g is correct. sent8: The fact that the wake unspells neurohormone is not incorrect. sent9: if the wake is not anasarcous the fortuneteller is not a franchise and/or is not anasarcous. sent10: if there is something such that it unspells wake then that the fortuneteller does not franchise and/or it is not anasarcous is not right. sent11: something that is anecdotal does rustle sporocarp and is not viatical. sent12: something is viatical if the fact that it is a kind of a franchise is not incorrect. sent13: if there exists something such that that it is either not unfit or dialectal or both does not hold the wake is not anasarcous. sent14: if something that rustles sporocarp is not viatical it does not despair g. sent15: the Pamlico is not anasarcous. sent16: if the Pamlico either is not unfit or is dialectal or both then the strawboard is anecdotal. sent17: if that the strawboard does not despair g hold then that that the sporocarp is both a Hyssopus and unorthodox hold does not hold. sent18: the strawboard is unorthodox if the fact that the sporocarp is viatical is true. sent19: there is something such that it is unorthodox. ; $proof$ = 
void -> assump1: Let's assume that that either the Pamlico is fit or it is dialectal or both is wrong.; assump1 -> int1: there exists something such that that either it is not unfit or it is dialectal or both is not correct.; int1 & sent13 -> int2: the wake is not anasarcous.; int2 & sent9 -> int3: the fortuneteller either is not a franchise or is not anasarcous or both.; sent4 -> int4: there is something such that it does unspell wake.; int4 & sent10 -> int5: the fact that either the fortuneteller is not a franchise or it is not anasarcous or both does not hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Pamlico is not unfit and/or it is dialectal.; int7 & sent16 -> int8: the strawboard is anecdotal.; sent11 -> int9: if the fact that the strawboard is anecdotal is not incorrect it rustles sporocarp and it is not viatical.; int8 & int9 -> int10: the strawboard rustles sporocarp and is not viatical.; sent14 -> int11: the strawboard does not despair g if it rustles sporocarp and it is not viatical.; int10 & int11 -> int12: the strawboard does not despair g.; int12 & sent17 -> hypothesis; __DISPROVED__