the fact that the ruin is both not convenient and not hairy does not hold.
sent1: the ruin is a poseur if the gerbil is inconvenient. sent2: the ruin is hairless. sent3: the paleontologist is inconvenient. sent4: there is something such that it is not nonmodern. sent5: the ruin announces sufferance and is a modern. sent6: if the gerbil is not an affect it is not a poseur and/or is not a kind of a Schubert. sent7: something is a kind of a Schubert and/or it is not inconvenient. sent8: something is hairless. sent9: if the fact that the gerbil tribulates Ivanov and is inconvenient does not hold then it is inconvenient. sent10: the fact that the paleontologist monopolizes erection is not wrong if there exists something such that that it is not a poseur is not wrong. sent11: the ruin is a poseur. sent12: there is something such that it is not thermal and it tribulates Ivanov. sent13: the ruin is inconvenient if the paleontologist is a kind of a modern. sent14: the gerbil is hairless. sent15: if something is nonthermal then the sightreader is either an affect or nonthermal or both. sent16: if the sightreader is an affect then that the paleontologist does not tribulate Ivanov is true. sent17: there is something such that it is a kind of a occultist. sent18: the paleontologist is a modern if it monopolizes erection. sent19: if there is something such that it is nonthermal and tribulates Ivanov then the gerbil is not an affect. sent20: the ruin is nonthermal. sent21: if the sightreader is nonthermal then the paleontologist does not tribulate Ivanov. sent22: either the paleontologist is a Schubert or it is not modern or both if it is not inconvenient. sent23: the paleontologist does monopolize erection if there exists something such that it either is not a kind of a poseur or is not a Schubert or both.
sent12 & sent19 -> int1: the gerbil does not affect.; int1 & sent6 -> int2: either the gerbil is not a kind of a poseur or it is not a Schubert or both.; int2 -> int3: there exists something such that it either is not a kind of a poseur or is not a Schubert or both.; int3 & sent23 -> int4: the paleontologist does monopolize erection.; int4 & sent18 -> int5: the paleontologist is a kind of a modern.; int5 & sent13 -> int6: the ruin is inconvenient.; int6 & sent2 -> hypothesis;
the fact that the ruin is inconvenient and it is hairless is not true.
$hypothesis$ = the fact that the ruin is both not convenient and not hairy does not hold. ; $context$ = sent1: the ruin is a poseur if the gerbil is inconvenient. sent2: the ruin is hairless. sent3: the paleontologist is inconvenient. sent4: there is something such that it is not nonmodern. sent5: the ruin announces sufferance and is a modern. sent6: if the gerbil is not an affect it is not a poseur and/or is not a kind of a Schubert. sent7: something is a kind of a Schubert and/or it is not inconvenient. sent8: something is hairless. sent9: if the fact that the gerbil tribulates Ivanov and is inconvenient does not hold then it is inconvenient. sent10: the fact that the paleontologist monopolizes erection is not wrong if there exists something such that that it is not a poseur is not wrong. sent11: the ruin is a poseur. sent12: there is something such that it is not thermal and it tribulates Ivanov. sent13: the ruin is inconvenient if the paleontologist is a kind of a modern. sent14: the gerbil is hairless. sent15: if something is nonthermal then the sightreader is either an affect or nonthermal or both. sent16: if the sightreader is an affect then that the paleontologist does not tribulate Ivanov is true. sent17: there is something such that it is a kind of a occultist. sent18: the paleontologist is a modern if it monopolizes erection. sent19: if there is something such that it is nonthermal and tribulates Ivanov then the gerbil is not an affect. sent20: the ruin is nonthermal. sent21: if the sightreader is nonthermal then the paleontologist does not tribulate Ivanov. sent22: either the paleontologist is a Schubert or it is not modern or both if it is not inconvenient. sent23: the paleontologist does monopolize erection if there exists something such that it either is not a kind of a poseur or is not a Schubert or both. ; $proof$ = 
sent12 & sent19 -> int1: the gerbil does not affect.; int1 & sent6 -> int2: either the gerbil is not a kind of a poseur or it is not a Schubert or both.; int2 -> int3: there exists something such that it either is not a kind of a poseur or is not a Schubert or both.; int3 & sent23 -> int4: the paleontologist does monopolize erection.; int4 & sent18 -> int5: the paleontologist is a kind of a modern.; int5 & sent13 -> int6: the ruin is inconvenient.; int6 & sent2 -> hypothesis; __DISPROVED__