that the leftovers is not quantal is not wrong.
sent1: that the leftovers is not a Bligh and/or does regulate does not hold if the humorist does not regulate. sent2: something is non-quantal if that either it is not a kind of a Bligh or it does regulate or both does not hold. sent3: the humorist does reconsider if it is not weightless and is a technical. sent4: if that the humorist is aeriferous thing that does reconsider hold it does not regulate. sent5: the humorist is a kind of a Dalmatian. sent6: the humorist is aeriferous. sent7: if the humorist is a Dalmatian it is weighty and is a technical.
sent7 & sent5 -> int1: the humorist is non-weightless thing that is a technical.; int1 & sent3 -> int2: the fact that the humorist reconsiders is true.; int2 & sent6 -> int3: the humorist is aeriferous and does reconsider.; int3 & sent4 -> int4: the humorist does not regulate.; int4 & sent1 -> int5: the fact that the leftovers is not a Bligh and/or regulates is wrong.; sent2 -> int6: if that the leftovers is not a Bligh and/or it does regulate is not true it is not quantal.; int5 & int6 -> hypothesis;
$hypothesis$ = that the leftovers is not quantal is not wrong. ; $context$ = sent1: that the leftovers is not a Bligh and/or does regulate does not hold if the humorist does not regulate. sent2: something is non-quantal if that either it is not a kind of a Bligh or it does regulate or both does not hold. sent3: the humorist does reconsider if it is not weightless and is a technical. sent4: if that the humorist is aeriferous thing that does reconsider hold it does not regulate. sent5: the humorist is a kind of a Dalmatian. sent6: the humorist is aeriferous. sent7: if the humorist is a Dalmatian it is weighty and is a technical. ; $proof$ = 
sent7 & sent5 -> int1: the humorist is non-weightless thing that is a technical.; int1 & sent3 -> int2: the fact that the humorist reconsiders is true.; int2 & sent6 -> int3: the humorist is aeriferous and does reconsider.; int3 & sent4 -> int4: the humorist does not regulate.; int4 & sent1 -> int5: the fact that the leftovers is not a Bligh and/or regulates is wrong.; sent2 -> int6: if that the leftovers is not a Bligh and/or it does regulate is not true it is not quantal.; int5 & int6 -> hypothesis; __PROVED__