the crinkleroot is a papaw.
sent1: the spokeswoman notches Reformation if there exists something such that the fact that it does notch silverfish and it does not notches Reformation does not hold. sent2: the silverfish is not upstream. sent3: something is a kind of a commemorative if it is lithomantic. sent4: if that that the runner does not befall and it is not a kind of a Peirce hold is not true it is lithomantic. sent5: the fact that the fact that the silverfish is a Trypetidae and it is empirical is correct is wrong if it is not upstream. sent6: the blackboard is either not caloric or not empirical or both if there is something such that it is not empirical. sent7: if there is something such that it is a commemorative and notches makeweight then the crinkleroot is not a papaw. sent8: the runner is not a papaw if the stairway does not notch makeweight and is a papaw. sent9: there is nothing such that it is amaranthine and it is anorthitic. sent10: if the runner does not notch silverfish then the fact that it notches Reformation and it is not amaranthine is correct. sent11: the fact that the runner is not a commemorative is correct if there exists something such that it does notch Reformation and is a Peirce. sent12: the runner notches makeweight if it does notch Reformation and it is amaranthine. sent13: if the runner notches Reformation but it is not amaranthine then it does notch makeweight. sent14: the runner does not notch silverfish. sent15: The silverfish does not notch runner. sent16: if the spokeswoman notches Reformation the stairway is lithomantic. sent17: if something is nontranslational then that it notches silverfish and it does not notch Reformation is not correct. sent18: the silverfish is not empirical if the fact that it is both a Trypetidae and empirical is not correct. sent19: the blackboard is nontranslational if it is not caloric and/or is not empirical. sent20: the fact that the runner does not befall and it is not a Peirce does not hold. sent21: if the runner is not a papaw and not a commemorative the crinkleroot is a papaw. sent22: the ritonavir is amaranthine. sent23: there exists something such that it is a kind of a Peirce.
sent4 & sent20 -> int1: that the runner is lithomantic is not incorrect.; sent3 -> int2: if the runner is lithomantic then it is commemorative.; int1 & int2 -> int3: the runner is a commemorative.; sent10 & sent14 -> int4: the runner notches Reformation but it is not amaranthine.; sent13 & int4 -> int5: the runner notches makeweight.; int3 & int5 -> int6: the runner is a kind of a commemorative and does notch makeweight.; int6 -> int7: there exists something such that it is a kind of a commemorative and it does notch makeweight.; int7 & sent7 -> hypothesis;
the crinkleroot is a papaw.
sent17 -> int8: if the blackboard is nontranslational then the fact that it notches silverfish and it does not notch Reformation is wrong.; sent5 & sent2 -> int9: the fact that the silverfish is a Trypetidae and is empirical is not right.; sent18 & int9 -> int10: the silverfish is not empirical.; int10 -> int11: there is something such that it is not empirical.; int11 & sent6 -> int12: the blackboard is not caloric or not empirical or both.; sent19 & int12 -> int13: the fact that the blackboard is nontranslational is right.; int8 & int13 -> int14: the fact that the fact that the fact that the blackboard does notch silverfish but it does not notch Reformation is not incorrect is wrong hold.; int14 -> int15: there exists something such that the fact that it notches silverfish and does not notch Reformation is not right.; int15 & sent1 -> int16: the spokeswoman does notch Reformation.; sent16 & int16 -> int17: the stairway is lithomantic.; sent9 -> int18: that the mailman is amaranthine and it is anorthitic is not true.; int18 -> int19: there exists something such that the fact that it is amaranthine and anorthitic is not right.;
$hypothesis$ = the crinkleroot is a papaw. ; $context$ = sent1: the spokeswoman notches Reformation if there exists something such that the fact that it does notch silverfish and it does not notches Reformation does not hold. sent2: the silverfish is not upstream. sent3: something is a kind of a commemorative if it is lithomantic. sent4: if that that the runner does not befall and it is not a kind of a Peirce hold is not true it is lithomantic. sent5: the fact that the fact that the silverfish is a Trypetidae and it is empirical is correct is wrong if it is not upstream. sent6: the blackboard is either not caloric or not empirical or both if there is something such that it is not empirical. sent7: if there is something such that it is a commemorative and notches makeweight then the crinkleroot is not a papaw. sent8: the runner is not a papaw if the stairway does not notch makeweight and is a papaw. sent9: there is nothing such that it is amaranthine and it is anorthitic. sent10: if the runner does not notch silverfish then the fact that it notches Reformation and it is not amaranthine is correct. sent11: the fact that the runner is not a commemorative is correct if there exists something such that it does notch Reformation and is a Peirce. sent12: the runner notches makeweight if it does notch Reformation and it is amaranthine. sent13: if the runner notches Reformation but it is not amaranthine then it does notch makeweight. sent14: the runner does not notch silverfish. sent15: The silverfish does not notch runner. sent16: if the spokeswoman notches Reformation the stairway is lithomantic. sent17: if something is nontranslational then that it notches silverfish and it does not notch Reformation is not correct. sent18: the silverfish is not empirical if the fact that it is both a Trypetidae and empirical is not correct. sent19: the blackboard is nontranslational if it is not caloric and/or is not empirical. sent20: the fact that the runner does not befall and it is not a Peirce does not hold. sent21: if the runner is not a papaw and not a commemorative the crinkleroot is a papaw. sent22: the ritonavir is amaranthine. sent23: there exists something such that it is a kind of a Peirce. ; $proof$ = 
sent4 & sent20 -> int1: that the runner is lithomantic is not incorrect.; sent3 -> int2: if the runner is lithomantic then it is commemorative.; int1 & int2 -> int3: the runner is a commemorative.; sent10 & sent14 -> int4: the runner notches Reformation but it is not amaranthine.; sent13 & int4 -> int5: the runner notches makeweight.; int3 & int5 -> int6: the runner is a kind of a commemorative and does notch makeweight.; int6 -> int7: there exists something such that it is a kind of a commemorative and it does notch makeweight.; int7 & sent7 -> hypothesis; __DISPROVED__