the trestle grades mephenytoin.
sent1: that the Spode is a polemicist that is seedy is wrong. sent2: that something does not furrow and is not an alluvium is not true if it does grade mephenytoin. sent3: something does grade mephenytoin if it is lineal and it does not furrow. sent4: that the mephenytoin is a kind of a salmi and is a kind of a acrogen is not correct. sent5: if the fact that something rambles but it is not lineal is wrong then it does not count stamina. sent6: the fact that the reductase is not lineal and it does not count stamina does not hold if the mephenytoin is not an arm. sent7: if the moss is a Italian then the trestle is not glorious. sent8: the trestle is not glorious if the moss is a wellpoint. sent9: something is a wellpoint and/or it is Italian if it is not a category. sent10: that the fact that the countryside is not a kind of a category or is a people or both is not true hold if it is not seedy. sent11: the fact that the trestle is an arm and it does grade mephenytoin is not true. sent12: the mephenytoin is an alluvium if there exists something such that the fact that that it is both not a furrow and not an alluvium is right is false. sent13: the trestle furrows and is not an alluvium if the yardgrass does not ramble. sent14: if that the reductase is non-lineal thing that does not count stamina does not hold the yardgrass does not ramble. sent15: the reductase does grade mephenytoin if the trestle does count urceole. sent16: if the mephenytoin does not arm then the fact that that the reductase is not lineal and counts stamina does not hold is not incorrect. sent17: something does not evaluate and is not a molar if it is inglorious. sent18: the countryside is not seedy if the fact that the Spode is a polemicist and it is seedy is incorrect. sent19: that something is a ramble but it is not lineal is wrong if it is an alluvium. sent20: the moss is not a category if the fact that the countryside is not a kind of a category and/or it is a people is not correct. sent21: if something that does not evaluate is not a kind of a molar then it counts urceole. sent22: if the mephenytoin does not count stamina then the yardgrass is an arm. sent23: something does grade mephenytoin if it furrows and it is not an alluvium.
sent23 -> int1: the trestle grades mephenytoin if it is a furrow and not an alluvium.;
the yardgrass is an arm.
sent5 -> int2: the fact that the mephenytoin does not count stamina is right if the fact that it is both a ramble and non-lineal is not right.; sent19 -> int3: if the mephenytoin is an alluvium then the fact that it is a ramble and it is not lineal does not hold.; sent2 -> int4: that the reductase is not a furrow and is not an alluvium is false if it does grade mephenytoin.; sent21 -> int5: if the trestle does not evaluate and it is not molar then it counts urceole.; sent17 -> int6: the trestle does not evaluate and is not a molar if it is not glorious.; sent9 -> int7: the moss is a wellpoint or is a Italian or both if it is not a kind of a category.; sent18 & sent1 -> int8: the countryside is not seedy.; sent10 & int8 -> int9: the fact that the countryside is not a category or a people or both does not hold.; sent20 & int9 -> int10: the moss is not a category.; int7 & int10 -> int11: either the moss is a wellpoint or it is not non-Italian or both.; int11 & sent8 & sent7 -> int12: the trestle is not glorious.; int6 & int12 -> int13: the trestle does not evaluate and is not a kind of a molar.; int5 & int13 -> int14: the trestle does count urceole.; sent15 & int14 -> int15: the reductase grades mephenytoin.; int4 & int15 -> int16: that that the reductase is both not a furrow and not an alluvium is true is not true.; int16 -> int17: the fact that there is something such that the fact that it is not a furrow and is not an alluvium does not hold hold.; int17 & sent12 -> int18: the mephenytoin is an alluvium.; int3 & int18 -> int19: that the fact that the mephenytoin is both a ramble and not lineal hold is not correct.; int2 & int19 -> int20: the mephenytoin does not count stamina.; sent22 & int20 -> hypothesis;
$hypothesis$ = the trestle grades mephenytoin. ; $context$ = sent1: that the Spode is a polemicist that is seedy is wrong. sent2: that something does not furrow and is not an alluvium is not true if it does grade mephenytoin. sent3: something does grade mephenytoin if it is lineal and it does not furrow. sent4: that the mephenytoin is a kind of a salmi and is a kind of a acrogen is not correct. sent5: if the fact that something rambles but it is not lineal is wrong then it does not count stamina. sent6: the fact that the reductase is not lineal and it does not count stamina does not hold if the mephenytoin is not an arm. sent7: if the moss is a Italian then the trestle is not glorious. sent8: the trestle is not glorious if the moss is a wellpoint. sent9: something is a wellpoint and/or it is Italian if it is not a category. sent10: that the fact that the countryside is not a kind of a category or is a people or both is not true hold if it is not seedy. sent11: the fact that the trestle is an arm and it does grade mephenytoin is not true. sent12: the mephenytoin is an alluvium if there exists something such that the fact that that it is both not a furrow and not an alluvium is right is false. sent13: the trestle furrows and is not an alluvium if the yardgrass does not ramble. sent14: if that the reductase is non-lineal thing that does not count stamina does not hold the yardgrass does not ramble. sent15: the reductase does grade mephenytoin if the trestle does count urceole. sent16: if the mephenytoin does not arm then the fact that that the reductase is not lineal and counts stamina does not hold is not incorrect. sent17: something does not evaluate and is not a molar if it is inglorious. sent18: the countryside is not seedy if the fact that the Spode is a polemicist and it is seedy is incorrect. sent19: that something is a ramble but it is not lineal is wrong if it is an alluvium. sent20: the moss is not a category if the fact that the countryside is not a kind of a category and/or it is a people is not correct. sent21: if something that does not evaluate is not a kind of a molar then it counts urceole. sent22: if the mephenytoin does not count stamina then the yardgrass is an arm. sent23: something does grade mephenytoin if it furrows and it is not an alluvium. ; $proof$ = 
sent23 -> int1: the trestle grades mephenytoin if it is a furrow and not an alluvium.; __UNKNOWN__