the writer is a kind of a torticollis.
sent1: everything reddens writer. sent2: that the furfural is tolerable is not incorrect if it does not shine dollop and is not a midst. sent3: an intolerable thing that is a midst is not New. sent4: if that the furfural is not a timework and not a kanamycin is false then the fact that it is New hold. sent5: if there exists something such that it is not intolerable and it directs then the writer is a kind of a fritter. sent6: if the writer is a fritter it is a torticollis. sent7: if the load is tolerable it is a midst and it is not New. sent8: if the fact that the furfural is a torticollis or it does shine dollop or both does not hold then the writer is not a kind of a torticollis. sent9: that the iconoscope is non-suborbital but it is a fritter does not hold if it does redden writer. sent10: if the furfural is New it does not shine dollop and it is not a kind of a midst. sent11: the herbage is not tolerable if the Ionian is not tolerable. sent12: that the furfural is not a timework and it is not a kind of a kanamycin is not correct. sent13: something does shine dollop and it is direct if it is not New. sent14: the furfural does direct. sent15: if the herbage is not New that the furfural is a torticollis or it does shine dollop or both is not correct.
sent4 & sent12 -> int1: the furfural is New.; int1 & sent10 -> int2: the fact that the furfural does not shine dollop and is not a kind of a midst hold.; int2 & sent2 -> int3: the furfural is tolerable.; int3 & sent14 -> int4: the furfural is tolerable and it directs.; int4 -> int5: there exists something such that it is tolerable and it is direct.; int5 & sent5 -> int6: the writer is a kind of a fritter.; int6 & sent6 -> hypothesis;
the writer is not a torticollis.
sent3 -> int7: the herbage is not New if it is not tolerable and is a midst.; sent1 -> int8: the fact that the iconoscope does redden writer hold.; sent9 & int8 -> int9: that the iconoscope is not suborbital but it fritters is incorrect.; int9 -> int10: there exists something such that that it is non-suborbital thing that fritters is incorrect.;
$hypothesis$ = the writer is a kind of a torticollis. ; $context$ = sent1: everything reddens writer. sent2: that the furfural is tolerable is not incorrect if it does not shine dollop and is not a midst. sent3: an intolerable thing that is a midst is not New. sent4: if that the furfural is not a timework and not a kanamycin is false then the fact that it is New hold. sent5: if there exists something such that it is not intolerable and it directs then the writer is a kind of a fritter. sent6: if the writer is a fritter it is a torticollis. sent7: if the load is tolerable it is a midst and it is not New. sent8: if the fact that the furfural is a torticollis or it does shine dollop or both does not hold then the writer is not a kind of a torticollis. sent9: that the iconoscope is non-suborbital but it is a fritter does not hold if it does redden writer. sent10: if the furfural is New it does not shine dollop and it is not a kind of a midst. sent11: the herbage is not tolerable if the Ionian is not tolerable. sent12: that the furfural is not a timework and it is not a kind of a kanamycin is not correct. sent13: something does shine dollop and it is direct if it is not New. sent14: the furfural does direct. sent15: if the herbage is not New that the furfural is a torticollis or it does shine dollop or both is not correct. ; $proof$ = 
sent4 & sent12 -> int1: the furfural is New.; int1 & sent10 -> int2: the fact that the furfural does not shine dollop and is not a kind of a midst hold.; int2 & sent2 -> int3: the furfural is tolerable.; int3 & sent14 -> int4: the furfural is tolerable and it directs.; int4 -> int5: there exists something such that it is tolerable and it is direct.; int5 & sent5 -> int6: the writer is a kind of a fritter.; int6 & sent6 -> hypothesis; __PROVED__