if the configurationalness happens then the crystallization happens and the gonioscopy does not occur.
sent1: that the righting cognition happens is not incorrect. sent2: the snuffing spore happens. sent3: that the crystallization happens and the gonioscopy does not occur is brought about by the non-poeticness. sent4: the inarticulateness does not occur if the snuffing spore and the righting cognition occurs. sent5: the non-poeticness is triggered by that the configurationalness happens but the inarticulateness does not occur.
void -> assump1: Let's assume that the configurationalness occurs.; sent2 & sent1 -> int1: both the snuffing spore and the righting cognition happens.; sent4 & int1 -> int2: the inarticulateness does not occur.; assump1 & int2 -> int3: the configurationalness occurs and the inarticulateness does not occur.; sent5 & int3 -> int4: the poeticness does not occur.; sent3 & int4 -> int5: the crystallization happens and the gonioscopy does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the configurationalness happens then the crystallization happens and the gonioscopy does not occur. ; $context$ = sent1: that the righting cognition happens is not incorrect. sent2: the snuffing spore happens. sent3: that the crystallization happens and the gonioscopy does not occur is brought about by the non-poeticness. sent4: the inarticulateness does not occur if the snuffing spore and the righting cognition occurs. sent5: the non-poeticness is triggered by that the configurationalness happens but the inarticulateness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the configurationalness occurs.; sent2 & sent1 -> int1: both the snuffing spore and the righting cognition happens.; sent4 & int1 -> int2: the inarticulateness does not occur.; assump1 & int2 -> int3: the configurationalness occurs and the inarticulateness does not occur.; sent5 & int3 -> int4: the poeticness does not occur.; sent3 & int4 -> int5: the crystallization happens and the gonioscopy does not occur.; [assump1] & int5 -> hypothesis; __PROVED__