that the disproof does not occur if the occulting weaving happens is false.
sent1: if that the safety does not occur and the occulting regeneration does not occur is wrong then the disproof does not occur. sent2: the bowed occurs. sent3: that the safety does not occur and the occulting regeneration does not occur is false if the occulting weaving happens.
void -> assump1: Let's assume that the occulting weaving occurs.; sent3 & assump1 -> int1: that the safety does not occur and the occulting regeneration does not occur is not right.; sent1 & int1 -> int2: the disproof does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the disproof does not occur if the occulting weaving happens is false. ; $context$ = sent1: if that the safety does not occur and the occulting regeneration does not occur is wrong then the disproof does not occur. sent2: the bowed occurs. sent3: that the safety does not occur and the occulting regeneration does not occur is false if the occulting weaving happens. ; $proof$ = 
void -> assump1: Let's assume that the occulting weaving occurs.; sent3 & assump1 -> int1: that the safety does not occur and the occulting regeneration does not occur is not right.; sent1 & int1 -> int2: the disproof does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__