the Xerox does not rotate.
sent1: that the letterer is a lunch and not aperiodic does not hold if there is something such that that it is not a kind of a sewage hold. sent2: the dehiscence is both a lunch and noninfectious. sent3: everything rotates and does lunch. sent4: everything is not aperiodic and it is a sewage. sent5: something is a Apocynum or it does not rotate or both if it is not aperiodic. sent6: everything queens seabag and is indispensable. sent7: everything is a Zurvan and it is anacoluthic. sent8: if something is not a lunch it is a plumb. sent9: the bagatelle is a lunch. sent10: the Xerox is opened and it is a valvule. sent11: everything rebukes and laicizes outfitter. sent12: the fact that the Meridian is a lunch is correct. sent13: the sodalist does rotate. sent14: everything is a lunch. sent15: the afterbirth inserts and it laicizes nelfinavir. sent16: the middlebrow is a kind of a lunch that is a Epidendrum. sent17: the Xerox is a archaist and it is true-false. sent18: something that is capable is not xerographic and is not a sewage. sent19: something is a kind of a Apocynum if it either is a Apocynum or does not rotate or both. sent20: the Xerox is a lunch.
sent3 -> int1: the Xerox rotates and it is a kind of a lunch.; int1 -> hypothesis;
that the Xerox does not rotate hold.
sent18 -> int2: if the photometer is capable then it is not xerographic and not a sewage.;
$hypothesis$ = the Xerox does not rotate. ; $context$ = sent1: that the letterer is a lunch and not aperiodic does not hold if there is something such that that it is not a kind of a sewage hold. sent2: the dehiscence is both a lunch and noninfectious. sent3: everything rotates and does lunch. sent4: everything is not aperiodic and it is a sewage. sent5: something is a Apocynum or it does not rotate or both if it is not aperiodic. sent6: everything queens seabag and is indispensable. sent7: everything is a Zurvan and it is anacoluthic. sent8: if something is not a lunch it is a plumb. sent9: the bagatelle is a lunch. sent10: the Xerox is opened and it is a valvule. sent11: everything rebukes and laicizes outfitter. sent12: the fact that the Meridian is a lunch is correct. sent13: the sodalist does rotate. sent14: everything is a lunch. sent15: the afterbirth inserts and it laicizes nelfinavir. sent16: the middlebrow is a kind of a lunch that is a Epidendrum. sent17: the Xerox is a archaist and it is true-false. sent18: something that is capable is not xerographic and is not a sewage. sent19: something is a kind of a Apocynum if it either is a Apocynum or does not rotate or both. sent20: the Xerox is a lunch. ; $proof$ = 
sent3 -> int1: the Xerox rotates and it is a kind of a lunch.; int1 -> hypothesis; __DISPROVED__