the Frisian does not occur.
sent1: the clear occurs if the fact that the theorizing and the non-clear happens is wrong. sent2: the transformation occurs if the flicker does not occur. sent3: the transformation does not occur. sent4: if the fact that the flickering happens and the clearness happens is not wrong the Frisianness does not occur. sent5: if the refraining jeremiad does not occur then the fact that the theorizing occurs and the clearness does not occur is not true.
void -> assump1: Let's assume that the flickering does not occur.; sent2 & assump1 -> int1: the transformation occurs.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the flicker happens.;
$hypothesis$ = the Frisian does not occur. ; $context$ = sent1: the clear occurs if the fact that the theorizing and the non-clear happens is wrong. sent2: the transformation occurs if the flicker does not occur. sent3: the transformation does not occur. sent4: if the fact that the flickering happens and the clearness happens is not wrong the Frisianness does not occur. sent5: if the refraining jeremiad does not occur then the fact that the theorizing occurs and the clearness does not occur is not true. ; $proof$ = 
void -> assump1: Let's assume that the flickering does not occur.; sent2 & assump1 -> int1: the transformation occurs.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the flicker happens.; __UNKNOWN__