that the Chianti is a NSF and/or it does collect does not hold.
sent1: the Cockney does mortify if the Chianti does knot tipper. sent2: the sailfish is a levirate if the Cockney does mortify. sent3: if something is a match then it is a NSF. sent4: something is not a levirate if it is not a basidiospore and it does not hew. sent5: the sailfish is not a basidiospore and it does not hew. sent6: if the sailfish knots tipper the Chianti is a basidiospore. sent7: if something is not a basidiospore and hews then it is not a kind of a levirate. sent8: if the sailfish mortifies and is a kind of a levirate then the Cockney does not match. sent9: that the Chianti is a kind of a neighborliness is not wrong if it is not a match. sent10: the Chianti does knot tipper and is a neighborliness if it is not a match. sent11: the sailfish does not hew.
void -> assump1: Let's assume that the Chianti is not a kind of a match.; sent10 & assump1 -> int1: the Chianti does knot tipper and is a neighborliness.; int1 -> int2: the Chianti does knot tipper.; int2 & sent1 -> int3: the Cockney mortifies.; int3 & sent2 -> int4: the sailfish is a levirate.; sent4 -> int5: if the sailfish is not a basidiospore and it does not hew it is not a levirate.; int5 & sent5 -> int6: that the sailfish is not a levirate hold.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Chianti is a kind of a match.; sent3 -> int9: the Chianti is a NSF if it does match.; int8 & int9 -> int10: the Chianti is a kind of a NSF.; int10 -> hypothesis;
the fact that the Chianti either is a NSF or does collect or both does not hold.
$hypothesis$ = that the Chianti is a NSF and/or it does collect does not hold. ; $context$ = sent1: the Cockney does mortify if the Chianti does knot tipper. sent2: the sailfish is a levirate if the Cockney does mortify. sent3: if something is a match then it is a NSF. sent4: something is not a levirate if it is not a basidiospore and it does not hew. sent5: the sailfish is not a basidiospore and it does not hew. sent6: if the sailfish knots tipper the Chianti is a basidiospore. sent7: if something is not a basidiospore and hews then it is not a kind of a levirate. sent8: if the sailfish mortifies and is a kind of a levirate then the Cockney does not match. sent9: that the Chianti is a kind of a neighborliness is not wrong if it is not a match. sent10: the Chianti does knot tipper and is a neighborliness if it is not a match. sent11: the sailfish does not hew. ; $proof$ = 
void -> assump1: Let's assume that the Chianti is not a kind of a match.; sent10 & assump1 -> int1: the Chianti does knot tipper and is a neighborliness.; int1 -> int2: the Chianti does knot tipper.; int2 & sent1 -> int3: the Cockney mortifies.; int3 & sent2 -> int4: the sailfish is a levirate.; sent4 -> int5: if the sailfish is not a basidiospore and it does not hew it is not a levirate.; int5 & sent5 -> int6: that the sailfish is not a levirate hold.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Chianti is a kind of a match.; sent3 -> int9: the Chianti is a NSF if it does match.; int8 & int9 -> int10: the Chianti is a kind of a NSF.; int10 -> hypothesis; __DISPROVED__