the fact that the wad is a boyhood if that the Call is plantal is right does not hold.
sent1: there exists something such that that it capitulates is not false. sent2: the wad is plantal. sent3: the Call does smell. sent4: if a plantal thing is a smell the Call is a boyhood. sent5: something is autotypic. sent6: the fact that the maiden is plantal is not incorrect. sent7: the wad is a boyhood if there exists something such that it is a smell and is plantal. sent8: the Call is billiard and it capitulates. sent9: there exists something such that the fact that it is Slovenian is true.
void -> assump1: Let's assume that the Call is plantal.; sent3 & assump1 -> int1: that the Call smells and is not non-plantal is right.; int1 -> int2: something smells and it is plantal.; int2 & sent7 -> int3: the wad is a kind of a boyhood.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the wad is a boyhood if that the Call is plantal is right does not hold. ; $context$ = sent1: there exists something such that that it capitulates is not false. sent2: the wad is plantal. sent3: the Call does smell. sent4: if a plantal thing is a smell the Call is a boyhood. sent5: something is autotypic. sent6: the fact that the maiden is plantal is not incorrect. sent7: the wad is a boyhood if there exists something such that it is a smell and is plantal. sent8: the Call is billiard and it capitulates. sent9: there exists something such that the fact that it is Slovenian is true. ; $proof$ = 
void -> assump1: Let's assume that the Call is plantal.; sent3 & assump1 -> int1: that the Call smells and is not non-plantal is right.; int1 -> int2: something smells and it is plantal.; int2 & sent7 -> int3: the wad is a kind of a boyhood.; [assump1] & int3 -> hypothesis; __DISPROVED__