not the assuming facility but the testifying isometry occurs.
sent1: the spending messmate occurs. sent2: the fact that the assuming facility does not occur is not wrong. sent3: if the vesicalness happens and the normotensiveness occurs then that the lindy does not occur is not incorrect. sent4: the spending messmate happens and the vesicalness happens. sent5: if the congratulating implantation does not occur the lindy occurs and the Kenyanness occurs. sent6: the Kenyan happens. sent7: the assuming facility does not occur if the normotensiveness does not occur. sent8: the congratulating implantation does not occur.
sent4 -> int1: the vesicalness happens.; void -> assump1: Let's assume that the normotensiveness occurs.; int1 & assump1 -> int2: the vesicalness and the normotensiveness occurs.; int2 & sent3 -> int3: the lindy does not occur.; sent5 & sent8 -> int4: the lindy happens and the Kenyanness occurs.; int4 -> int5: the lindy happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the normotensiveness does not occur.;
$hypothesis$ = not the assuming facility but the testifying isometry occurs. ; $context$ = sent1: the spending messmate occurs. sent2: the fact that the assuming facility does not occur is not wrong. sent3: if the vesicalness happens and the normotensiveness occurs then that the lindy does not occur is not incorrect. sent4: the spending messmate happens and the vesicalness happens. sent5: if the congratulating implantation does not occur the lindy occurs and the Kenyanness occurs. sent6: the Kenyan happens. sent7: the assuming facility does not occur if the normotensiveness does not occur. sent8: the congratulating implantation does not occur. ; $proof$ = 
sent4 -> int1: the vesicalness happens.; void -> assump1: Let's assume that the normotensiveness occurs.; int1 & assump1 -> int2: the vesicalness and the normotensiveness occurs.; int2 & sent3 -> int3: the lindy does not occur.; sent5 & sent8 -> int4: the lindy happens and the Kenyanness occurs.; int4 -> int5: the lindy happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the normotensiveness does not occur.; __UNKNOWN__