the razor is not a Jamaican.
sent1: if the bootblack is monozygotic thing that is not a transponder the razor is insurmountable. sent2: the psilomelane is not temperate if the flush is a zoril. sent3: the gawker is not temperate. sent4: if something is a heaves and not binomial that it is not insurmountable is right. sent5: the flush is not a kind of a zoril if the gawker is not a kind of a shrike. sent6: if something is insurmountable then it is a Jamaican. sent7: there exists something such that it is both not a shrike and not monozygotic. sent8: if the flush is monozygotic the psilomelane is not temperate. sent9: the frostiness effects details and is not a canafistola. sent10: something does not heave. sent11: something is a heaves and not a binomial. sent12: something does not heave and is a binomial. sent13: if that the bootblack is not a zoril and/or it is not temperate is incorrect then the flush is not temperate. sent14: the fact that if something is not insurmountable or it is a kind of a Jamaican or both then the flush is not a transponder hold. sent15: everything does not effect format. sent16: if something is a Opposition then it is a heaves that is not a binomial. sent17: there is something such that it is non-binomial. sent18: if something is not temperate the fact that it is a shrike and does dissemble bigram is not correct. sent19: the bootblack is monozygotic if the flush is not a kind of a zoril. sent20: there exists something such that it is not a heaves and is not a binomial. sent21: the flush is not a kind of a zoril if the fact that the gawker is a kind of a shrike and dissembles bigram is incorrect. sent22: if something is monozygotic it is Jamaican. sent23: if there is something such that it is not a heaves but non-binomial the bootblack is not a transponder. sent24: that the fact that something is not a zoril and/or it is not temperate is correct is incorrect if it is not monozygotic. sent25: the razor is a kind of a zoril if the bootblack is a transponder and is not Jamaican. sent26: something either is monozygotic or is a zoril or both if it is not a transponder.
sent18 -> int1: the fact that the gawker is a shrike and it does dissemble bigram is not true if it is not temperate.; int1 & sent3 -> int2: that the gawker is a shrike that does dissemble bigram is false.; int2 & sent21 -> int3: the fact that the flush is not a zoril is not false.; int3 & sent19 -> int4: the bootblack is monozygotic.; sent20 & sent23 -> int5: the bootblack is not a transponder.; int4 & int5 -> int6: the bootblack is monozygotic but it is not a transponder.; int6 & sent1 -> int7: the razor is insurmountable.; sent6 -> int8: the razor is Jamaican if it is insurmountable.; int7 & int8 -> hypothesis;
the psilomelane is not temperate.
sent26 -> int9: the flush is monozygotic or is a zoril or both if it is not a transponder.; sent4 -> int10: if the razor heaves but it is not a kind of a binomial then it is not insurmountable.; sent16 -> int11: if the razor is a Opposition then it is a heaves and it is not a binomial.; sent15 -> int12: the razor does not effect format.;
$hypothesis$ = the razor is not a Jamaican. ; $context$ = sent1: if the bootblack is monozygotic thing that is not a transponder the razor is insurmountable. sent2: the psilomelane is not temperate if the flush is a zoril. sent3: the gawker is not temperate. sent4: if something is a heaves and not binomial that it is not insurmountable is right. sent5: the flush is not a kind of a zoril if the gawker is not a kind of a shrike. sent6: if something is insurmountable then it is a Jamaican. sent7: there exists something such that it is both not a shrike and not monozygotic. sent8: if the flush is monozygotic the psilomelane is not temperate. sent9: the frostiness effects details and is not a canafistola. sent10: something does not heave. sent11: something is a heaves and not a binomial. sent12: something does not heave and is a binomial. sent13: if that the bootblack is not a zoril and/or it is not temperate is incorrect then the flush is not temperate. sent14: the fact that if something is not insurmountable or it is a kind of a Jamaican or both then the flush is not a transponder hold. sent15: everything does not effect format. sent16: if something is a Opposition then it is a heaves that is not a binomial. sent17: there is something such that it is non-binomial. sent18: if something is not temperate the fact that it is a shrike and does dissemble bigram is not correct. sent19: the bootblack is monozygotic if the flush is not a kind of a zoril. sent20: there exists something such that it is not a heaves and is not a binomial. sent21: the flush is not a kind of a zoril if the fact that the gawker is a kind of a shrike and dissembles bigram is incorrect. sent22: if something is monozygotic it is Jamaican. sent23: if there is something such that it is not a heaves but non-binomial the bootblack is not a transponder. sent24: that the fact that something is not a zoril and/or it is not temperate is correct is incorrect if it is not monozygotic. sent25: the razor is a kind of a zoril if the bootblack is a transponder and is not Jamaican. sent26: something either is monozygotic or is a zoril or both if it is not a transponder. ; $proof$ = 
sent18 -> int1: the fact that the gawker is a shrike and it does dissemble bigram is not true if it is not temperate.; int1 & sent3 -> int2: that the gawker is a shrike that does dissemble bigram is false.; int2 & sent21 -> int3: the fact that the flush is not a zoril is not false.; int3 & sent19 -> int4: the bootblack is monozygotic.; sent20 & sent23 -> int5: the bootblack is not a transponder.; int4 & int5 -> int6: the bootblack is monozygotic but it is not a transponder.; int6 & sent1 -> int7: the razor is insurmountable.; sent6 -> int8: the razor is Jamaican if it is insurmountable.; int7 & int8 -> hypothesis; __DISPROVED__