the rapeseed is a Nelson.
sent1: if the cookbook gilds blotch then the rapeseed is a Nelson. sent2: the rapeseed is chaffy if the ninepins is not perianal. sent3: the Raffia does stab dyne if something stab dyne and/or it is not a glossy. sent4: if something is chaffy and/or it does number the fact that it is not a Nelson is true. sent5: the ninepins is non-perianal if there exists something such that that it is a taxiway and it is not non-excretory is not right. sent6: The blotch does not gild cookbook. sent7: the cookbook gilds blotch if the madrepore is perianal. sent8: the fact that something does stab dyne and/or is not a glossy is right. sent9: if the cookbook does not gild blotch that the madrepore is a taxiway and it is excretory is not right. sent10: the cookbook does not gild blotch. sent11: the satchel does dare if there is something such that it is a dare or it stabs dyne or both. sent12: the shrapnel does not condemn vignette if the satchel is a dare. sent13: there is something such that it is a taxiway and is excretory. sent14: if something does not condemn vignette then that it is chaffy or it is not a kind of a numbers or both does not hold.
sent9 & sent10 -> int1: the fact that the madrepore is a kind of a taxiway and is excretory is incorrect.; int1 -> int2: there exists something such that that it is a kind of a taxiway and is excretory is not true.; int2 & sent5 -> int3: that the ninepins is not perianal is correct.; int3 & sent2 -> int4: the rapeseed is chaffy.; int4 -> int5: the rapeseed either is chaffy or is a numbers or both.; sent4 -> int6: the fact that the rapeseed is not a Nelson is not false if it is chaffy and/or a numbers.; int5 & int6 -> hypothesis;
the rapeseed is a Nelson.
sent14 -> int7: that the shrapnel is either chaffy or not a numbers or both is not true if it does not condemn vignette.; sent8 & sent3 -> int8: the Raffia does stab dyne.; int8 -> int9: the Raffia either dares or stabs dyne or both.; int9 -> int10: something does dare and/or does stab dyne.; int10 & sent11 -> int11: that the satchel is a kind of a dare is correct.; sent12 & int11 -> int12: the shrapnel does not condemn vignette.; int7 & int12 -> int13: that the shrapnel is chaffy and/or not a numbers is not true.; int13 -> int14: there exists something such that the fact that it either is chaffy or does not number or both does not hold.;
$hypothesis$ = the rapeseed is a Nelson. ; $context$ = sent1: if the cookbook gilds blotch then the rapeseed is a Nelson. sent2: the rapeseed is chaffy if the ninepins is not perianal. sent3: the Raffia does stab dyne if something stab dyne and/or it is not a glossy. sent4: if something is chaffy and/or it does number the fact that it is not a Nelson is true. sent5: the ninepins is non-perianal if there exists something such that that it is a taxiway and it is not non-excretory is not right. sent6: The blotch does not gild cookbook. sent7: the cookbook gilds blotch if the madrepore is perianal. sent8: the fact that something does stab dyne and/or is not a glossy is right. sent9: if the cookbook does not gild blotch that the madrepore is a taxiway and it is excretory is not right. sent10: the cookbook does not gild blotch. sent11: the satchel does dare if there is something such that it is a dare or it stabs dyne or both. sent12: the shrapnel does not condemn vignette if the satchel is a dare. sent13: there is something such that it is a taxiway and is excretory. sent14: if something does not condemn vignette then that it is chaffy or it is not a kind of a numbers or both does not hold. ; $proof$ = 
sent9 & sent10 -> int1: the fact that the madrepore is a kind of a taxiway and is excretory is incorrect.; int1 -> int2: there exists something such that that it is a kind of a taxiway and is excretory is not true.; int2 & sent5 -> int3: that the ninepins is not perianal is correct.; int3 & sent2 -> int4: the rapeseed is chaffy.; int4 -> int5: the rapeseed either is chaffy or is a numbers or both.; sent4 -> int6: the fact that the rapeseed is not a Nelson is not false if it is chaffy and/or a numbers.; int5 & int6 -> hypothesis; __DISPROVED__