the brainworker is not a regularity.
sent1: something does not crow discontinuance and does not sober if that it is opaque is true. sent2: everything is an elm and it does not damp Spartium. sent3: if the fact that the trolleybus mummifies Pelargonium is wrong the kibitzer damps verticil and it is asexual. sent4: there exists something such that that it crows ninetieth and it is not a kind of a twinge is incorrect. sent5: the osteoblast is a twinge if there is something such that the fact that it does crow ninetieth and it is not a kind of a twinge is not right. sent6: the Hindu is a shibboleth. sent7: the brainworker is not a kind of a regularity if the kibitzer does not crow discontinuance and does not sober. sent8: that something is not hair-shirt and is not opaque is not true if it damps verticil. sent9: if something does not crow discontinuance and is not sober then it is a regularity. sent10: something is opaque if the fact that it is non-hair-shirt and is not opaque does not hold. sent11: everything damps balsam and it is not axiological. sent12: everything is a shibboleth and it is not a son-in-law. sent13: if there exists something such that it is not a son-in-law the brainworker does not crow discontinuance and is not sober. sent14: the trolleybus does not mummify Pelargonium if the fact that the blowhole is not a kind of a Nanaimo and/or it is a kind of a fitting is not true.
sent12 -> int1: the Hindu is both a shibboleth and not a son-in-law.; int1 -> int2: the Hindu is not a kind of a son-in-law.; int2 -> int3: there exists something such that the fact that it is not a son-in-law is not incorrect.; int3 & sent13 -> int4: the brainworker does not crow discontinuance and it is not sober.; sent9 -> int5: if the brainworker does not crow discontinuance and it is not sober then it is a regularity.; int4 & int5 -> hypothesis;
the brainworker is not a regularity.
sent1 -> int6: if the kibitzer is opaque it does not crow discontinuance and it is not sober.; sent10 -> int7: the kibitzer is opaque if the fact that it is non-hair-shirt thing that is not opaque is incorrect.; sent8 -> int8: that that the kibitzer is the kind of non-hair-shirt thing that is not opaque is not right if the kibitzer does damp verticil is true.; sent4 & sent5 -> int9: the fact that the osteoblast does twinge is correct.; int9 -> int10: there is something such that the fact that it twinges is correct.;
$hypothesis$ = the brainworker is not a regularity. ; $context$ = sent1: something does not crow discontinuance and does not sober if that it is opaque is true. sent2: everything is an elm and it does not damp Spartium. sent3: if the fact that the trolleybus mummifies Pelargonium is wrong the kibitzer damps verticil and it is asexual. sent4: there exists something such that that it crows ninetieth and it is not a kind of a twinge is incorrect. sent5: the osteoblast is a twinge if there is something such that the fact that it does crow ninetieth and it is not a kind of a twinge is not right. sent6: the Hindu is a shibboleth. sent7: the brainworker is not a kind of a regularity if the kibitzer does not crow discontinuance and does not sober. sent8: that something is not hair-shirt and is not opaque is not true if it damps verticil. sent9: if something does not crow discontinuance and is not sober then it is a regularity. sent10: something is opaque if the fact that it is non-hair-shirt and is not opaque does not hold. sent11: everything damps balsam and it is not axiological. sent12: everything is a shibboleth and it is not a son-in-law. sent13: if there exists something such that it is not a son-in-law the brainworker does not crow discontinuance and is not sober. sent14: the trolleybus does not mummify Pelargonium if the fact that the blowhole is not a kind of a Nanaimo and/or it is a kind of a fitting is not true. ; $proof$ = 
sent12 -> int1: the Hindu is both a shibboleth and not a son-in-law.; int1 -> int2: the Hindu is not a kind of a son-in-law.; int2 -> int3: there exists something such that the fact that it is not a son-in-law is not incorrect.; int3 & sent13 -> int4: the brainworker does not crow discontinuance and it is not sober.; sent9 -> int5: if the brainworker does not crow discontinuance and it is not sober then it is a regularity.; int4 & int5 -> hypothesis; __DISPROVED__