the algebraist does not lob temper.
sent1: there is something such that it is a kind of a Domino. sent2: if that the clast is not a handiness but it scintillates is incorrect it does lob pull-off. sent3: if there is something such that it is a kind of a glycine and it is not unchangeable then the clast does not scintillate. sent4: if the fact that the corkwood does not lob eluate and is a Domino does not hold it is not a glycine. sent5: the straightener is changeable and it is a kind of a handiness if something is a overachievement. sent6: if that the corkwood is not a kind of a overachievement is right then the archbishop is a kind of a glycine. sent7: the straightener is a glycine that does lob pull-off if the corkwood is not a glycine. sent8: that the clast is not a kind of a handiness but it does scintillate does not hold. sent9: the algebraist does lob temper if the clast does not scintillate. sent10: the archbishop is a overachievement. sent11: the fact that the corkwood does not lob eluate but it is a Domino is incorrect. sent12: something does not lob temper if the fact that it is changeable and lob temper is not correct.
sent4 & sent11 -> int1: the corkwood is not a glycine.; int1 & sent7 -> int2: the straightener is a glycine and it lobs pull-off.; int2 -> int3: the straightener is a glycine.; sent10 -> int4: that there exists something such that it is a kind of a overachievement is correct.; int4 & sent5 -> int5: the straightener is changeable and it is a handiness.; int5 -> int6: the straightener is changeable.; int3 & int6 -> int7: the straightener is both a glycine and changeable.; int7 -> int8: there is something such that it is a kind of a glycine and is changeable.; int8 & sent3 -> int9: the clast does not scintillate.; int9 & sent9 -> hypothesis;
the algebraist does not lob temper.
sent12 -> int10: if that the straightener is changeable and it lobs temper is not true it does not lobs temper.; sent2 & sent8 -> int11: the clast lobs pull-off.; int11 -> int12: there exists something such that it does lob pull-off.;
$hypothesis$ = the algebraist does not lob temper. ; $context$ = sent1: there is something such that it is a kind of a Domino. sent2: if that the clast is not a handiness but it scintillates is incorrect it does lob pull-off. sent3: if there is something such that it is a kind of a glycine and it is not unchangeable then the clast does not scintillate. sent4: if the fact that the corkwood does not lob eluate and is a Domino does not hold it is not a glycine. sent5: the straightener is changeable and it is a kind of a handiness if something is a overachievement. sent6: if that the corkwood is not a kind of a overachievement is right then the archbishop is a kind of a glycine. sent7: the straightener is a glycine that does lob pull-off if the corkwood is not a glycine. sent8: that the clast is not a kind of a handiness but it does scintillate does not hold. sent9: the algebraist does lob temper if the clast does not scintillate. sent10: the archbishop is a overachievement. sent11: the fact that the corkwood does not lob eluate but it is a Domino is incorrect. sent12: something does not lob temper if the fact that it is changeable and lob temper is not correct. ; $proof$ = 
sent4 & sent11 -> int1: the corkwood is not a glycine.; int1 & sent7 -> int2: the straightener is a glycine and it lobs pull-off.; int2 -> int3: the straightener is a glycine.; sent10 -> int4: that there exists something such that it is a kind of a overachievement is correct.; int4 & sent5 -> int5: the straightener is changeable and it is a handiness.; int5 -> int6: the straightener is changeable.; int3 & int6 -> int7: the straightener is both a glycine and changeable.; int7 -> int8: there is something such that it is a kind of a glycine and is changeable.; int8 & sent3 -> int9: the clast does not scintillate.; int9 & sent9 -> hypothesis; __DISPROVED__