the fact that if the Kansan is not a ribald then that the jumper is not a gaslight is correct is not right.
sent1: the reflector vexes ashtray and is unsinkable. sent2: that the jumper does not vex boatswain hold if the Kansan is not a gaslight. sent3: if the Kansan is a ribald it does vex boatswain. sent4: something is a micropaleontology and a cloud-cuckoo-land. sent5: the alphabetizer is a kind of a Mazama if the Kansan is a kind of a Mazama. sent6: if the alphabetizer is a kind of a cloud-cuckoo-land then the Kansan is a kind of a cloud-cuckoo-land. sent7: there exists something such that it does vex boatswain. sent8: something does vex boatswain if it is not a kind of a ribald. sent9: if a cloud-cuckoo-land vexes boatswain then the jumper is not a kind of a gaslight. sent10: that the Kansan is a Mazama is correct if the fact that the alphabetizer is a Mazama is correct. sent11: if the alphabetizer is not a cloud-cuckoo-land then it vexes boatswain or it is a ribald or both. sent12: the jumper is a cloud-cuckoo-land and/or it pans Kansan. sent13: if the Kansan is not a gaslight the jumper is not a kind of a ribald. sent14: the jumper is not a cloud-cuckoo-land if something that is a kind of a gaslight is a ribald. sent15: the Kansan is a gaslight if the jumper is a ribald. sent16: if something does not vex boatswain it is a kind of a gaslight. sent17: the jumper is a gaslight if the fact that the Kansan is not a ribald is right. sent18: the fact that something is a cloud-cuckoo-land hold. sent19: the Kansan is not a kind of a hyaline. sent20: if the Kansan is a ribald then the jumper is not a kind of a gaslight. sent21: the alphabetizer is not a micropaleontology. sent22: the Kansan is a micropaleontology and/or it is a Mazama if the fact that it is not a ribald is not false. sent23: the alphabetizer is a Mazama and/or it is a kind of a cloud-cuckoo-land if that it is not a micropaleontology is not wrong. sent24: if the alphabetizer is not a kind of a gaslight it is a Mazama. sent25: the Kansan is a cloud-cuckoo-land if that the alphabetizer is a Mazama hold.
sent8 -> int1: if the Kansan is not a ribald it does vex boatswain.; void -> assump1: Let's assume that that the Kansan is a kind of a ribald does not hold.; int1 & assump1 -> int2: the Kansan vexes boatswain.; sent23 & sent21 -> int3: the alphabetizer either is a Mazama or is a kind of a cloud-cuckoo-land or both.; int3 & sent25 & sent6 -> int4: the Kansan is a kind of a cloud-cuckoo-land.; int2 & int4 -> int5: the Kansan is a cloud-cuckoo-land and vexes boatswain.; int5 -> int6: something is a cloud-cuckoo-land and it vexes boatswain.; int6 & sent9 -> int7: the jumper is not a gaslight.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that if the Kansan is not a ribald then that the jumper is not a gaslight is correct is not right. ; $context$ = sent1: the reflector vexes ashtray and is unsinkable. sent2: that the jumper does not vex boatswain hold if the Kansan is not a gaslight. sent3: if the Kansan is a ribald it does vex boatswain. sent4: something is a micropaleontology and a cloud-cuckoo-land. sent5: the alphabetizer is a kind of a Mazama if the Kansan is a kind of a Mazama. sent6: if the alphabetizer is a kind of a cloud-cuckoo-land then the Kansan is a kind of a cloud-cuckoo-land. sent7: there exists something such that it does vex boatswain. sent8: something does vex boatswain if it is not a kind of a ribald. sent9: if a cloud-cuckoo-land vexes boatswain then the jumper is not a kind of a gaslight. sent10: that the Kansan is a Mazama is correct if the fact that the alphabetizer is a Mazama is correct. sent11: if the alphabetizer is not a cloud-cuckoo-land then it vexes boatswain or it is a ribald or both. sent12: the jumper is a cloud-cuckoo-land and/or it pans Kansan. sent13: if the Kansan is not a gaslight the jumper is not a kind of a ribald. sent14: the jumper is not a cloud-cuckoo-land if something that is a kind of a gaslight is a ribald. sent15: the Kansan is a gaslight if the jumper is a ribald. sent16: if something does not vex boatswain it is a kind of a gaslight. sent17: the jumper is a gaslight if the fact that the Kansan is not a ribald is right. sent18: the fact that something is a cloud-cuckoo-land hold. sent19: the Kansan is not a kind of a hyaline. sent20: if the Kansan is a ribald then the jumper is not a kind of a gaslight. sent21: the alphabetizer is not a micropaleontology. sent22: the Kansan is a micropaleontology and/or it is a Mazama if the fact that it is not a ribald is not false. sent23: the alphabetizer is a Mazama and/or it is a kind of a cloud-cuckoo-land if that it is not a micropaleontology is not wrong. sent24: if the alphabetizer is not a kind of a gaslight it is a Mazama. sent25: the Kansan is a cloud-cuckoo-land if that the alphabetizer is a Mazama hold. ; $proof$ = 
sent8 -> int1: if the Kansan is not a ribald it does vex boatswain.; void -> assump1: Let's assume that that the Kansan is a kind of a ribald does not hold.; int1 & assump1 -> int2: the Kansan vexes boatswain.; sent23 & sent21 -> int3: the alphabetizer either is a Mazama or is a kind of a cloud-cuckoo-land or both.; int3 & sent25 & sent6 -> int4: the Kansan is a kind of a cloud-cuckoo-land.; int2 & int4 -> int5: the Kansan is a cloud-cuckoo-land and vexes boatswain.; int5 -> int6: something is a cloud-cuckoo-land and it vexes boatswain.; int6 & sent9 -> int7: the jumper is not a gaslight.; [assump1] & int7 -> hypothesis; __DISPROVED__