the fact that there exists something such that it is a kind of eligible thing that is a kind of a fastener is incorrect.
sent1: the confinement is centesimal and it is a turnstone. sent2: that the taffrail is centesimal and it is acidotic does not hold. sent3: if that the taffrail is not centesimal but acidotic is false then it is not eligible. sent4: if there exists something such that it is a turnstone and apothegmatic the paperclip is not authorial. sent5: that the confinement is centesimal and is a kind of a turnstone is false if the taffrail is a turnstone. sent6: if the taffrail is not eligible then the catgut is eligible and it is a kind of a fastener. sent7: the confinement is a kind of a turnstone and it is apothegmatic. sent8: the catgut is a fastener if the counterpart is not a fastener. sent9: that the catgut is both not eligible and authorial is not correct. sent10: if that something is not a kind of a religion and is apothegmatic does not hold then it is a religion. sent11: the paperclip is not acidotic. sent12: if the counterpart is not centesimal the taffrail is centesimal and it is acidotic. sent13: the counterpart is acidotic thing that is authorial if the fact that the paperclip is not authorial is correct. sent14: the taffrail is tracheal and it is a silt. sent15: the confinement is a turnstone if that the taffrail is not a kind of a turnstone is not wrong. sent16: that the taffrail is not centesimal and is acidotic is not correct if the counterpart is acidotic. sent17: there is something such that it is eligible. sent18: the fact that the counterpart is eligible and is not non-acidotic is wrong if the catgut is non-acidotic. sent19: the catgut is eligible. sent20: that the catgut is eligible thing that is authorial is correct.
sent7 -> int1: there exists something such that it is a kind of a turnstone and is apothegmatic.; int1 & sent4 -> int2: the paperclip is not authorial.; int2 & sent13 -> int3: the counterpart is acidotic but not non-authorial.; int3 -> int4: the counterpart is acidotic.; int4 & sent16 -> int5: the fact that the taffrail is not centesimal but it is acidotic is wrong.; int5 & sent3 -> int6: the taffrail is not eligible.; int6 & sent6 -> int7: the catgut is eligible and it is a kind of a fastener.; int7 -> hypothesis;
there is something such that it is a religion that does frighten marcel.
sent10 -> int8: if the fact that the paperclip is both not a religion and apothegmatic is not correct then it is a kind of a religion.;
$hypothesis$ = the fact that there exists something such that it is a kind of eligible thing that is a kind of a fastener is incorrect. ; $context$ = sent1: the confinement is centesimal and it is a turnstone. sent2: that the taffrail is centesimal and it is acidotic does not hold. sent3: if that the taffrail is not centesimal but acidotic is false then it is not eligible. sent4: if there exists something such that it is a turnstone and apothegmatic the paperclip is not authorial. sent5: that the confinement is centesimal and is a kind of a turnstone is false if the taffrail is a turnstone. sent6: if the taffrail is not eligible then the catgut is eligible and it is a kind of a fastener. sent7: the confinement is a kind of a turnstone and it is apothegmatic. sent8: the catgut is a fastener if the counterpart is not a fastener. sent9: that the catgut is both not eligible and authorial is not correct. sent10: if that something is not a kind of a religion and is apothegmatic does not hold then it is a religion. sent11: the paperclip is not acidotic. sent12: if the counterpart is not centesimal the taffrail is centesimal and it is acidotic. sent13: the counterpart is acidotic thing that is authorial if the fact that the paperclip is not authorial is correct. sent14: the taffrail is tracheal and it is a silt. sent15: the confinement is a turnstone if that the taffrail is not a kind of a turnstone is not wrong. sent16: that the taffrail is not centesimal and is acidotic is not correct if the counterpart is acidotic. sent17: there is something such that it is eligible. sent18: the fact that the counterpart is eligible and is not non-acidotic is wrong if the catgut is non-acidotic. sent19: the catgut is eligible. sent20: that the catgut is eligible thing that is authorial is correct. ; $proof$ = 
sent7 -> int1: there exists something such that it is a kind of a turnstone and is apothegmatic.; int1 & sent4 -> int2: the paperclip is not authorial.; int2 & sent13 -> int3: the counterpart is acidotic but not non-authorial.; int3 -> int4: the counterpart is acidotic.; int4 & sent16 -> int5: the fact that the taffrail is not centesimal but it is acidotic is wrong.; int5 & sent3 -> int6: the taffrail is not eligible.; int6 & sent6 -> int7: the catgut is eligible and it is a kind of a fastener.; int7 -> hypothesis; __DISPROVED__