that something does not wean mulligan does not hold.
sent1: if the stub is legible that the dickeybird is not allomorphic hold. sent2: there exists something such that the fact that it is a grant and/or does not fascinate is incorrect. sent3: the Modicon is not legible if there exists something such that the fact that it is inexplicable or it weans mulligan or both does not hold. sent4: the Modicon spectates lepton but it is not a Whitehorse if there exists something such that it is not allomorphic. sent5: there are non-legible things. sent6: if either the dickeybird is legible or it weans mulligan or both then the stub is not allomorphic. sent7: if something does spectate lepton but it is not a Whitehorse then it is inexplicable. sent8: if there is something such that that it is a kind of a grant or does not fascinate or both is incorrect the Modicon is not inexplicable.
void -> assump1: Let's assume that the dickeybird does wean mulligan.; assump1 -> int1: the dickeybird is legible and/or it does wean mulligan.; int1 & sent6 -> int2: the fact that the stub is not allomorphic is not false.; int2 -> int3: there exists something such that it is not allomorphic.; int3 & sent4 -> int4: the Modicon does spectate lepton but it is not a kind of a Whitehorse.; sent7 -> int5: the Modicon is inexplicable if that it spectates lepton and it is not a Whitehorse is not wrong.; int4 & int5 -> int6: the Modicon is inexplicable.; sent2 & sent8 -> int7: the Modicon is not inexplicable.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the dickeybird does not wean mulligan.; int9 -> hypothesis;
$hypothesis$ = that something does not wean mulligan does not hold. ; $context$ = sent1: if the stub is legible that the dickeybird is not allomorphic hold. sent2: there exists something such that the fact that it is a grant and/or does not fascinate is incorrect. sent3: the Modicon is not legible if there exists something such that the fact that it is inexplicable or it weans mulligan or both does not hold. sent4: the Modicon spectates lepton but it is not a Whitehorse if there exists something such that it is not allomorphic. sent5: there are non-legible things. sent6: if either the dickeybird is legible or it weans mulligan or both then the stub is not allomorphic. sent7: if something does spectate lepton but it is not a Whitehorse then it is inexplicable. sent8: if there is something such that that it is a kind of a grant or does not fascinate or both is incorrect the Modicon is not inexplicable. ; $proof$ = 
void -> assump1: Let's assume that the dickeybird does wean mulligan.; assump1 -> int1: the dickeybird is legible and/or it does wean mulligan.; int1 & sent6 -> int2: the fact that the stub is not allomorphic is not false.; int2 -> int3: there exists something such that it is not allomorphic.; int3 & sent4 -> int4: the Modicon does spectate lepton but it is not a kind of a Whitehorse.; sent7 -> int5: the Modicon is inexplicable if that it spectates lepton and it is not a Whitehorse is not wrong.; int4 & int5 -> int6: the Modicon is inexplicable.; sent2 & sent8 -> int7: the Modicon is not inexplicable.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the dickeybird does not wean mulligan.; int9 -> hypothesis; __DISPROVED__