the antibody is a kind of a cabal.
sent1: if that the antibody is not a bounce and is not pretentious is not right then it is not a cabal. sent2: if the antibody does not bestrew spic it is not taciturn. sent3: if the roadman is not a kind of a bounce the delft is pretentious thing that is taciturn. sent4: the roadman does not bounce if the ranter is both a bounce and not a biont. sent5: the antibody ropes if it does bestrew spic. sent6: the fact that something does not skulk and it does not broom Dacron is incorrect if it does not bestrew spic. sent7: if the kanamycin is incalculable the camisole is incalculable. sent8: the kanamycin is incalculable. sent9: if that something is pretentious hold then that it is not taciturn or it is not a roping or both is not true. sent10: the gyrocompass does not bestrew spic if there exists something such that the fact that it is not taciturn or it is not a kind of a roping or both is not right. sent11: the antibody does not rope. sent12: the fact that the antibody is both not a bounce and not pretentious is wrong if it is not taciturn. sent13: if the fact that the camisole is a Timothy is correct then the ranter is a bounce but it is not a kind of a biont. sent14: the antibody is a kind of a cabal if the decal is a cabal. sent15: if that the camisole is incalculable is true then it is a Timothy.
void -> assump1: Let's assume that the antibody bestrews spic.; sent5 & assump1 -> int1: the antibody ropes.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the antibody does not bestrew spic hold.; int3 & sent2 -> int4: the antibody is not taciturn.; int4 & sent12 -> int5: the fact that the antibody is not a bounce and it is not pretentious is not right.; int5 & sent1 -> hypothesis;
the fact that the gyrocompass does not skulk and does not broom Dacron is incorrect.
sent6 -> int6: if the gyrocompass does not bestrew spic the fact that it does not skulk and does not broom Dacron is not right.; sent9 -> int7: the fact that the antibody is not taciturn and/or is not a kind of a roping does not hold if it is pretentious.;
$hypothesis$ = the antibody is a kind of a cabal. ; $context$ = sent1: if that the antibody is not a bounce and is not pretentious is not right then it is not a cabal. sent2: if the antibody does not bestrew spic it is not taciturn. sent3: if the roadman is not a kind of a bounce the delft is pretentious thing that is taciturn. sent4: the roadman does not bounce if the ranter is both a bounce and not a biont. sent5: the antibody ropes if it does bestrew spic. sent6: the fact that something does not skulk and it does not broom Dacron is incorrect if it does not bestrew spic. sent7: if the kanamycin is incalculable the camisole is incalculable. sent8: the kanamycin is incalculable. sent9: if that something is pretentious hold then that it is not taciturn or it is not a roping or both is not true. sent10: the gyrocompass does not bestrew spic if there exists something such that the fact that it is not taciturn or it is not a kind of a roping or both is not right. sent11: the antibody does not rope. sent12: the fact that the antibody is both not a bounce and not pretentious is wrong if it is not taciturn. sent13: if the fact that the camisole is a Timothy is correct then the ranter is a bounce but it is not a kind of a biont. sent14: the antibody is a kind of a cabal if the decal is a cabal. sent15: if that the camisole is incalculable is true then it is a Timothy. ; $proof$ = 
void -> assump1: Let's assume that the antibody bestrews spic.; sent5 & assump1 -> int1: the antibody ropes.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the antibody does not bestrew spic hold.; int3 & sent2 -> int4: the antibody is not taciturn.; int4 & sent12 -> int5: the fact that the antibody is not a bounce and it is not pretentious is not right.; int5 & sent1 -> hypothesis; __DISPROVED__