the bairn is not metacentric.
sent1: that the conveyancer is taciturn hold. sent2: the fact that that the bypass is taciturn and it incriminates event hold does not hold. sent3: if the bypass incriminates event then the bairn is metacentric. sent4: the fact that the bypass is a permission hold. sent5: the bookseller is a permission. sent6: the fact that the bypass is taciturn and does not incriminate event is not right if the conveyancer does not incriminate event. sent7: if the conveyancer does not incriminate event the fact that the bookseller is a permission but it does not incriminate event is not correct. sent8: the conveyancer does not incriminate event if the bookseller is not a picornavirus. sent9: the bookseller is non-leprous a permission. sent10: the bairn is metacentric if that the bypass is a kind of taciturn thing that does not incriminate event does not hold. sent11: that the bypass is taciturn and incriminates event does not hold if the conveyancer does not incriminates event. sent12: the bookseller is not taciturn. sent13: if something is not a kind of a permission then it is non-taciturn thing that does incriminate event. sent14: the conveyancer is metacentric. sent15: the bypass is leprous. sent16: if something is not taciturn but it incriminates event it is not a picornavirus. sent17: if the fact that the bookseller is a picornavirus is not false then it is leprous.
void -> assump1: Let's assume that the bookseller is a picornavirus.; sent17 & assump1 -> int1: the bookseller is leprous.; sent9 -> int2: the bookseller is not leprous.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bookseller is not a kind of a picornavirus.; int4 & sent8 -> int5: the conveyancer does not incriminate event.; int5 & sent6 -> int6: the fact that the bypass is a kind of taciturn thing that does not incriminate event is wrong.; int6 & sent10 -> hypothesis;
the bairn is not metacentric.
sent16 -> int7: the conveyancer is not a picornavirus if it is non-taciturn thing that incriminates event.; sent13 -> int8: if the bypass is not a permission it is a kind of non-taciturn thing that incriminates event.;
$hypothesis$ = the bairn is not metacentric. ; $context$ = sent1: that the conveyancer is taciturn hold. sent2: the fact that that the bypass is taciturn and it incriminates event hold does not hold. sent3: if the bypass incriminates event then the bairn is metacentric. sent4: the fact that the bypass is a permission hold. sent5: the bookseller is a permission. sent6: the fact that the bypass is taciturn and does not incriminate event is not right if the conveyancer does not incriminate event. sent7: if the conveyancer does not incriminate event the fact that the bookseller is a permission but it does not incriminate event is not correct. sent8: the conveyancer does not incriminate event if the bookseller is not a picornavirus. sent9: the bookseller is non-leprous a permission. sent10: the bairn is metacentric if that the bypass is a kind of taciturn thing that does not incriminate event does not hold. sent11: that the bypass is taciturn and incriminates event does not hold if the conveyancer does not incriminates event. sent12: the bookseller is not taciturn. sent13: if something is not a kind of a permission then it is non-taciturn thing that does incriminate event. sent14: the conveyancer is metacentric. sent15: the bypass is leprous. sent16: if something is not taciturn but it incriminates event it is not a picornavirus. sent17: if the fact that the bookseller is a picornavirus is not false then it is leprous. ; $proof$ = 
void -> assump1: Let's assume that the bookseller is a picornavirus.; sent17 & assump1 -> int1: the bookseller is leprous.; sent9 -> int2: the bookseller is not leprous.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bookseller is not a kind of a picornavirus.; int4 & sent8 -> int5: the conveyancer does not incriminate event.; int5 & sent6 -> int6: the fact that the bypass is a kind of taciturn thing that does not incriminate event is wrong.; int6 & sent10 -> hypothesis; __DISPROVED__