the interlock is a Drixoral.
sent1: if that the arytenoid is a porcupine and is not orthodox is wrong that it is avian is true. sent2: the interlock is not molecular if there exists something such that it is not molecular. sent3: there exists something such that it is not a seismology and/or it does dim candlepower. sent4: something does not overtake if it does trice wrestle and is not a scalar. sent5: the interlock is not bibliophilic if something is not a seismology and/or it does not dim candlepower. sent6: everything is avian. sent7: the fact that the interlock is not bibliophilic is right if something is not a seismology. sent8: there exists something such that it is a seismology and/or it does not dim candlepower. sent9: the interlock is not molecular if there is something such that the fact that it does not trice wrestle and is molecular does not hold. sent10: if the bioweapon is bibliophilic and is not molecular then the songbook is a kind of a Drixoral. sent11: the interlock is a Drixoral if the corkscrew is a Drixoral. sent12: something is not achenial and/or it is not paschal if it is avian. sent13: if a non-bibliophilic thing is not molecular then it is not a Drixoral. sent14: if there exists something such that the fact that it is not a porcupine is correct then that the arytenoid is a porcupine and not orthodox is incorrect. sent15: there is something such that the fact that it does trice wrestle and is molecular is not right. sent16: an avian thing is not achenial and is paschal. sent17: the confidant is not a kind of an aloofness if it is a kind of non-meatless thing that is not confrontational. sent18: something does not trice wrestle but it is molecular. sent19: there exists something such that the fact that it does not trice wrestle and is molecular is not true. sent20: there exists something such that it is not a porcupine. sent21: that the corkscrew is a Drixoral is true if the songbook is a Drixoral. sent22: if something does not overtake the fact that it is bibliophilic and is non-molecular is right. sent23: that the bioweapon does not overtake hold if the kennel is not a scalar and does not overtake. sent24: if the corkscrew does not overtake then the fact that the interlock is bibliophilic and is molecular is not right. sent25: there is something such that it is not a seismology and/or it does not dim candlepower.
sent25 & sent5 -> int1: the interlock is not bibliophilic.; sent19 & sent9 -> int2: the interlock is not molecular.; int1 & int2 -> int3: the interlock is not bibliophilic and it is not molecular.; sent13 -> int4: if the interlock is a kind of non-bibliophilic thing that is not molecular that it is not a Drixoral is correct.; int3 & int4 -> hypothesis;
the interlock is a kind of a Drixoral.
sent22 -> int5: if the bioweapon does not overtake it is bibliophilic and it is not molecular.; sent12 -> int6: if the arytenoid is avian either it is not achenial or it is not paschal or both.; sent20 & sent14 -> int7: the fact that the arytenoid is a porcupine that is not orthodox is wrong.; sent1 & int7 -> int8: the arytenoid is avian.; int6 & int8 -> int9: the arytenoid is not achenial and/or it is not paschal.; int9 -> int10: something is not achenial and/or is not paschal.;
$hypothesis$ = the interlock is a Drixoral. ; $context$ = sent1: if that the arytenoid is a porcupine and is not orthodox is wrong that it is avian is true. sent2: the interlock is not molecular if there exists something such that it is not molecular. sent3: there exists something such that it is not a seismology and/or it does dim candlepower. sent4: something does not overtake if it does trice wrestle and is not a scalar. sent5: the interlock is not bibliophilic if something is not a seismology and/or it does not dim candlepower. sent6: everything is avian. sent7: the fact that the interlock is not bibliophilic is right if something is not a seismology. sent8: there exists something such that it is a seismology and/or it does not dim candlepower. sent9: the interlock is not molecular if there is something such that the fact that it does not trice wrestle and is molecular does not hold. sent10: if the bioweapon is bibliophilic and is not molecular then the songbook is a kind of a Drixoral. sent11: the interlock is a Drixoral if the corkscrew is a Drixoral. sent12: something is not achenial and/or it is not paschal if it is avian. sent13: if a non-bibliophilic thing is not molecular then it is not a Drixoral. sent14: if there exists something such that the fact that it is not a porcupine is correct then that the arytenoid is a porcupine and not orthodox is incorrect. sent15: there is something such that the fact that it does trice wrestle and is molecular is not right. sent16: an avian thing is not achenial and is paschal. sent17: the confidant is not a kind of an aloofness if it is a kind of non-meatless thing that is not confrontational. sent18: something does not trice wrestle but it is molecular. sent19: there exists something such that the fact that it does not trice wrestle and is molecular is not true. sent20: there exists something such that it is not a porcupine. sent21: that the corkscrew is a Drixoral is true if the songbook is a Drixoral. sent22: if something does not overtake the fact that it is bibliophilic and is non-molecular is right. sent23: that the bioweapon does not overtake hold if the kennel is not a scalar and does not overtake. sent24: if the corkscrew does not overtake then the fact that the interlock is bibliophilic and is molecular is not right. sent25: there is something such that it is not a seismology and/or it does not dim candlepower. ; $proof$ = 
sent25 & sent5 -> int1: the interlock is not bibliophilic.; sent19 & sent9 -> int2: the interlock is not molecular.; int1 & int2 -> int3: the interlock is not bibliophilic and it is not molecular.; sent13 -> int4: if the interlock is a kind of non-bibliophilic thing that is not molecular that it is not a Drixoral is correct.; int3 & int4 -> hypothesis; __DISPROVED__