that the headmastership does not occur and the maintaining aerobe does not occur is brought about by the detribalizing choc.
sent1: the headmastership does not occur and the maintaining aerobe happens. sent2: the bifurcating occurs. sent3: that the maintaining fact does not occur but the detribalizing Karok occurs is caused by that the photochemicalness happens. sent4: if the fact that the maintaining genipa happens hold then the fact that the prosthodonticness does not occur and the filming does not occur does not hold. sent5: if the sighting does not occur the toasting does not occur and the maintaining heroics does not occur. sent6: the fact that the electronicness does not occur and the maintaining uncongeniality does not occur does not hold. sent7: that the sighting does not occur is correct. sent8: that the sights does not occur brings about that the maintaining heroics does not occur. sent9: the fact that the toasting does not occur and the maintaining heroics does not occur is not true if the camouflaging hula happens. sent10: that the suffocation does not occur and the prefecture does not occur is not incorrect. sent11: that not the camouflaging hula but the detribalizing choc occurs prevents that the maintaining backstop does not occur. sent12: that the maintaining backstop occurs yields that the headmastership does not occur and the maintaining aerobe does not occur.
void -> assump1: Let's assume that the fact that the camouflaging hula occurs is not wrong.; sent9 & assump1 -> int1: that the toasting does not occur and the maintaining heroics does not occur is incorrect.; sent5 & sent7 -> int2: the toasting does not occur and the maintaining heroics does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the camouflaging hula does not occur hold.; void -> assump2: Let's assume that the detribalizing choc occurs.; int4 & assump2 -> int5: the camouflaging hula does not occur but the detribalizing choc happens.; int5 & sent11 -> int6: the maintaining backstop happens.; int6 & sent12 -> int7: the headmastership does not occur and the maintaining aerobe does not occur.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that the headmastership does not occur and the maintaining aerobe does not occur is brought about by the detribalizing choc. ; $context$ = sent1: the headmastership does not occur and the maintaining aerobe happens. sent2: the bifurcating occurs. sent3: that the maintaining fact does not occur but the detribalizing Karok occurs is caused by that the photochemicalness happens. sent4: if the fact that the maintaining genipa happens hold then the fact that the prosthodonticness does not occur and the filming does not occur does not hold. sent5: if the sighting does not occur the toasting does not occur and the maintaining heroics does not occur. sent6: the fact that the electronicness does not occur and the maintaining uncongeniality does not occur does not hold. sent7: that the sighting does not occur is correct. sent8: that the sights does not occur brings about that the maintaining heroics does not occur. sent9: the fact that the toasting does not occur and the maintaining heroics does not occur is not true if the camouflaging hula happens. sent10: that the suffocation does not occur and the prefecture does not occur is not incorrect. sent11: that not the camouflaging hula but the detribalizing choc occurs prevents that the maintaining backstop does not occur. sent12: that the maintaining backstop occurs yields that the headmastership does not occur and the maintaining aerobe does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the camouflaging hula occurs is not wrong.; sent9 & assump1 -> int1: that the toasting does not occur and the maintaining heroics does not occur is incorrect.; sent5 & sent7 -> int2: the toasting does not occur and the maintaining heroics does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the camouflaging hula does not occur hold.; void -> assump2: Let's assume that the detribalizing choc occurs.; int4 & assump2 -> int5: the camouflaging hula does not occur but the detribalizing choc happens.; int5 & sent11 -> int6: the maintaining backstop happens.; int6 & sent12 -> int7: the headmastership does not occur and the maintaining aerobe does not occur.; [assump2] & int7 -> hypothesis; __PROVED__