if the summeriness occurs the entailing stonework does not occur.
sent1: the entailing stonework occurs. sent2: that the flicker does not occur and the entailing stonework does not occur is caused by the benzenoidness. sent3: that the flicker occurs results in that the entailing stonework does not occur. sent4: that the flicker does not occur and the entailing stonework does not occur prevents that the racialness happens. sent5: that the racialness does not occur is prevented by the summeriness. sent6: the FIFO prevents that the viceroyship occurs. sent7: the racialness and/or that the flickering happens prevents the entailing stonework.
void -> assump1: Let's assume that the summeriness occurs.; sent5 & assump1 -> int1: the racialness occurs.; int1 -> int2: the racialness and/or the flickering occurs.; sent7 & int2 -> int3: the entailing stonework does not occur.; [assump1] & int3 -> hypothesis;
the fact that the imposition happens hold.
$hypothesis$ = if the summeriness occurs the entailing stonework does not occur. ; $context$ = sent1: the entailing stonework occurs. sent2: that the flicker does not occur and the entailing stonework does not occur is caused by the benzenoidness. sent3: that the flicker occurs results in that the entailing stonework does not occur. sent4: that the flicker does not occur and the entailing stonework does not occur prevents that the racialness happens. sent5: that the racialness does not occur is prevented by the summeriness. sent6: the FIFO prevents that the viceroyship occurs. sent7: the racialness and/or that the flickering happens prevents the entailing stonework. ; $proof$ = 
void -> assump1: Let's assume that the summeriness occurs.; sent5 & assump1 -> int1: the racialness occurs.; int1 -> int2: the racialness and/or the flickering occurs.; sent7 & int2 -> int3: the entailing stonework does not occur.; [assump1] & int3 -> hypothesis; __PROVED__