the archenteron is nonharmonic.
sent1: that the fustian does intrigue bass is not false. sent2: something is a kind of undatable thing that is a Monk. sent3: the bass laps pongid. sent4: the lion does intrigue atmosphere. sent5: everything is fingerless and it does intrigue bass. sent6: everything does intrigue bass. sent7: the archenteron is a digestive if something that intrigues atmosphere is nonharmonic. sent8: the archenteron is nonharmonic if it does not intrigue atmosphere. sent9: the Pilsner is fingerless if it is a AC. sent10: the codetalker intrigues codetalker and is hydrographic. sent11: The pongid laps bass. sent12: if the Pilsner is fingerless then it does intrigue bass. sent13: the Pilsner is not a digestive if the archenteron does intrigue atmosphere and it intrigues codetalker. sent14: there is something such that it does intrigue bass. sent15: the Pilsner does not lap pongid. sent16: if there is something such that it does intrigue bass and/or it is digestive the bass does not intrigue atmosphere. sent17: if something does not intrigue codetalker and does lap pongid it is not nonharmonic. sent18: if a fingerless thing intrigues bass then the Pilsner is digestive.
void -> assump1: Let's assume that the archenteron intrigues atmosphere.; sent5 -> int1: the fustian is a kind of fingerless thing that intrigues bass.; int1 -> int2: there is something such that it is fingerless and it intrigues bass.; int2 & sent18 -> int3: the Pilsner is a digestive.;
the archenteron is not nonharmonic.
sent17 -> int4: if the archenteron does not intrigue codetalker but it does lap pongid it is not nonharmonic.;
$hypothesis$ = the archenteron is nonharmonic. ; $context$ = sent1: that the fustian does intrigue bass is not false. sent2: something is a kind of undatable thing that is a Monk. sent3: the bass laps pongid. sent4: the lion does intrigue atmosphere. sent5: everything is fingerless and it does intrigue bass. sent6: everything does intrigue bass. sent7: the archenteron is a digestive if something that intrigues atmosphere is nonharmonic. sent8: the archenteron is nonharmonic if it does not intrigue atmosphere. sent9: the Pilsner is fingerless if it is a AC. sent10: the codetalker intrigues codetalker and is hydrographic. sent11: The pongid laps bass. sent12: if the Pilsner is fingerless then it does intrigue bass. sent13: the Pilsner is not a digestive if the archenteron does intrigue atmosphere and it intrigues codetalker. sent14: there is something such that it does intrigue bass. sent15: the Pilsner does not lap pongid. sent16: if there is something such that it does intrigue bass and/or it is digestive the bass does not intrigue atmosphere. sent17: if something does not intrigue codetalker and does lap pongid it is not nonharmonic. sent18: if a fingerless thing intrigues bass then the Pilsner is digestive. ; $proof$ = 
void -> assump1: Let's assume that the archenteron intrigues atmosphere.; sent5 -> int1: the fustian is a kind of fingerless thing that intrigues bass.; int1 -> int2: there is something such that it is fingerless and it intrigues bass.; int2 & sent18 -> int3: the Pilsner is a digestive.; __UNKNOWN__