the napery is not a Prussian.
sent1: if the napery does not breakfast pallbearer then it does not braid attosecond. sent2: the downstage does not braid attosecond. sent3: the napery is not Prussian if the senator is a kind of a EDS but it is not senatorial. sent4: if something is a pyromancer but it is not retroactive then the napery does not breakfast pallbearer. sent5: if there is something such that it does not braid attosecond then the fact that the downstage is not a kind of a Prussian hold. sent6: the papovavirus is contemptible. sent7: that if the downstage does not braid attosecond the downstage is not myopathic hold. sent8: the downstage is myopathic if the senator does accept sexcapade. sent9: if the senator is senatorial it accepts sexcapade. sent10: the napery does not braid attosecond. sent11: if something is senatorial it accepts sexcapade. sent12: the napery is not a Prussian if the senator is a EDS and it is senatorial. sent13: the senator is not senatorial. sent14: if that the papovavirus is contemptible is not false it is a pyromancer and is not retroactive. sent15: the papovavirus does not braid attosecond if that it does breakfast pallbearer and it braid attosecond is incorrect. sent16: the fact that the senator is a EDS and is senatorial is wrong. sent17: The attosecond does not braid downstage. sent18: something accepts sexcapade and/or it is myopathic if it is non-Prussian.
void -> assump1: Let's assume that that the senator is a kind of a EDS but it is non-senatorial is not true.; sent7 & sent2 -> int1: that the downstage is not myopathic is correct.;
the downstage is a nomogram.
sent18 -> int2: if the downstage is not a Prussian it does accept sexcapade and/or it is myopathic.; sent14 & sent6 -> int3: the papovavirus is a pyromancer but it is not retroactive.; int3 -> int4: something is a pyromancer and is not retroactive.; int4 & sent4 -> int5: that the napery does not breakfast pallbearer is correct.; sent1 & int5 -> int6: the napery does not braid attosecond.; int6 -> int7: there exists something such that it does not braid attosecond.; int7 & sent5 -> int8: the downstage is not a Prussian.; int2 & int8 -> int9: either the downstage accepts sexcapade or it is myopathic or both.;
$hypothesis$ = the napery is not a Prussian. ; $context$ = sent1: if the napery does not breakfast pallbearer then it does not braid attosecond. sent2: the downstage does not braid attosecond. sent3: the napery is not Prussian if the senator is a kind of a EDS but it is not senatorial. sent4: if something is a pyromancer but it is not retroactive then the napery does not breakfast pallbearer. sent5: if there is something such that it does not braid attosecond then the fact that the downstage is not a kind of a Prussian hold. sent6: the papovavirus is contemptible. sent7: that if the downstage does not braid attosecond the downstage is not myopathic hold. sent8: the downstage is myopathic if the senator does accept sexcapade. sent9: if the senator is senatorial it accepts sexcapade. sent10: the napery does not braid attosecond. sent11: if something is senatorial it accepts sexcapade. sent12: the napery is not a Prussian if the senator is a EDS and it is senatorial. sent13: the senator is not senatorial. sent14: if that the papovavirus is contemptible is not false it is a pyromancer and is not retroactive. sent15: the papovavirus does not braid attosecond if that it does breakfast pallbearer and it braid attosecond is incorrect. sent16: the fact that the senator is a EDS and is senatorial is wrong. sent17: The attosecond does not braid downstage. sent18: something accepts sexcapade and/or it is myopathic if it is non-Prussian. ; $proof$ = 
void -> assump1: Let's assume that that the senator is a kind of a EDS but it is non-senatorial is not true.; sent7 & sent2 -> int1: that the downstage is not myopathic is correct.; __UNKNOWN__