that there is something such that if it is residential the fact that that it is a kind of non-ungrammatical thing that does unyoke is true is not right does not hold.
sent1: the fact that if that either the infusorian unyokes or it is not grammatical or both does not hold the breath is not shrinkable hold. sent2: the infusorian is not residential if either it is not ungrammatical or it is not a disservice or both. sent3: the fact that something unyokes and/or it is ungrammatical is incorrect if that it is not a disservice is not wrong.
void -> assump2: Let's assume that the infusorian is not ungrammatical and does unyoke.; assump2 -> int1: the infusorian is not ungrammatical.; int1 -> int2: the infusorian is not ungrammatical or it is not a disservice or both.; int2 & sent2 -> int3: the infusorian is not residential.; void -> assump1: Let's assume that the infusorian is residential.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the infusorian is not ungrammatical and does unyoke is wrong.; [assump1] & int5 -> int6: the fact that the infusorian is a kind of non-ungrammatical thing that unyokes is false if it is residential.; int6 -> hypothesis;
the breath is not shrinkable.
sent3 -> int7: if the infusorian is not a disservice the fact that it does unyoke or it is ungrammatical or both does not hold.;
$hypothesis$ = that there is something such that if it is residential the fact that that it is a kind of non-ungrammatical thing that does unyoke is true is not right does not hold. ; $context$ = sent1: the fact that if that either the infusorian unyokes or it is not grammatical or both does not hold the breath is not shrinkable hold. sent2: the infusorian is not residential if either it is not ungrammatical or it is not a disservice or both. sent3: the fact that something unyokes and/or it is ungrammatical is incorrect if that it is not a disservice is not wrong. ; $proof$ = 
void -> assump2: Let's assume that the infusorian is not ungrammatical and does unyoke.; assump2 -> int1: the infusorian is not ungrammatical.; int1 -> int2: the infusorian is not ungrammatical or it is not a disservice or both.; int2 & sent2 -> int3: the infusorian is not residential.; void -> assump1: Let's assume that the infusorian is residential.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the infusorian is not ungrammatical and does unyoke is wrong.; [assump1] & int5 -> int6: the fact that the infusorian is a kind of non-ungrammatical thing that unyokes is false if it is residential.; int6 -> hypothesis; __DISPROVED__