that there exists something such that if it is not a kind of a Malthusian and/or it is a dysprosium that it is aluminous hold is not true.
sent1: the degeneration is monomorphemic if it is not macroeconomic or it is a inconvertibility or both. sent2: there is something such that if either it is a kind of a Malthusian or it is a dysprosium or both then it is aluminous. sent3: something tsks if either it does not brecciate or it is diploid or both. sent4: something is aluminous if it is not a Malthusian and/or it is a dysprosium.
sent4 -> int1: if the degeneration is not a Malthusian and/or it is a dysprosium then it is aluminous.; int1 -> hypothesis;
there exists something such that if it does not brecciate and/or it is a diploid then it tsks.
sent3 -> int2: the fireplace does tsk if it does not brecciate and/or it is a kind of a diploid.; int2 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a kind of a Malthusian and/or it is a dysprosium that it is aluminous hold is not true. ; $context$ = sent1: the degeneration is monomorphemic if it is not macroeconomic or it is a inconvertibility or both. sent2: there is something such that if either it is a kind of a Malthusian or it is a dysprosium or both then it is aluminous. sent3: something tsks if either it does not brecciate or it is diploid or both. sent4: something is aluminous if it is not a Malthusian and/or it is a dysprosium. ; $proof$ = 
sent4 -> int1: if the degeneration is not a Malthusian and/or it is a dysprosium then it is aluminous.; int1 -> hypothesis; __DISPROVED__