the deck is a antediluvian and is a Patella.
sent1: that the deck is both antediluvian and a Patella does not hold if that the derrick is not a Patella is true. sent2: if the fact that the borsch is both ocular and consumptive is not right the derrick does not embower tubocurarine. sent3: the derrick does not clear. sent4: if the Palestinian is an acceptance then the deck is a kind of an acceptance. sent5: if the fact that the derrick is a antediluvian is not incorrect then the deck clears. sent6: if something does not usher couvade and is not antecedent then it exhilarates damourite. sent7: something is not thankless. sent8: the borsch is a Patella if the Palestinian is a lithomancy. sent9: if the borsch is a kind of a Patella then the derrick is not a cleared and it is not a kind of a Patella. sent10: something that does not rim is not heliacal but cleared. sent11: the borsch is a kind of a Patella if the Palestinian is heliacal. sent12: the fact that the Palestinian is a kind of a cleared and it is a lithomancy does not hold. sent13: the Palestinian is a lithomancy and/or it is heliacal. sent14: the fact that that the borsch is ocular a consumptive is not correct is not false. sent15: the time-switch is not a lithomancy and it does not usher couvade. sent16: if something is a kind of a lithomancy then it is a Patella. sent17: the fact that the derrick palpebrates hold. sent18: something is a lithomancy if that it is not heliacal but a cleared is true. sent19: something does not usher couvade and is not an antecedent if it is an acceptance. sent20: the Palestinian is an acceptance and it is a list if the derrick does not embower tubocurarine. sent21: the Palestinian is not a kind of a Patella and is not heliacal if the derrick is heliacal. sent22: if the borsch is a Patella the derrick is not a kind of a cleared. sent23: if that something trephines and does debouch is not correct then the fact that it is a rim is not correct. sent24: something is not non-antediluvian if it exhilarates damourite.
sent13 & sent8 & sent11 -> int1: that the borsch is a kind of a Patella is correct.; sent9 & int1 -> int2: the derrick does not clear and is not a Patella.; int2 -> int3: the derrick is not a Patella.; sent1 & int3 -> hypothesis;
the deck is antediluvian and it is a kind of a Patella.
sent24 -> int4: if the deck does exhilarate damourite it is a kind of a antediluvian.; sent6 -> int5: if the deck does not usher couvade and it is not a kind of an antecedent it does exhilarate damourite.; sent19 -> int6: the deck does not usher couvade and it is not an antecedent if it is a kind of an acceptance.; sent2 & sent14 -> int7: the derrick does not embower tubocurarine.; sent20 & int7 -> int8: the Palestinian is an acceptance and it lists.; int8 -> int9: the Palestinian is an acceptance.; sent4 & int9 -> int10: the deck is an acceptance.; int6 & int10 -> int11: the deck does not usher couvade and it is not a kind of an antecedent.; int5 & int11 -> int12: the deck exhilarates damourite.; int4 & int12 -> int13: the deck is a antediluvian.; sent16 -> int14: the deck is a Patella if it is a lithomancy.; sent18 -> int15: the deck is a kind of a lithomancy if it is non-heliacal and cleared.; sent10 -> int16: the deck is a kind of non-heliacal thing that is cleared if it does not rim.; sent23 -> int17: the fact that the deck is not a rim is correct if that it trephines and it debouches does not hold.;
$hypothesis$ = the deck is a antediluvian and is a Patella. ; $context$ = sent1: that the deck is both antediluvian and a Patella does not hold if that the derrick is not a Patella is true. sent2: if the fact that the borsch is both ocular and consumptive is not right the derrick does not embower tubocurarine. sent3: the derrick does not clear. sent4: if the Palestinian is an acceptance then the deck is a kind of an acceptance. sent5: if the fact that the derrick is a antediluvian is not incorrect then the deck clears. sent6: if something does not usher couvade and is not antecedent then it exhilarates damourite. sent7: something is not thankless. sent8: the borsch is a Patella if the Palestinian is a lithomancy. sent9: if the borsch is a kind of a Patella then the derrick is not a cleared and it is not a kind of a Patella. sent10: something that does not rim is not heliacal but cleared. sent11: the borsch is a kind of a Patella if the Palestinian is heliacal. sent12: the fact that the Palestinian is a kind of a cleared and it is a lithomancy does not hold. sent13: the Palestinian is a lithomancy and/or it is heliacal. sent14: the fact that that the borsch is ocular a consumptive is not correct is not false. sent15: the time-switch is not a lithomancy and it does not usher couvade. sent16: if something is a kind of a lithomancy then it is a Patella. sent17: the fact that the derrick palpebrates hold. sent18: something is a lithomancy if that it is not heliacal but a cleared is true. sent19: something does not usher couvade and is not an antecedent if it is an acceptance. sent20: the Palestinian is an acceptance and it is a list if the derrick does not embower tubocurarine. sent21: the Palestinian is not a kind of a Patella and is not heliacal if the derrick is heliacal. sent22: if the borsch is a Patella the derrick is not a kind of a cleared. sent23: if that something trephines and does debouch is not correct then the fact that it is a rim is not correct. sent24: something is not non-antediluvian if it exhilarates damourite. ; $proof$ = 
sent13 & sent8 & sent11 -> int1: that the borsch is a kind of a Patella is correct.; sent9 & int1 -> int2: the derrick does not clear and is not a Patella.; int2 -> int3: the derrick is not a Patella.; sent1 & int3 -> hypothesis; __DISPROVED__