the nasopharynx is non-acoustic thing that is a multiplex.
sent1: that the larboard Simonizes polysyndeton and is not a backup does not hold if the graphite is ossicular. sent2: the larboard does not Simonize polysyndeton if that the hank is both not ossicular and a Franck is not right. sent3: the fact that the larboard does not Simonize polysyndeton is correct if the hank is not a Franck. sent4: something is a kind of a Franck if it is a kind of a backup. sent5: the nasopharynx is not acoustic. sent6: the larboard Simonizes Finnbogadottir and is a counterbalance. sent7: the nasopharynx is a backup if it is non-acoustic and is a multiplex. sent8: something is not an acoustic but it is a kind of a multiplex if it is a Franck. sent9: the quartervine does not Simonize Finnbogadottir and is not a counterbalance. sent10: the fact that the nasopharynx is an acoustic and it is a multiplex is not right. sent11: the fact that the larboard does not Simonize Finnbogadottir and is acoustic is not right. sent12: the fact that the hank is not ossicular and is a kind of a Franck is not correct if there exists something such that it is a kind of a backup. sent13: the nasopharynx is not ossicular if that the hank is ossicular and/or it does not Simonize polysyndeton is not true. sent14: if something Simonizes Finnbogadottir it Simonizes polysyndeton.
void -> assump1: Let's assume that the nasopharynx is not a kind of an acoustic and is a multiplex.; sent7 & assump1 -> int1: the nasopharynx is a backup.; int1 -> int2: there exists something such that it is a backup.; int2 & sent12 -> int3: that the hank is non-ossicular a Franck is false.; int3 & sent2 -> int4: the larboard does not Simonize polysyndeton.; sent14 -> int5: if the larboard does Simonize Finnbogadottir it does Simonize polysyndeton.; sent6 -> int6: the larboard Simonizes Finnbogadottir.; int5 & int6 -> int7: the larboard Simonizes polysyndeton.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the nasopharynx is non-acoustic a multiplex.
$hypothesis$ = the nasopharynx is non-acoustic thing that is a multiplex. ; $context$ = sent1: that the larboard Simonizes polysyndeton and is not a backup does not hold if the graphite is ossicular. sent2: the larboard does not Simonize polysyndeton if that the hank is both not ossicular and a Franck is not right. sent3: the fact that the larboard does not Simonize polysyndeton is correct if the hank is not a Franck. sent4: something is a kind of a Franck if it is a kind of a backup. sent5: the nasopharynx is not acoustic. sent6: the larboard Simonizes Finnbogadottir and is a counterbalance. sent7: the nasopharynx is a backup if it is non-acoustic and is a multiplex. sent8: something is not an acoustic but it is a kind of a multiplex if it is a Franck. sent9: the quartervine does not Simonize Finnbogadottir and is not a counterbalance. sent10: the fact that the nasopharynx is an acoustic and it is a multiplex is not right. sent11: the fact that the larboard does not Simonize Finnbogadottir and is acoustic is not right. sent12: the fact that the hank is not ossicular and is a kind of a Franck is not correct if there exists something such that it is a kind of a backup. sent13: the nasopharynx is not ossicular if that the hank is ossicular and/or it does not Simonize polysyndeton is not true. sent14: if something Simonizes Finnbogadottir it Simonizes polysyndeton. ; $proof$ = 
void -> assump1: Let's assume that the nasopharynx is not a kind of an acoustic and is a multiplex.; sent7 & assump1 -> int1: the nasopharynx is a backup.; int1 -> int2: there exists something such that it is a backup.; int2 & sent12 -> int3: that the hank is non-ossicular a Franck is false.; int3 & sent2 -> int4: the larboard does not Simonize polysyndeton.; sent14 -> int5: if the larboard does Simonize Finnbogadottir it does Simonize polysyndeton.; sent6 -> int6: the larboard Simonizes Finnbogadottir.; int5 & int6 -> int7: the larboard Simonizes polysyndeton.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__