the chyliferousness does not occur.
sent1: the fact that the restarting Harmsworth does not occur and/or the subscriptness does not occur is false if that the injection happens hold. sent2: if the fact that the restarting Harmsworth does not occur and/or the subscript does not occur is not true the chyliferousness occurs. sent3: the honoring and the hardening attire occurs. sent4: the injection occurs if the honoring happens. sent5: the hardening attire happens.
sent3 -> int1: the honoring happens.; int1 & sent4 -> int2: the injection occurs.; int2 & sent1 -> int3: the fact that the restarting Harmsworth does not occur or the subscript does not occur or both does not hold.; int3 & sent2 -> hypothesis;
$hypothesis$ = the chyliferousness does not occur. ; $context$ = sent1: the fact that the restarting Harmsworth does not occur and/or the subscriptness does not occur is false if that the injection happens hold. sent2: if the fact that the restarting Harmsworth does not occur and/or the subscript does not occur is not true the chyliferousness occurs. sent3: the honoring and the hardening attire occurs. sent4: the injection occurs if the honoring happens. sent5: the hardening attire happens. ; $proof$ = 
sent3 -> int1: the honoring happens.; int1 & sent4 -> int2: the injection occurs.; int2 & sent1 -> int3: the fact that the restarting Harmsworth does not occur or the subscript does not occur or both does not hold.; int3 & sent2 -> hypothesis; __DISPROVED__