the radiolarian is not a kind of a kilohertz.
sent1: the radiolarian is not a hematology if that the unction is a kind of a hematology is not incorrect. sent2: if the descendant does not board in-law then the fact that it is a avadavat and it is a kind of a dray does not hold. sent3: that the descendant does not board in-law is correct. sent4: the flattop is not a kind of a dray if the fact that the descendant is a avadavat and a dray does not hold. sent5: if the fact that something is pianistic and it is a kind of a Rh is false then it is not pianistic. sent6: if the radiolarian is both not Hanoverian and not a bud then the graduate is not a Hanoverian. sent7: that the colicroot is not prodromal is correct if the fact that the graduate is not a Vali but prodromal hold. sent8: the radiolarian is transcendental and is a one-twelfth. sent9: that if the graduate is a manual and it is prodromal the radiolarian is not a kilohertz is not false. sent10: if there is something such that it is not a dray then that the graduate is not a Rh but a Vali does not hold. sent11: something is not a Vali if the fact that it is not a Rh and it is a Vali is not true. sent12: the fact that the radiolarian is pianistic thing that is a Rh is incorrect if the graduate is not a kind of a Hanoverian. sent13: the graduate is not prodromal if the radiolarian is a kind of a manual that is a kilohertz. sent14: a non-pianistic thing is both a kilohertz and a Vali. sent15: that something is not a kilohertz but pianistic is not right if it is not a Hanoverian. sent16: if something is not a hematology then it is not a Hanoverian and it does not bud. sent17: the graduate is prodromal. sent18: the graduate is manual and prodromal. sent19: something is not prodromal if that it is not a kind of a kilohertz and is pianistic is not right.
sent9 & sent18 -> hypothesis;
the colicroot is not prodromal.
sent11 -> int1: the graduate is not a Vali if the fact that it is both not a Rh and a Vali is not true.; sent2 & sent3 -> int2: the fact that the fact that the descendant is a avadavat and a dray is not wrong does not hold.; sent4 & int2 -> int3: the flattop is not a dray.; int3 -> int4: there is something such that it is not a kind of a dray.; int4 & sent10 -> int5: that the graduate is not a Rh and is a kind of a Vali is not correct.; int1 & int5 -> int6: that the graduate is not a Vali hold.; sent19 -> int7: the graduate is not prodromal if the fact that it is not a kilohertz but pianistic is false.; sent15 -> int8: the fact that the graduate is both not a kilohertz and pianistic is false if it is not Hanoverian.; sent16 -> int9: the radiolarian is both not a Hanoverian and not a bud if that that it is a hematology is not right is not incorrect.;
$hypothesis$ = the radiolarian is not a kind of a kilohertz. ; $context$ = sent1: the radiolarian is not a hematology if that the unction is a kind of a hematology is not incorrect. sent2: if the descendant does not board in-law then the fact that it is a avadavat and it is a kind of a dray does not hold. sent3: that the descendant does not board in-law is correct. sent4: the flattop is not a kind of a dray if the fact that the descendant is a avadavat and a dray does not hold. sent5: if the fact that something is pianistic and it is a kind of a Rh is false then it is not pianistic. sent6: if the radiolarian is both not Hanoverian and not a bud then the graduate is not a Hanoverian. sent7: that the colicroot is not prodromal is correct if the fact that the graduate is not a Vali but prodromal hold. sent8: the radiolarian is transcendental and is a one-twelfth. sent9: that if the graduate is a manual and it is prodromal the radiolarian is not a kilohertz is not false. sent10: if there is something such that it is not a dray then that the graduate is not a Rh but a Vali does not hold. sent11: something is not a Vali if the fact that it is not a Rh and it is a Vali is not true. sent12: the fact that the radiolarian is pianistic thing that is a Rh is incorrect if the graduate is not a kind of a Hanoverian. sent13: the graduate is not prodromal if the radiolarian is a kind of a manual that is a kilohertz. sent14: a non-pianistic thing is both a kilohertz and a Vali. sent15: that something is not a kilohertz but pianistic is not right if it is not a Hanoverian. sent16: if something is not a hematology then it is not a Hanoverian and it does not bud. sent17: the graduate is prodromal. sent18: the graduate is manual and prodromal. sent19: something is not prodromal if that it is not a kind of a kilohertz and is pianistic is not right. ; $proof$ = 
sent9 & sent18 -> hypothesis; __PROVED__