that something is not a kind of a gallina or is intercostal or both is not true.
sent1: the mitochondrion is postganglionic. sent2: the pion pins foster-sister if the woodbine is postganglionic. sent3: the pion is postganglionic and/or is a thatch. sent4: something is not a kind of a gallina or it is a kind of a intercostal or both if that it does pin foster-sister hold. sent5: the woodbine either does not pin foster-sister or is a gallina or both if it is client-server. sent6: the fact that the pion does pin rain and/or it is not non-bivalent is not wrong. sent7: the pion is client-server if it is a kind of a intercostal. sent8: if the pion is client-server it is postganglionic. sent9: something is client-server and/or it is a intercostal. sent10: the pion is client-server. sent11: if something is intercostal then either it is not postganglionic or it does pin foster-sister or both. sent12: the woodbine does pin foster-sister if the pion is not non-postganglionic. sent13: if that the woodbine is client-server hold the pion is a intercostal. sent14: the pion does hypnotize doctorspeak. sent15: there is something such that it does strive and/or is unintrusive. sent16: if the woodbine is postganglionic it is not a gallina and/or it does pin foster-sister. sent17: something is a kind of a Bernhardt and/or it does hypnotize stabile.
sent8 & sent10 -> int1: the pion is postganglionic.; int1 & sent12 -> int2: the woodbine pins foster-sister.; sent4 -> int3: if the woodbine does pin foster-sister it is not a gallina and/or it is intercostal.; int2 & int3 -> int4: the woodbine is not a kind of a gallina or it is a kind of a intercostal or both.; int4 -> hypothesis;
$hypothesis$ = that something is not a kind of a gallina or is intercostal or both is not true. ; $context$ = sent1: the mitochondrion is postganglionic. sent2: the pion pins foster-sister if the woodbine is postganglionic. sent3: the pion is postganglionic and/or is a thatch. sent4: something is not a kind of a gallina or it is a kind of a intercostal or both if that it does pin foster-sister hold. sent5: the woodbine either does not pin foster-sister or is a gallina or both if it is client-server. sent6: the fact that the pion does pin rain and/or it is not non-bivalent is not wrong. sent7: the pion is client-server if it is a kind of a intercostal. sent8: if the pion is client-server it is postganglionic. sent9: something is client-server and/or it is a intercostal. sent10: the pion is client-server. sent11: if something is intercostal then either it is not postganglionic or it does pin foster-sister or both. sent12: the woodbine does pin foster-sister if the pion is not non-postganglionic. sent13: if that the woodbine is client-server hold the pion is a intercostal. sent14: the pion does hypnotize doctorspeak. sent15: there is something such that it does strive and/or is unintrusive. sent16: if the woodbine is postganglionic it is not a gallina and/or it does pin foster-sister. sent17: something is a kind of a Bernhardt and/or it does hypnotize stabile. ; $proof$ = 
sent8 & sent10 -> int1: the pion is postganglionic.; int1 & sent12 -> int2: the woodbine pins foster-sister.; sent4 -> int3: if the woodbine does pin foster-sister it is not a gallina and/or it is intercostal.; int2 & int3 -> int4: the woodbine is not a kind of a gallina or it is a kind of a intercostal or both.; int4 -> hypothesis; __DISPROVED__