the fact that if the hook does not occur the lapidating happens and the crucifixion occurs is wrong.
sent1: the crucifixion occurs if the ambulacralness happens. sent2: the hook causes that the lapidating happens and the crucifixion happens. sent3: if the hooking happens then not the sincereness but the quantification occurs. sent4: the ineffectiveness occurs. sent5: the fact that both the ambulacralness and the non-textualness happens is not right if the crucifixion does not occur. sent6: the quantification occurs. sent7: the ambulacralness happens and the textualness occurs. sent8: if the hook does not occur not the sincereness but the quantification happens. sent9: if the hooking does not occur then the quantification occurs. sent10: that the lapidating does not occur is prevented by that the insincereness and the quantification happens. sent11: the textualness happens. sent12: if the fact that both the crucifixion and the non-livableness occurs is false the crucifixion does not occur. sent13: both the ambulacralness and the crucifixion happens if the textualness does not occur.
void -> assump1: Let's assume that the hooking does not occur.; sent8 & assump1 -> int1: both the insincereness and the quantification happens.; int1 & sent10 -> int2: the lapidating occurs.; sent7 -> int3: the ambulacralness occurs.; sent1 & int3 -> int4: the crucifixion occurs.; int2 & int4 -> int5: both the lapidating and the crucifixion happens.; [assump1] & int5 -> hypothesis;
the peel happens.
$hypothesis$ = the fact that if the hook does not occur the lapidating happens and the crucifixion occurs is wrong. ; $context$ = sent1: the crucifixion occurs if the ambulacralness happens. sent2: the hook causes that the lapidating happens and the crucifixion happens. sent3: if the hooking happens then not the sincereness but the quantification occurs. sent4: the ineffectiveness occurs. sent5: the fact that both the ambulacralness and the non-textualness happens is not right if the crucifixion does not occur. sent6: the quantification occurs. sent7: the ambulacralness happens and the textualness occurs. sent8: if the hook does not occur not the sincereness but the quantification happens. sent9: if the hooking does not occur then the quantification occurs. sent10: that the lapidating does not occur is prevented by that the insincereness and the quantification happens. sent11: the textualness happens. sent12: if the fact that both the crucifixion and the non-livableness occurs is false the crucifixion does not occur. sent13: both the ambulacralness and the crucifixion happens if the textualness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hooking does not occur.; sent8 & assump1 -> int1: both the insincereness and the quantification happens.; int1 & sent10 -> int2: the lapidating occurs.; sent7 -> int3: the ambulacralness occurs.; sent1 & int3 -> int4: the crucifixion occurs.; int2 & int4 -> int5: both the lapidating and the crucifixion happens.; [assump1] & int5 -> hypothesis; __DISPROVED__