the fact that the bollock is not symbolic is not incorrect.
sent1: the caul is not unfit. sent2: the shoring is not a solvency and not unfit. sent3: if something hums bollock then it is not symbolic. sent4: if there are non-scrotal things the shoring does not hum bollock. sent5: if the shoring is aplitic that the bollock is symbolic is right. sent6: there exists something such that the fact that it is both scrotal and not bacillar is incorrect. sent7: the caul is not aplitic. sent8: there exists something such that that it is scrotal and it is bacillar is not right. sent9: the caul is unfit if the shoring does not hum bollock and is not aplitic. sent10: if there is something such that the fact that it is both scrotal and not bacillar is not right then the shoring does not hum bollock. sent11: the shoring is not aplitic and it is fit if it is not masonic.
sent6 & sent10 -> int1: the shoring does not hum bollock.; void -> assump1: Let's assume that the shoring is not aplitic.; int1 & assump1 -> int2: the shoring does not hum bollock and it is not aplitic.; int2 & sent9 -> int3: the caul is unfit.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the shoring is aplitic.; int5 & sent5 -> hypothesis;
the bollock is not symbolic.
sent3 -> int6: the bollock is not symbolic if it does hum bollock.;
$hypothesis$ = the fact that the bollock is not symbolic is not incorrect. ; $context$ = sent1: the caul is not unfit. sent2: the shoring is not a solvency and not unfit. sent3: if something hums bollock then it is not symbolic. sent4: if there are non-scrotal things the shoring does not hum bollock. sent5: if the shoring is aplitic that the bollock is symbolic is right. sent6: there exists something such that the fact that it is both scrotal and not bacillar is incorrect. sent7: the caul is not aplitic. sent8: there exists something such that that it is scrotal and it is bacillar is not right. sent9: the caul is unfit if the shoring does not hum bollock and is not aplitic. sent10: if there is something such that the fact that it is both scrotal and not bacillar is not right then the shoring does not hum bollock. sent11: the shoring is not aplitic and it is fit if it is not masonic. ; $proof$ = 
sent6 & sent10 -> int1: the shoring does not hum bollock.; void -> assump1: Let's assume that the shoring is not aplitic.; int1 & assump1 -> int2: the shoring does not hum bollock and it is not aplitic.; int2 & sent9 -> int3: the caul is unfit.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the shoring is aplitic.; int5 & sent5 -> hypothesis; __DISPROVED__