the fact that the hellgrammiate does become auto-changer if the skep is a overactivity does not hold.
sent1: if either something fumes or it is a kind of a overactivity or both then the hellgrammiate does become auto-changer. sent2: there is something such that it either becomes auto-changer or is a overactivity or both. sent3: there exists something such that it is a kind of a overactivity. sent4: something nurses hospital and/or is prosthetics. sent5: the skep fumes. sent6: something fumes.
void -> assump1: Let's assume that the skep is a overactivity.; assump1 -> int1: the skep fumes and/or is a overactivity.; int1 -> int2: there exists something such that it fumes and/or it is a overactivity.; int2 & sent1 -> int3: the hellgrammiate does become auto-changer.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the hellgrammiate does become auto-changer if the skep is a overactivity does not hold. ; $context$ = sent1: if either something fumes or it is a kind of a overactivity or both then the hellgrammiate does become auto-changer. sent2: there is something such that it either becomes auto-changer or is a overactivity or both. sent3: there exists something such that it is a kind of a overactivity. sent4: something nurses hospital and/or is prosthetics. sent5: the skep fumes. sent6: something fumes. ; $proof$ = 
void -> assump1: Let's assume that the skep is a overactivity.; assump1 -> int1: the skep fumes and/or is a overactivity.; int1 -> int2: there exists something such that it fumes and/or it is a overactivity.; int2 & sent1 -> int3: the hellgrammiate does become auto-changer.; [assump1] & int3 -> hypothesis; __DISPROVED__