that the impinging waffler does not occur yields either that the radiance happens or the portfolio or both.
sent1: the schizoid occurs. sent2: the fact that the portfolio occurs is not false if the sundering occurs. sent3: if either the classwork occurs or the sundering does not occur or both then the impinging waffler occurs.
void -> assump2: Let's assume that the sundering does not occur.; assump2 -> int1: the classwork happens or the sundering does not occur or both.; int1 & sent3 -> int2: that the impinging waffler happens is right.; void -> assump1: Let's assume that the impinging waffler does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the sundering happens.; int4 & sent2 -> int5: the portfolio occurs.; int5 -> int6: the radiance occurs or the portfolio occurs or both.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the impinging waffler does not occur yields either that the radiance happens or the portfolio or both. ; $context$ = sent1: the schizoid occurs. sent2: the fact that the portfolio occurs is not false if the sundering occurs. sent3: if either the classwork occurs or the sundering does not occur or both then the impinging waffler occurs. ; $proof$ = 
void -> assump2: Let's assume that the sundering does not occur.; assump2 -> int1: the classwork happens or the sundering does not occur or both.; int1 & sent3 -> int2: that the impinging waffler happens is right.; void -> assump1: Let's assume that the impinging waffler does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the sundering happens.; int4 & sent2 -> int5: the portfolio occurs.; int5 -> int6: the radiance occurs or the portfolio occurs or both.; [assump1] & int6 -> hypothesis; __PROVED__