the conjunctivalness does not occur and the screw does not occur if the hermeneuticness occurs.
sent1: if both the flickering and the non-interlinearness occurs the hermeneuticness does not occur. sent2: the eudemonicness does not occur if the fact that the flickering and the non-interlinearness happens is not right.
void -> assump2: Let's assume that the hermeneuticness happens.; void -> assump1: Let's assume that both the flicker and the non-interlinearness happens.; sent1 & assump1 -> int1: the hermeneuticness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the flicker and the non-interlinearness occurs is incorrect.; sent2 & int3 -> int4: the eudemonicness does not occur.;
$hypothesis$ = the conjunctivalness does not occur and the screw does not occur if the hermeneuticness occurs. ; $context$ = sent1: if both the flickering and the non-interlinearness occurs the hermeneuticness does not occur. sent2: the eudemonicness does not occur if the fact that the flickering and the non-interlinearness happens is not right. ; $proof$ = 
void -> assump2: Let's assume that the hermeneuticness happens.; void -> assump1: Let's assume that both the flicker and the non-interlinearness happens.; sent1 & assump1 -> int1: the hermeneuticness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that both the flicker and the non-interlinearness occurs is incorrect.; sent2 & int3 -> int4: the eudemonicness does not occur.; __UNKNOWN__