that that both the discipleship and the staggering happens causes that the Keynesian does not occur is not right.
sent1: if both the vice-presidency and the disaster occurs the belemniticness does not occur. sent2: the Gandhianness is prevented by that the discipleship happens and the Keynesianness happens. sent3: if the discipleship occurs and the staggering happens then the Keynesian happens. sent4: the staggering happens. sent5: the Gandhianness occurs. sent6: that the curettage occurs is prevented by that the discipleship does not occur.
void -> assump2: Let's assume that the discipleship happens and the staggering happens.; assump2 -> int1: the discipleship happens.; void -> assump1: Let's assume that the Keynesianness happens.; int1 & assump1 -> int2: both the discipleship and the Keynesianness happens.; int2 & sent2 -> int3: that the Gandhianness does not occur is not wrong.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Keynesianness does not occur.; [assump2] & int5 -> hypothesis;
the curettage does not occur.
$hypothesis$ = that that both the discipleship and the staggering happens causes that the Keynesian does not occur is not right. ; $context$ = sent1: if both the vice-presidency and the disaster occurs the belemniticness does not occur. sent2: the Gandhianness is prevented by that the discipleship happens and the Keynesianness happens. sent3: if the discipleship occurs and the staggering happens then the Keynesian happens. sent4: the staggering happens. sent5: the Gandhianness occurs. sent6: that the curettage occurs is prevented by that the discipleship does not occur. ; $proof$ = 
void -> assump2: Let's assume that the discipleship happens and the staggering happens.; assump2 -> int1: the discipleship happens.; void -> assump1: Let's assume that the Keynesianness happens.; int1 & assump1 -> int2: both the discipleship and the Keynesianness happens.; int2 & sent2 -> int3: that the Gandhianness does not occur is not wrong.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Keynesianness does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__