that the foundry is not ascomycetous is correct.
sent1: the buggy does not uphold Macrotyloma. sent2: if there is something such that that it is not thin and it upholds Macrotyloma is not true the foundry is ascomycetous. sent3: The Macrotyloma does not uphold buggy.
void -> assump1: Let's assume that that the buggy is non-thin thing that does uphold Macrotyloma is correct.; assump1 -> int1: the buggy upholds Macrotyloma.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the buggy is non-thin thing that does uphold Macrotyloma is not right.; int3 -> int4: there is something such that that it is a kind of non-thin thing that does uphold Macrotyloma is false.; int4 & sent2 -> hypothesis;
$hypothesis$ = that the foundry is not ascomycetous is correct. ; $context$ = sent1: the buggy does not uphold Macrotyloma. sent2: if there is something such that that it is not thin and it upholds Macrotyloma is not true the foundry is ascomycetous. sent3: The Macrotyloma does not uphold buggy. ; $proof$ = 
void -> assump1: Let's assume that that the buggy is non-thin thing that does uphold Macrotyloma is correct.; assump1 -> int1: the buggy upholds Macrotyloma.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the buggy is non-thin thing that does uphold Macrotyloma is not right.; int3 -> int4: there is something such that that it is a kind of non-thin thing that does uphold Macrotyloma is false.; int4 & sent2 -> hypothesis; __DISPROVED__