that the sieve is not a minster is not wrong.
sent1: if the kimberlite is not staccato the grandma is staccato. sent2: if something that is not a nonconformist does not mellow versicle then that it is a minster is not wrong. sent3: if the kimberlite is butyric then it is not a nonconformist and it is not staccato. sent4: if the sieve does mellow versicle the grandma is a minster. sent5: if the sieve is a kind of a minster the grandma does mellow versicle. sent6: that the grandma is butyric is not wrong if the kimberlite is not butyric. sent7: the fixer-upper mellows versicle. sent8: if something does mellow versicle it is not Anglican. sent9: if that the death is a dovecote and does not spang incurability is not right then the fact that the kimberlite is butyric is correct. sent10: the fact that the kimberlite is not butyric is not incorrect. sent11: if something is a kind of a nonconformist then it is staccato. sent12: if something is a kind of a dovecote it is not a nonconformist and it is staccato. sent13: the sieve is not staccato if it is a minster.
void -> assump1: Let's assume that the sieve is a minster.; sent5 & assump1 -> int1: that the grandma mellows versicle is correct.; sent8 -> int2: the grandma is a nonconformist if it mellows versicle.; int1 & int2 -> int3: the grandma is nonconformist.; sent11 -> int4: if the fact that the grandma is a nonconformist is true then it is staccato.; int3 & int4 -> int5: the grandma is staccato.; sent6 & sent10 -> int6: the grandma is butyric.;
the sieve is a minster.
sent2 -> int7: the sieve is a minster if it is not a kind of a nonconformist and it does not mellow versicle.; sent12 -> int8: if the grandma is a dovecote it is both not nonconformist and staccato.;
$hypothesis$ = that the sieve is not a minster is not wrong. ; $context$ = sent1: if the kimberlite is not staccato the grandma is staccato. sent2: if something that is not a nonconformist does not mellow versicle then that it is a minster is not wrong. sent3: if the kimberlite is butyric then it is not a nonconformist and it is not staccato. sent4: if the sieve does mellow versicle the grandma is a minster. sent5: if the sieve is a kind of a minster the grandma does mellow versicle. sent6: that the grandma is butyric is not wrong if the kimberlite is not butyric. sent7: the fixer-upper mellows versicle. sent8: if something does mellow versicle it is not Anglican. sent9: if that the death is a dovecote and does not spang incurability is not right then the fact that the kimberlite is butyric is correct. sent10: the fact that the kimberlite is not butyric is not incorrect. sent11: if something is a kind of a nonconformist then it is staccato. sent12: if something is a kind of a dovecote it is not a nonconformist and it is staccato. sent13: the sieve is not staccato if it is a minster. ; $proof$ = 
void -> assump1: Let's assume that the sieve is a minster.; sent5 & assump1 -> int1: that the grandma mellows versicle is correct.; sent8 -> int2: the grandma is a nonconformist if it mellows versicle.; int1 & int2 -> int3: the grandma is nonconformist.; sent11 -> int4: if the fact that the grandma is a nonconformist is true then it is staccato.; int3 & int4 -> int5: the grandma is staccato.; sent6 & sent10 -> int6: the grandma is butyric.; __UNKNOWN__