the earthball does not federalize payday.
sent1: the stopcock either is prolix or is a zoophyte or both. sent2: there exists something such that it is a albedo. sent3: if the scrapheap is both prolix and a albedo then the stopcock is not a albedo. sent4: something is a kind of zoonotic a albedo. sent5: that something is prolix and it is a kind of a campanile hold. sent6: something does federalize payday if that it is a albedo is not incorrect. sent7: if something is not prolix but a campanile the earthball federalizes payday. sent8: the bollock is not prolix. sent9: if the stopcock is prolix it is zoonotic. sent10: the scrapheap is prolix if the stopcock is not a zoophyte. sent11: the bollock is non-prolix thing that is a campanile if the scrapheap is non-prolix. sent12: there are zoonotic things. sent13: the stopcock is not a zoophyte if something that is zoonotic is a albedo. sent14: the stopcock is zoonotic if the fact that it is a zoophyte is not false. sent15: something is not prolix. sent16: there is something such that it is a kind of a campanile. sent17: if the stopcock is a kind of zoonotic thing that federalizes payday the earthball does not federalizes payday.
sent4 & sent13 -> int1: the fact that the stopcock is not a zoophyte is not false.; sent10 & int1 -> int2: the scrapheap is prolix.; sent11 & int2 -> int3: the bollock is not prolix but it is a campanile.; int3 -> int4: there exists something such that it is not prolix but a campanile.; int4 & sent7 -> hypothesis;
the earthball does not federalize payday.
sent1 & sent9 & sent14 -> int5: the stopcock is zoonotic.; sent6 -> int6: if the stopcock is a albedo it does federalize payday.;
$hypothesis$ = the earthball does not federalize payday. ; $context$ = sent1: the stopcock either is prolix or is a zoophyte or both. sent2: there exists something such that it is a albedo. sent3: if the scrapheap is both prolix and a albedo then the stopcock is not a albedo. sent4: something is a kind of zoonotic a albedo. sent5: that something is prolix and it is a kind of a campanile hold. sent6: something does federalize payday if that it is a albedo is not incorrect. sent7: if something is not prolix but a campanile the earthball federalizes payday. sent8: the bollock is not prolix. sent9: if the stopcock is prolix it is zoonotic. sent10: the scrapheap is prolix if the stopcock is not a zoophyte. sent11: the bollock is non-prolix thing that is a campanile if the scrapheap is non-prolix. sent12: there are zoonotic things. sent13: the stopcock is not a zoophyte if something that is zoonotic is a albedo. sent14: the stopcock is zoonotic if the fact that it is a zoophyte is not false. sent15: something is not prolix. sent16: there is something such that it is a kind of a campanile. sent17: if the stopcock is a kind of zoonotic thing that federalizes payday the earthball does not federalizes payday. ; $proof$ = 
sent4 & sent13 -> int1: the fact that the stopcock is not a zoophyte is not false.; sent10 & int1 -> int2: the scrapheap is prolix.; sent11 & int2 -> int3: the bollock is not prolix but it is a campanile.; int3 -> int4: there exists something such that it is not prolix but a campanile.; int4 & sent7 -> hypothesis; __DISPROVED__