the queue is a kind of a Bradypodidae.
sent1: if that the bogey is a kind of a hook that does not clear gulag does not hold then the trainer does not grease Merckx. sent2: if the sponge is not a whistle then the fact that it is a galingale and it does decoct does not hold. sent3: the trainer is a hook and it is anemographic. sent4: the vernix does clear gulag and it is anemographic if it does not decoct. sent5: that if the fact that the roughrider is the skidpan is right the fact that the roughrider clears longevity is correct is true. sent6: if there exists something such that it is a Bradypodidae that the roughrider is not a kind of a Bradypodidae but it does grease Merckx is wrong. sent7: the sponge is a Psittacus. sent8: the queue does grease Merckx. sent9: if the bogey is a kind of a hook it is a kind of a skidpan and it does not clear longevity. sent10: that the queue is not a Bradypodidae is right if the roughrider clears longevity. sent11: the sponge is not a kind of a whistle and is typographic if it is a kind of a Psittacus. sent12: if that the roughrider is not a kind of a Bradypodidae but it greases Merckx is not right then the pyrocellulose does not clear longevity. sent13: if the roughrider greases Merckx and does not hook the trainer is a skidpan. sent14: the queue is a kind of a Bradypodidae if the bogey clears gulag and is not a kind of a skidpan. sent15: a hook clears longevity and does not grease Merckx. sent16: the peregrine clears gulag. sent17: the fact that the trainer greases Merckx but it is not a skidpan does not hold. sent18: if something is anemographic it does hook and it is not a kind of a skidpan. sent19: the fact that the roughrider clears Jacobi hold. sent20: the bogey clears gulag and is not a skidpan if the roughrider is not a kind of a skidpan. sent21: something is not a molding if it is a first. sent22: if the roughrider clears longevity that the trainer clears longevity and does not grease Merckx is not true. sent23: the vernix does not decoct if there is something such that that it is a galingale that does decoct is incorrect. sent24: the fact that the bogey hooks and does not clear gulag is not true if there exists something such that it clear gulag.
void -> assump1: Let's assume that the roughrider is a skidpan.; sent5 & assump1 -> int1: the roughrider clears longevity.; int1 & sent22 -> int2: that the trainer clears longevity and does not grease Merckx is not correct.; sent15 -> int3: if the trainer hooks then it does clear longevity and it does not grease Merckx.; sent3 -> int4: the trainer does hook.; int3 & int4 -> int5: the trainer does clear longevity but it does not grease Merckx.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the roughrider is not a skidpan.; int7 & sent20 -> int8: the bogey does clear gulag and is not a kind of a skidpan.; int8 & sent14 -> hypothesis;
the queue is not a kind of a Bradypodidae.
sent11 & sent7 -> int9: the sponge is not a whistle but it is typographic.; int9 -> int10: the sponge is not a whistle.; sent2 & int10 -> int11: that the sponge is a galingale and it decocts is wrong.; int11 -> int12: there is something such that the fact that it is a kind of a galingale and it decocts is incorrect.; int12 & sent23 -> int13: the vernix does not decoct.; sent4 & int13 -> int14: the vernix clears gulag and is anemographic.; int14 -> int15: the vernix clears gulag.; int15 -> int16: something does clear gulag.; int16 & sent24 -> int17: the fact that the bogey does hook and does not clear gulag is not right.; sent1 & int17 -> int18: the trainer does not grease Merckx.; int18 -> int19: there exists something such that it does not grease Merckx.;
$hypothesis$ = the queue is a kind of a Bradypodidae. ; $context$ = sent1: if that the bogey is a kind of a hook that does not clear gulag does not hold then the trainer does not grease Merckx. sent2: if the sponge is not a whistle then the fact that it is a galingale and it does decoct does not hold. sent3: the trainer is a hook and it is anemographic. sent4: the vernix does clear gulag and it is anemographic if it does not decoct. sent5: that if the fact that the roughrider is the skidpan is right the fact that the roughrider clears longevity is correct is true. sent6: if there exists something such that it is a Bradypodidae that the roughrider is not a kind of a Bradypodidae but it does grease Merckx is wrong. sent7: the sponge is a Psittacus. sent8: the queue does grease Merckx. sent9: if the bogey is a kind of a hook it is a kind of a skidpan and it does not clear longevity. sent10: that the queue is not a Bradypodidae is right if the roughrider clears longevity. sent11: the sponge is not a kind of a whistle and is typographic if it is a kind of a Psittacus. sent12: if that the roughrider is not a kind of a Bradypodidae but it greases Merckx is not right then the pyrocellulose does not clear longevity. sent13: if the roughrider greases Merckx and does not hook the trainer is a skidpan. sent14: the queue is a kind of a Bradypodidae if the bogey clears gulag and is not a kind of a skidpan. sent15: a hook clears longevity and does not grease Merckx. sent16: the peregrine clears gulag. sent17: the fact that the trainer greases Merckx but it is not a skidpan does not hold. sent18: if something is anemographic it does hook and it is not a kind of a skidpan. sent19: the fact that the roughrider clears Jacobi hold. sent20: the bogey clears gulag and is not a skidpan if the roughrider is not a kind of a skidpan. sent21: something is not a molding if it is a first. sent22: if the roughrider clears longevity that the trainer clears longevity and does not grease Merckx is not true. sent23: the vernix does not decoct if there is something such that that it is a galingale that does decoct is incorrect. sent24: the fact that the bogey hooks and does not clear gulag is not true if there exists something such that it clear gulag. ; $proof$ = 
void -> assump1: Let's assume that the roughrider is a skidpan.; sent5 & assump1 -> int1: the roughrider clears longevity.; int1 & sent22 -> int2: that the trainer clears longevity and does not grease Merckx is not correct.; sent15 -> int3: if the trainer hooks then it does clear longevity and it does not grease Merckx.; sent3 -> int4: the trainer does hook.; int3 & int4 -> int5: the trainer does clear longevity but it does not grease Merckx.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the roughrider is not a skidpan.; int7 & sent20 -> int8: the bogey does clear gulag and is not a kind of a skidpan.; int8 & sent14 -> hypothesis; __PROVED__