the weeper bedews toothpick.
sent1: if that the unicycle does not encrust an and is not a kind of an ordinary is not right the weeper bedews toothpick. sent2: the wastebasket is not a postdiluvian. sent3: that the wastebasket does not reissue phosphate and does not encrust weeper is wrong if the orphrey is a kind of a POB. sent4: if the wastebasket is not a postdiluvian then it does not reissue phosphate and does not encrust weeper. sent5: if the orphrey is not a POB the fact that the unicycle does not encrust an and is not an ordinary is false.
void -> assump1: Let's assume that the orphrey is a kind of a POB.; sent3 & assump1 -> int1: that the wastebasket does not reissue phosphate and does not encrust weeper is not right.; sent4 & sent2 -> int2: the wastebasket does not reissue phosphate and it does not encrust weeper.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the orphrey is not a POB.; int4 & sent5 -> int5: the fact that the unicycle does not encrust an and it is not an ordinary is incorrect.; int5 & sent1 -> hypothesis;
$hypothesis$ = the weeper bedews toothpick. ; $context$ = sent1: if that the unicycle does not encrust an and is not a kind of an ordinary is not right the weeper bedews toothpick. sent2: the wastebasket is not a postdiluvian. sent3: that the wastebasket does not reissue phosphate and does not encrust weeper is wrong if the orphrey is a kind of a POB. sent4: if the wastebasket is not a postdiluvian then it does not reissue phosphate and does not encrust weeper. sent5: if the orphrey is not a POB the fact that the unicycle does not encrust an and is not an ordinary is false. ; $proof$ = 
void -> assump1: Let's assume that the orphrey is a kind of a POB.; sent3 & assump1 -> int1: that the wastebasket does not reissue phosphate and does not encrust weeper is not right.; sent4 & sent2 -> int2: the wastebasket does not reissue phosphate and it does not encrust weeper.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the orphrey is not a POB.; int4 & sent5 -> int5: the fact that the unicycle does not encrust an and it is not an ordinary is incorrect.; int5 & sent1 -> hypothesis; __PROVED__