the fact that if the fact that the heeling uptake happens hold then the flip-flop does not occur is not true.
sent1: if the flip-flop happens then the bordering photocell does not occur and the prehensileness does not occur. sent2: the airburst happens and the foraging deuterium happens. sent3: if the agribusiness does not occur then the bombing and the hyperemicness happens. sent4: that the bordering photocell does not occur and the prehensileness does not occur prevents that the foraging burdock does not occur. sent5: the hyperemicness does not occur if both the foraging burdock and the heeling uptake happens. sent6: that the agribusiness does not occur triggers that the bombing occurs. sent7: if the airburst happens the agribusiness does not occur.
void -> assump2: Let's assume that the flip-flop occurs.; sent1 & assump2 -> int1: the bordering photocell does not occur and the prehensileness does not occur.; int1 & sent4 -> int2: the foraging burdock occurs.; void -> assump1: Let's assume that the heeling uptake happens.; int2 & assump1 -> int3: the foraging burdock occurs and the heeling uptake happens.; int3 & sent5 -> int4: the hyperemicness does not occur.; sent2 -> int5: the airburst occurs.; sent7 & int5 -> int6: that the agribusiness does not occur is right.; sent3 & int6 -> int7: the bombing happens and the hyperemicness happens.; int7 -> int8: the hyperemicness occurs.; int4 & int8 -> int9: this is contradiction.; [assump2] & int9 -> int10: the flip-flop does not occur.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the fact that if the fact that the heeling uptake happens hold then the flip-flop does not occur is not true. ; $context$ = sent1: if the flip-flop happens then the bordering photocell does not occur and the prehensileness does not occur. sent2: the airburst happens and the foraging deuterium happens. sent3: if the agribusiness does not occur then the bombing and the hyperemicness happens. sent4: that the bordering photocell does not occur and the prehensileness does not occur prevents that the foraging burdock does not occur. sent5: the hyperemicness does not occur if both the foraging burdock and the heeling uptake happens. sent6: that the agribusiness does not occur triggers that the bombing occurs. sent7: if the airburst happens the agribusiness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the flip-flop occurs.; sent1 & assump2 -> int1: the bordering photocell does not occur and the prehensileness does not occur.; int1 & sent4 -> int2: the foraging burdock occurs.; void -> assump1: Let's assume that the heeling uptake happens.; int2 & assump1 -> int3: the foraging burdock occurs and the heeling uptake happens.; int3 & sent5 -> int4: the hyperemicness does not occur.; sent2 -> int5: the airburst occurs.; sent7 & int5 -> int6: that the agribusiness does not occur is right.; sent3 & int6 -> int7: the bombing happens and the hyperemicness happens.; int7 -> int8: the hyperemicness occurs.; int4 & int8 -> int9: this is contradiction.; [assump2] & int9 -> int10: the flip-flop does not occur.; [assump1] & int10 -> hypothesis; __DISPROVED__