the poultryman is not a kind of a pioneer.
sent1: if there is something such that it is a Magritte the bus is a M. sent2: the poultryman is a M if the fact that the backboard ravens harmonics hold. sent3: there exists something such that that it is not a kind of a Hirudo and is not a Magritte does not hold. sent4: if there is something such that the fact that it is a kind of a thurifer and it does not raven harmonics is not right the poultryman is a pioneer. sent5: if there is something such that it ravens harmonics the poultryman is a pioneer. sent6: there is something such that the fact that it is a thurifer that ravens harmonics is not correct. sent7: if there is something such that the fact that it is not a Hirudo and not a Magritte does not hold then the bus is a M. sent8: that the by-product is a kind of a thurifer and does raven harmonics is not true if the backboard is non-vaginal. sent9: the bus is not a M if the backboard is vaginal. sent10: that the by-product is a thurifer that does not raven harmonics is not correct if the backboard is not vaginal. sent11: something is not a pioneer and not vaginal if it is a kind of a M.
void -> assump1: Let's assume that the backboard is vaginal.; sent9 & assump1 -> int1: the bus is not a kind of a M.; sent3 & sent7 -> int2: the bus is a M.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the backboard is not vaginal.; int4 & sent10 -> int5: the fact that the by-product is a thurifer but it does not raven harmonics is not true.; int5 -> int6: there is something such that the fact that it is a kind of a thurifer and it does not raven harmonics does not hold.; int6 & sent4 -> hypothesis;
the poultryman is not a pioneer.
sent11 -> int7: the poultryman is not a pioneer and is not vaginal if it is a M.;
$hypothesis$ = the poultryman is not a kind of a pioneer. ; $context$ = sent1: if there is something such that it is a Magritte the bus is a M. sent2: the poultryman is a M if the fact that the backboard ravens harmonics hold. sent3: there exists something such that that it is not a kind of a Hirudo and is not a Magritte does not hold. sent4: if there is something such that the fact that it is a kind of a thurifer and it does not raven harmonics is not right the poultryman is a pioneer. sent5: if there is something such that it ravens harmonics the poultryman is a pioneer. sent6: there is something such that the fact that it is a thurifer that ravens harmonics is not correct. sent7: if there is something such that the fact that it is not a Hirudo and not a Magritte does not hold then the bus is a M. sent8: that the by-product is a kind of a thurifer and does raven harmonics is not true if the backboard is non-vaginal. sent9: the bus is not a M if the backboard is vaginal. sent10: that the by-product is a thurifer that does not raven harmonics is not correct if the backboard is not vaginal. sent11: something is not a pioneer and not vaginal if it is a kind of a M. ; $proof$ = 
void -> assump1: Let's assume that the backboard is vaginal.; sent9 & assump1 -> int1: the bus is not a kind of a M.; sent3 & sent7 -> int2: the bus is a M.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the backboard is not vaginal.; int4 & sent10 -> int5: the fact that the by-product is a thurifer but it does not raven harmonics is not true.; int5 -> int6: there is something such that the fact that it is a kind of a thurifer and it does not raven harmonics does not hold.; int6 & sent4 -> hypothesis; __DISPROVED__