the channel does not occur.
sent1: that the aphasic does not occur is brought about by that the piecing meninx occurs. sent2: if the collection occurs the aphasicness happens. sent3: the disengagement happens and the aphasic occurs if the channel does not occur. sent4: the disengagement happens. sent5: the typeset does not occur. sent6: if the channeling does not occur the disengagement happens. sent7: if the collection happens then the aphasicness does not occur. sent8: that the typeset does not occur results in that the piecing meninx happens and/or that the collection occurs.
void -> assump1: Let's assume that the channel does not occur.; sent3 & assump1 -> int1: both the disengagement and the aphasic occurs.; int1 -> int2: the aphasic happens.; sent8 & sent5 -> int3: the piecing meninx occurs and/or the collection happens.; int3 & sent1 & sent7 -> int4: the aphasicness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the channel does not occur. ; $context$ = sent1: that the aphasic does not occur is brought about by that the piecing meninx occurs. sent2: if the collection occurs the aphasicness happens. sent3: the disengagement happens and the aphasic occurs if the channel does not occur. sent4: the disengagement happens. sent5: the typeset does not occur. sent6: if the channeling does not occur the disengagement happens. sent7: if the collection happens then the aphasicness does not occur. sent8: that the typeset does not occur results in that the piecing meninx happens and/or that the collection occurs. ; $proof$ = 
void -> assump1: Let's assume that the channel does not occur.; sent3 & assump1 -> int1: both the disengagement and the aphasic occurs.; int1 -> int2: the aphasic happens.; sent8 & sent5 -> int3: the piecing meninx occurs and/or the collection happens.; int3 & sent1 & sent7 -> int4: the aphasicness does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__