that the doorway is not a minibike is not false.
sent1: if something is Bayesian and Rabelaisian then it is not a minibike. sent2: if there is something such that it mounds midsummer then the Viola is not unknowable. sent3: if the Viola mounds midsummer then the doorway is Bayesian. sent4: if the Viola does not urticate athenaeum and it does not urticate autogiro then it is Puranic. sent5: if the fact that the myelin does not urticate athenaeum is true the Viola does not urticate athenaeum and it does not urticate autogiro. sent6: the fact that if an unknowable thing is not a covalence then that it does not urticate athenaeum is right is correct. sent7: the myelin urticates athenaeum if the Viola does not mound myelin and/or is unknowable. sent8: the doorway is a kind of a minibike if the myelin is a minibike. sent9: something does not urticate athenaeum if it is unknowable and it is a covalence. sent10: the fact that the Viola is Puranic hold if it does urticate athenaeum and it does not urticate autogiro. sent11: the athenaeum does urticate athenaeum if the myelin urticate athenaeum. sent12: the doorway is Rabelaisian. sent13: something does mound myelin. sent14: if something does mound myelin that the myelin is both unknowable and not a covalence is right. sent15: if the Viola is Puranic then it mounds midsummer. sent16: if the myelin is unknowable and is a covalence it does not urticate athenaeum.
sent13 & sent14 -> int1: the myelin is not knowable but it is not a covalence.; sent6 -> int2: the myelin does not urticate athenaeum if it is both unknowable and not a covalence.; int1 & int2 -> int3: the myelin does not urticate athenaeum.; int3 & sent5 -> int4: the Viola does not urticate athenaeum and it does not urticate autogiro.; int4 & sent4 -> int5: the Viola is Puranic.; int5 & sent15 -> int6: the Viola mounds midsummer.; int6 & sent3 -> int7: the doorway is Bayesian.; int7 & sent12 -> int8: the doorway is Bayesian and is Rabelaisian.; sent1 -> int9: the doorway is not a kind of a minibike if it is Bayesian and is Rabelaisian.; int8 & int9 -> hypothesis;
the doorway is a minibike.
$hypothesis$ = that the doorway is not a minibike is not false. ; $context$ = sent1: if something is Bayesian and Rabelaisian then it is not a minibike. sent2: if there is something such that it mounds midsummer then the Viola is not unknowable. sent3: if the Viola mounds midsummer then the doorway is Bayesian. sent4: if the Viola does not urticate athenaeum and it does not urticate autogiro then it is Puranic. sent5: if the fact that the myelin does not urticate athenaeum is true the Viola does not urticate athenaeum and it does not urticate autogiro. sent6: the fact that if an unknowable thing is not a covalence then that it does not urticate athenaeum is right is correct. sent7: the myelin urticates athenaeum if the Viola does not mound myelin and/or is unknowable. sent8: the doorway is a kind of a minibike if the myelin is a minibike. sent9: something does not urticate athenaeum if it is unknowable and it is a covalence. sent10: the fact that the Viola is Puranic hold if it does urticate athenaeum and it does not urticate autogiro. sent11: the athenaeum does urticate athenaeum if the myelin urticate athenaeum. sent12: the doorway is Rabelaisian. sent13: something does mound myelin. sent14: if something does mound myelin that the myelin is both unknowable and not a covalence is right. sent15: if the Viola is Puranic then it mounds midsummer. sent16: if the myelin is unknowable and is a covalence it does not urticate athenaeum. ; $proof$ = 
sent13 & sent14 -> int1: the myelin is not knowable but it is not a covalence.; sent6 -> int2: the myelin does not urticate athenaeum if it is both unknowable and not a covalence.; int1 & int2 -> int3: the myelin does not urticate athenaeum.; int3 & sent5 -> int4: the Viola does not urticate athenaeum and it does not urticate autogiro.; int4 & sent4 -> int5: the Viola is Puranic.; int5 & sent15 -> int6: the Viola mounds midsummer.; int6 & sent3 -> int7: the doorway is Bayesian.; int7 & sent12 -> int8: the doorway is Bayesian and is Rabelaisian.; sent1 -> int9: the doorway is not a kind of a minibike if it is Bayesian and is Rabelaisian.; int8 & int9 -> hypothesis; __PROVED__