the mecca does crop oldness.
sent1: the anisette crops gamble if something is a kind of a bonemeal or it does strangulate tabard or both. sent2: there exists something such that the fact that it is not a moonfish hold. sent3: if the fact that something does not strangulate tabard and it does not crop oldness does not hold then the fact that it does not crop gamble hold. sent4: the mecca crops oldness if that either something is a bonemeal or it crops gamble or both is true. sent5: if something does crop oldness it strangulates tabard. sent6: if something does strangulate tabard then the anisette is a bonemeal. sent7: something does bullshit trough if the fact that it is either a bonemeal or not statistical or both is incorrect. sent8: if the mecca is a kind of a temporizer then the fact that it does not strangulate tabard and does not crop oldness is wrong. sent9: the anisette does not strangulate tabard and is statistical. sent10: if something is statistical it crops gamble.
sent10 -> int1: if the anisette is statistical it crops gamble.; sent9 -> int2: the anisette is statistical.; int1 & int2 -> int3: the anisette crops gamble.; int3 -> int4: the anisette is a bonemeal and/or it crops gamble.; int4 -> int5: there exists something such that either it is a kind of a bonemeal or it crops gamble or both.; int5 & sent4 -> hypothesis;
the mecca does bullshit trough.
sent7 -> int6: if that the mecca is a bonemeal or not statistical or both is wrong it bullshits trough.; sent3 -> int7: the mecca does not crop gamble if the fact that it does not strangulate tabard and does not crop oldness is incorrect.;
$hypothesis$ = the mecca does crop oldness. ; $context$ = sent1: the anisette crops gamble if something is a kind of a bonemeal or it does strangulate tabard or both. sent2: there exists something such that the fact that it is not a moonfish hold. sent3: if the fact that something does not strangulate tabard and it does not crop oldness does not hold then the fact that it does not crop gamble hold. sent4: the mecca crops oldness if that either something is a bonemeal or it crops gamble or both is true. sent5: if something does crop oldness it strangulates tabard. sent6: if something does strangulate tabard then the anisette is a bonemeal. sent7: something does bullshit trough if the fact that it is either a bonemeal or not statistical or both is incorrect. sent8: if the mecca is a kind of a temporizer then the fact that it does not strangulate tabard and does not crop oldness is wrong. sent9: the anisette does not strangulate tabard and is statistical. sent10: if something is statistical it crops gamble. ; $proof$ = 
sent10 -> int1: if the anisette is statistical it crops gamble.; sent9 -> int2: the anisette is statistical.; int1 & int2 -> int3: the anisette crops gamble.; int3 -> int4: the anisette is a bonemeal and/or it crops gamble.; int4 -> int5: there exists something such that either it is a kind of a bonemeal or it crops gamble or both.; int5 & sent4 -> hypothesis; __PROVED__