the butterfish does not harlequin.
sent1: something is a kind of a harlequin and it is a awn if it is not a reductio. sent2: if there exists something such that the fact that it is not a kind of an outboard and is a sonar is not correct then the butterfish is not a harlequin. sent3: if that something is not a kind of a harlequin and is emotional does not hold then it is not emotional. sent4: there is something such that it is not a kind of an outboard and is a sonar. sent5: if that something is not playable but it is not a kind of a Gorki is incorrect then that it is not playable is not incorrect. sent6: there is nothing such that it is unplayable and is not a Gorki. sent7: if the butterfish is not a kind of a councilman and it does not manacle serology then the dextrose is not a kind of a reductio. sent8: there exists something such that that it is an outboard and it is a sonar is not right. sent9: if the warfarin is emotional that the dextrose is non-outboard thing that is a sonar is not right. sent10: if something is not unplayable then it is not a councilman and does not manacle serology. sent11: the fact that the warfarin is not a pronominal but it is a pullover is false if it is not emotional. sent12: the fact that the warfarin is emotional is correct.
sent9 & sent12 -> int1: the fact that the dextrose is a kind of non-outboard thing that is a kind of a sonar does not hold.; int1 -> int2: there is something such that that it is non-outboard thing that is a sonar is not correct.; int2 & sent2 -> hypothesis;
there is something such that the fact that it is not a pronominal and is a pullover is false.
sent3 -> int3: if the fact that the warfarin is not a harlequin and is emotional is not correct then it is not emotional.; sent10 -> int4: if the eater is not unplayable it is not a councilman and does not manacle serology.; sent5 -> int5: if the fact that the solitary is unplayable and not a Gorki is false it is not unplayable.; sent6 -> int6: the fact that that the solitary is unplayable but it is not a Gorki is not incorrect does not hold.; int5 & int6 -> int7: the solitary is not unplayable.; int7 -> int8: that everything is not unplayable is not wrong.; int8 -> int9: the eater is not unplayable.; int4 & int9 -> int10: the eater is not a councilman and does not manacle serology.; int10 -> int11: everything is not a councilman and it does not manacle serology.; int11 -> int12: the butterfish is not a councilman and it does not manacle serology.; sent7 & int12 -> int13: the dextrose is not a reductio.; sent1 -> int14: the dextrose does harlequin and is a awn if it is not a reductio.; int13 & int14 -> int15: the dextrose is a harlequin and it is a kind of a awn.; int15 -> int16: that the dextrose is a kind of a harlequin hold.; int16 -> int17: there exists something such that it is a harlequin.;
$hypothesis$ = the butterfish does not harlequin. ; $context$ = sent1: something is a kind of a harlequin and it is a awn if it is not a reductio. sent2: if there exists something such that the fact that it is not a kind of an outboard and is a sonar is not correct then the butterfish is not a harlequin. sent3: if that something is not a kind of a harlequin and is emotional does not hold then it is not emotional. sent4: there is something such that it is not a kind of an outboard and is a sonar. sent5: if that something is not playable but it is not a kind of a Gorki is incorrect then that it is not playable is not incorrect. sent6: there is nothing such that it is unplayable and is not a Gorki. sent7: if the butterfish is not a kind of a councilman and it does not manacle serology then the dextrose is not a kind of a reductio. sent8: there exists something such that that it is an outboard and it is a sonar is not right. sent9: if the warfarin is emotional that the dextrose is non-outboard thing that is a sonar is not right. sent10: if something is not unplayable then it is not a councilman and does not manacle serology. sent11: the fact that the warfarin is not a pronominal but it is a pullover is false if it is not emotional. sent12: the fact that the warfarin is emotional is correct. ; $proof$ = 
sent9 & sent12 -> int1: the fact that the dextrose is a kind of non-outboard thing that is a kind of a sonar does not hold.; int1 -> int2: there is something such that that it is non-outboard thing that is a sonar is not correct.; int2 & sent2 -> hypothesis; __PROVED__