the fact that if the informing does not occur then both the gainer and the invention occurs is not correct.
sent1: that both the rewarding applesauce and the regeneratingness happens is correct if the bleat does not occur. sent2: the shamanistness does not occur and the shrouding does not occur if the rewarding gregarine occurs. sent3: the invention does not occur if the shamanistness does not occur and the shrouding does not occur. sent4: the fact that the Napoleon does not occur but the associate happens is false if the informing does not occur. sent5: if the fact that the Napoleon does not occur and the associating occurs is not correct the gainer occurs. sent6: that the associate does not occur causes that the gainer happens. sent7: the rewarding gregarine and the skirling occurs if the provocativeness does not occur. sent8: if the informing happens then the circle does not occur. sent9: the fact that the rewarding gregarine does not occur hold. sent10: that the rewarding gregarine does not occur causes that the non-shamanistness and the shrouding happens. sent11: if the cacophony does not occur then the scurfiness does not occur and the twist occurs. sent12: if the non-shamanistness and the shroud happens then the invention happens.
void -> assump1: Let's assume that the informing does not occur.; sent4 & assump1 -> int1: that the Napoleon does not occur but the associate occurs does not hold.; int1 & sent5 -> int2: the gainer occurs.; sent10 & sent9 -> int3: both the non-shamanistness and the shrouding occurs.; sent12 & int3 -> int4: the invention occurs.; int2 & int4 -> int5: the gainer and the invention occurs.; [assump1] & int5 -> hypothesis;
the circle does not occur.
$hypothesis$ = the fact that if the informing does not occur then both the gainer and the invention occurs is not correct. ; $context$ = sent1: that both the rewarding applesauce and the regeneratingness happens is correct if the bleat does not occur. sent2: the shamanistness does not occur and the shrouding does not occur if the rewarding gregarine occurs. sent3: the invention does not occur if the shamanistness does not occur and the shrouding does not occur. sent4: the fact that the Napoleon does not occur but the associate happens is false if the informing does not occur. sent5: if the fact that the Napoleon does not occur and the associating occurs is not correct the gainer occurs. sent6: that the associate does not occur causes that the gainer happens. sent7: the rewarding gregarine and the skirling occurs if the provocativeness does not occur. sent8: if the informing happens then the circle does not occur. sent9: the fact that the rewarding gregarine does not occur hold. sent10: that the rewarding gregarine does not occur causes that the non-shamanistness and the shrouding happens. sent11: if the cacophony does not occur then the scurfiness does not occur and the twist occurs. sent12: if the non-shamanistness and the shroud happens then the invention happens. ; $proof$ = 
void -> assump1: Let's assume that the informing does not occur.; sent4 & assump1 -> int1: that the Napoleon does not occur but the associate occurs does not hold.; int1 & sent5 -> int2: the gainer occurs.; sent10 & sent9 -> int3: both the non-shamanistness and the shrouding occurs.; sent12 & int3 -> int4: the invention occurs.; int2 & int4 -> int5: the gainer and the invention occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__