the fetter is a kind of a invariability.
sent1: the acolyte does encapsulate undernourishment if there exists something such that that it does oxidise and does not encapsulate Matthew is incorrect. sent2: the fetter encapsulates Matthew and does not oxidise if something encapsulates undernourishment. sent3: if something encapsulates Matthew and does not oxidise then it is not a invariability. sent4: there is something such that it does encapsulate undernourishment. sent5: the fetter is a kind of a invariability if the fact that the acolyte is a kind of a invariability is correct.
sent4 & sent2 -> int1: the fetter encapsulates Matthew and does not oxidise.; sent3 -> int2: the fetter is not a invariability if it does encapsulate Matthew and it does not oxidise.; int1 & int2 -> hypothesis;
the fetter is a invariability.
$hypothesis$ = the fetter is a kind of a invariability. ; $context$ = sent1: the acolyte does encapsulate undernourishment if there exists something such that that it does oxidise and does not encapsulate Matthew is incorrect. sent2: the fetter encapsulates Matthew and does not oxidise if something encapsulates undernourishment. sent3: if something encapsulates Matthew and does not oxidise then it is not a invariability. sent4: there is something such that it does encapsulate undernourishment. sent5: the fetter is a kind of a invariability if the fact that the acolyte is a kind of a invariability is correct. ; $proof$ = 
sent4 & sent2 -> int1: the fetter encapsulates Matthew and does not oxidise.; sent3 -> int2: the fetter is not a invariability if it does encapsulate Matthew and it does not oxidise.; int1 & int2 -> hypothesis; __DISPROVED__