that either the bouffant does not radio Pitman or it does not entrust bandbox or both if that the psaltery does melanize hold is not right.
sent1: if the bouffant melanizes then the psaltery does not radio Pitman or it does not melanizes or both. sent2: the fact that the psaltery does not radio Pitman and/or it entrusts bandbox is right. sent3: the psaltery either does melanize or does not radio Pitman or both. sent4: either the influence radios Pitman or it does not orb leprosy or both. sent5: the Pitman does entrust bandbox. sent6: the psaltery orbs monarchy and/or it does not entrust candelabrum. sent7: either the bouffant does not melanize or it does entrust bandbox or both if the psaltery entrust bandbox. sent8: if the psaltery entrusts bandbox then the bouffant radios Pitman or does not melanize or both. sent9: the psaltery does entrust bandbox if it does melanize. sent10: the psaltery is aggressive. sent11: either the psaltery does not radio Pitman or it does not entrust bandbox or both if the bouffant does entrust bandbox. sent12: the bouffant does not entrust bandbox and/or it is not a kind of a radiobiologist. sent13: if the psaltery entrusts bandbox then either the bouffant does not radio Pitman or it does not entrusts bandbox or both. sent14: if the bouffant melanizes then the psaltery does not radio Pitman or it does not entrust bandbox or both. sent15: the bouffant is a Bandung. sent16: the bouffant melanizes and/or does not radio Pitman. sent17: if the crupper melanizes it is a edacity.
void -> assump1: Let's assume that the psaltery melanizes.; sent9 & assump1 -> int1: the psaltery does entrust bandbox.; sent13 & int1 -> int2: the bouffant either does not radio Pitman or does not entrust bandbox or both.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that either the bouffant does not radio Pitman or it does not entrust bandbox or both if that the psaltery does melanize hold is not right. ; $context$ = sent1: if the bouffant melanizes then the psaltery does not radio Pitman or it does not melanizes or both. sent2: the fact that the psaltery does not radio Pitman and/or it entrusts bandbox is right. sent3: the psaltery either does melanize or does not radio Pitman or both. sent4: either the influence radios Pitman or it does not orb leprosy or both. sent5: the Pitman does entrust bandbox. sent6: the psaltery orbs monarchy and/or it does not entrust candelabrum. sent7: either the bouffant does not melanize or it does entrust bandbox or both if the psaltery entrust bandbox. sent8: if the psaltery entrusts bandbox then the bouffant radios Pitman or does not melanize or both. sent9: the psaltery does entrust bandbox if it does melanize. sent10: the psaltery is aggressive. sent11: either the psaltery does not radio Pitman or it does not entrust bandbox or both if the bouffant does entrust bandbox. sent12: the bouffant does not entrust bandbox and/or it is not a kind of a radiobiologist. sent13: if the psaltery entrusts bandbox then either the bouffant does not radio Pitman or it does not entrusts bandbox or both. sent14: if the bouffant melanizes then the psaltery does not radio Pitman or it does not entrust bandbox or both. sent15: the bouffant is a Bandung. sent16: the bouffant melanizes and/or does not radio Pitman. sent17: if the crupper melanizes it is a edacity. ; $proof$ = 
void -> assump1: Let's assume that the psaltery melanizes.; sent9 & assump1 -> int1: the psaltery does entrust bandbox.; sent13 & int1 -> int2: the bouffant either does not radio Pitman or does not entrust bandbox or both.; [assump1] & int2 -> hypothesis; __DISPROVED__