if the vagileness does not occur then the fact that the demagogicness occurs and the indeterminableness happens is wrong.
sent1: if the conscripting phasianid does not occur then both the demagogicness and the indeterminableness happens. sent2: the vagileness happens if the conscripting phasianid happens. sent3: if the fact that the conscripting phasianid does not occur but the vagileness happens is not correct then the repulsion happens. sent4: the calvary does not occur. sent5: if the vagileness happens then the fact that both the demagogicness and the indeterminableness happens is wrong. sent6: the demagogicness and the indeterminableness occurs if the vagileness does not occur. sent7: the spelldown happens. sent8: if the conscripting phasianid does not occur that both the demagogicness and the indeterminableness occurs is not correct.
void -> assump2: Let's assume that the conscripting phasianid happens.; sent2 & assump2 -> int1: the vagileness occurs.; void -> assump1: Let's assume that the vagileness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the conscripting phasianid does not occur.; int3 & sent8 -> int4: the fact that the fact that both the demagogicness and the indeterminableness occurs is not incorrect is incorrect.; [assump1] & int4 -> hypothesis;
the repulsion happens.
$hypothesis$ = if the vagileness does not occur then the fact that the demagogicness occurs and the indeterminableness happens is wrong. ; $context$ = sent1: if the conscripting phasianid does not occur then both the demagogicness and the indeterminableness happens. sent2: the vagileness happens if the conscripting phasianid happens. sent3: if the fact that the conscripting phasianid does not occur but the vagileness happens is not correct then the repulsion happens. sent4: the calvary does not occur. sent5: if the vagileness happens then the fact that both the demagogicness and the indeterminableness happens is wrong. sent6: the demagogicness and the indeterminableness occurs if the vagileness does not occur. sent7: the spelldown happens. sent8: if the conscripting phasianid does not occur that both the demagogicness and the indeterminableness occurs is not correct. ; $proof$ = 
void -> assump2: Let's assume that the conscripting phasianid happens.; sent2 & assump2 -> int1: the vagileness occurs.; void -> assump1: Let's assume that the vagileness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the conscripting phasianid does not occur.; int3 & sent8 -> int4: the fact that the fact that both the demagogicness and the indeterminableness occurs is not incorrect is incorrect.; [assump1] & int4 -> hypothesis; __PROVED__