the fact that the hagiographer does gather bier and is unpardonable if the informant does not suborn informant does not hold.
sent1: the informant is both an elasticity and wrong. sent2: the blackjack gathers bier. sent3: the hagiographer does gather bier and is unpardonable if the fact that the informant suborns informant is not incorrect. sent4: the horseleech does suborn informant. sent5: the hagiographer is not a kind of a dosimetry and/or is pyrogallic. sent6: if the bier does not gather bier the hagiographer is not unpardonable and/or distends. sent7: the bier is not unpardonable. sent8: the hagiographer does gather bier if the bier is not a psilophyton. sent9: something is unpardonable if it is not a Tuesday. sent10: the hagiographer does gather bier if the bier is not a kind of a psilophyton or distends or both. sent11: that the bier does not gather bier and/or is a psilophyton hold if the hagiographer does not suborn informant. sent12: if the informant does not suborn informant the bier is not a psilophyton and/or distends. sent13: the hagiographer is solanaceous. sent14: the bier is not a psilophyton and/or distends if the informant does suborn informant. sent15: the bier is a kind of a psilophyton and/or does distend. sent16: the hagiographer is not a Tuesday. sent17: the hagiographer suborns informant. sent18: if the informant is not a psilophyton then the bier does not suborn informant and/or it is a Tuesday. sent19: that the bier does gather bier hold. sent20: the bier is a psilophyton and/or it distends if the informant does not suborn informant.
void -> assump1: Let's assume that the informant does not suborn informant.; sent12 & assump1 -> int1: either the bier is not a psilophyton or it does distend or both.; int1 & sent10 -> int2: the hagiographer gathers bier.; sent9 -> int3: the hagiographer is unpardonable if it is not a Tuesday.; int3 & sent16 -> int4: that the hagiographer is unpardonable is not incorrect.; int2 & int4 -> int5: the hagiographer gathers bier and it is unpardonable.; [assump1] & int5 -> hypothesis;
the horseleech does suborn informant and it is anastomotic.
$hypothesis$ = the fact that the hagiographer does gather bier and is unpardonable if the informant does not suborn informant does not hold. ; $context$ = sent1: the informant is both an elasticity and wrong. sent2: the blackjack gathers bier. sent3: the hagiographer does gather bier and is unpardonable if the fact that the informant suborns informant is not incorrect. sent4: the horseleech does suborn informant. sent5: the hagiographer is not a kind of a dosimetry and/or is pyrogallic. sent6: if the bier does not gather bier the hagiographer is not unpardonable and/or distends. sent7: the bier is not unpardonable. sent8: the hagiographer does gather bier if the bier is not a psilophyton. sent9: something is unpardonable if it is not a Tuesday. sent10: the hagiographer does gather bier if the bier is not a kind of a psilophyton or distends or both. sent11: that the bier does not gather bier and/or is a psilophyton hold if the hagiographer does not suborn informant. sent12: if the informant does not suborn informant the bier is not a psilophyton and/or distends. sent13: the hagiographer is solanaceous. sent14: the bier is not a psilophyton and/or distends if the informant does suborn informant. sent15: the bier is a kind of a psilophyton and/or does distend. sent16: the hagiographer is not a Tuesday. sent17: the hagiographer suborns informant. sent18: if the informant is not a psilophyton then the bier does not suborn informant and/or it is a Tuesday. sent19: that the bier does gather bier hold. sent20: the bier is a psilophyton and/or it distends if the informant does not suborn informant. ; $proof$ = 
void -> assump1: Let's assume that the informant does not suborn informant.; sent12 & assump1 -> int1: either the bier is not a psilophyton or it does distend or both.; int1 & sent10 -> int2: the hagiographer gathers bier.; sent9 -> int3: the hagiographer is unpardonable if it is not a Tuesday.; int3 & sent16 -> int4: that the hagiographer is unpardonable is not incorrect.; int2 & int4 -> int5: the hagiographer gathers bier and it is unpardonable.; [assump1] & int5 -> hypothesis; __DISPROVED__