the sunrise does not occur and the shaft does not occur.
sent1: that the cartooning does not occur or the wringing does not occur or both is caused by the unapproachableness. sent2: the pyrogallicness does not occur if not the notification but the approachableness occurs. sent3: the notification does not occur. sent4: that the sunrise does not occur and the shafting does not occur is not right if the IVP does not occur. sent5: the IVP does not occur if the wringing does not occur. sent6: that not the IVP but the cartooning occurs does not hold if the wringing does not occur. sent7: if the approachableness happens then the notification occurs. sent8: if the cartooning does not occur then the IVP does not occur.
void -> assump1: Let's assume that the approachableness happens.; sent7 & assump1 -> int1: that the notification happens is not wrong.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the approachableness does not occur.; int3 & sent1 -> int4: the cartooning does not occur and/or the wringing does not occur.; int4 & sent8 & sent5 -> int5: the IVP does not occur.; int5 & sent4 -> hypothesis;
the pyrogallicness does not occur.
$hypothesis$ = the sunrise does not occur and the shaft does not occur. ; $context$ = sent1: that the cartooning does not occur or the wringing does not occur or both is caused by the unapproachableness. sent2: the pyrogallicness does not occur if not the notification but the approachableness occurs. sent3: the notification does not occur. sent4: that the sunrise does not occur and the shafting does not occur is not right if the IVP does not occur. sent5: the IVP does not occur if the wringing does not occur. sent6: that not the IVP but the cartooning occurs does not hold if the wringing does not occur. sent7: if the approachableness happens then the notification occurs. sent8: if the cartooning does not occur then the IVP does not occur. ; $proof$ = 
void -> assump1: Let's assume that the approachableness happens.; sent7 & assump1 -> int1: that the notification happens is not wrong.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the approachableness does not occur.; int3 & sent1 -> int4: the cartooning does not occur and/or the wringing does not occur.; int4 & sent8 & sent5 -> int5: the IVP does not occur.; int5 & sent4 -> hypothesis; __DISPROVED__