the Bedlam is arthropodal.
sent1: if there exists something such that that it is not atrophic and/or is not a bollock does not hold the naltrexone is fewer. sent2: the Bedlam does average Ara if the cellar is not auxinic or it is not arthropodal or both. sent3: the cellar is not atrophic and/or is not auxinic. sent4: the hairline is arthropodal. sent5: if the naltrexone is fewer then the ben is a blackheart. sent6: if the patchwork is not atrophic and/or is not a bollock the fact that the devilfish is auxinic is right. sent7: the naltrexone is non-fewer or it is not arthropodal or both. sent8: the Bedlam is arthropodal if the ben is a blackheart. sent9: that the patchwork is fewer is right. sent10: the cellar is a blackheart if there is something such that the fact that it is not arthropodal and/or it does not average Ara is false. sent11: the naltrexone is auxinic. sent12: that the devilfish is fewer and/or is not auxinic is true. sent13: there exists something such that the fact that it is fewer and/or it is not auxinic is not correct. sent14: if that the cellar is not non-auxinic and does average Ara is correct then the devilfish is not non-auxinic. sent15: there exists something such that that it is not a bollock or it is a kind of a blackheart or both is false. sent16: the patchwork is auxinic and it is a bollock. sent17: the cellar is auxinic thing that does average Ara.
void -> assump1: Let's assume that the patchwork is not atrophic and/or is not a bollock.; sent6 & assump1 -> int1: the devilfish is auxinic.; sent14 & sent17 -> int2: the devilfish is not auxinic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the patchwork either is non-atrophic or is not a kind of a bollock or both is not correct.; int4 -> int5: there is something such that the fact that it is not atrophic or it is not a bollock or both does not hold.; int5 & sent1 -> int6: that the naltrexone is fewer is right.; int6 & sent5 -> int7: that the ben is a blackheart hold.; int7 & sent8 -> hypothesis;
$hypothesis$ = the Bedlam is arthropodal. ; $context$ = sent1: if there exists something such that that it is not atrophic and/or is not a bollock does not hold the naltrexone is fewer. sent2: the Bedlam does average Ara if the cellar is not auxinic or it is not arthropodal or both. sent3: the cellar is not atrophic and/or is not auxinic. sent4: the hairline is arthropodal. sent5: if the naltrexone is fewer then the ben is a blackheart. sent6: if the patchwork is not atrophic and/or is not a bollock the fact that the devilfish is auxinic is right. sent7: the naltrexone is non-fewer or it is not arthropodal or both. sent8: the Bedlam is arthropodal if the ben is a blackheart. sent9: that the patchwork is fewer is right. sent10: the cellar is a blackheart if there is something such that the fact that it is not arthropodal and/or it does not average Ara is false. sent11: the naltrexone is auxinic. sent12: that the devilfish is fewer and/or is not auxinic is true. sent13: there exists something such that the fact that it is fewer and/or it is not auxinic is not correct. sent14: if that the cellar is not non-auxinic and does average Ara is correct then the devilfish is not non-auxinic. sent15: there exists something such that that it is not a bollock or it is a kind of a blackheart or both is false. sent16: the patchwork is auxinic and it is a bollock. sent17: the cellar is auxinic thing that does average Ara. ; $proof$ = 
void -> assump1: Let's assume that the patchwork is not atrophic and/or is not a bollock.; sent6 & assump1 -> int1: the devilfish is auxinic.; sent14 & sent17 -> int2: the devilfish is not auxinic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the patchwork either is non-atrophic or is not a kind of a bollock or both is not correct.; int4 -> int5: there is something such that the fact that it is not atrophic or it is not a bollock or both does not hold.; int5 & sent1 -> int6: that the naltrexone is fewer is right.; int6 & sent5 -> int7: that the ben is a blackheart hold.; int7 & sent8 -> hypothesis; __PROVED__