the fact that that the shelver does not pursue and does remount is not true is right.
sent1: that the rock pursues and is parhelic is not correct. sent2: if the shelver pipes Willebrand the fact that it hoists and it is a worthy is incorrect. sent3: if something is a A'man then that it is a Prolog and a Laocoon is not true. sent4: if something is a kind of a Laocoon then the fact that it is not paleolithic and it is a polychaete is not right. sent5: that something is non-pediatric thing that pipes impropriety is not true if it shelters catgut. sent6: the fact that the steppe is not a remount and does jump harpsichordist is incorrect. sent7: everything is radiological. sent8: the shelver is a corned. sent9: the fact that the cigarillo is a incredibility and a mass is not true. sent10: if the shelver is a remount that the fact that it is not a A'man and it is pugilistic is right is not right. sent11: that something does not pursue and is a remount is not right if it is a incredibility. sent12: everything does jump monograph. sent13: the fact that the shelver is a Tito and it is celiac does not hold if it does mass. sent14: the fact that the shelver pursues and it is unpermissive is wrong. sent15: the fact that the shelver is not supraorbital but it is a peacekeeper is wrong. sent16: the fact that something is a jacks that is seismological does not hold if it is a four-wheeler. sent17: if something that is a incredibility is not a kind of an ermine then it does not pursue. sent18: if the shelver is a remount that it does not jump shelver and it is a worthy does not hold. sent19: the fact that the shelver is a koan that is ocular does not hold if it is a kind of a sorbet. sent20: the fact that the catgut does not provide Onosmodium and is a remount is not true. sent21: everything is a incredibility.
sent21 -> int1: the shelver is a kind of a incredibility.; sent11 -> int2: that that the shelver does not pursue and does remount is not false is wrong if it is a incredibility.; int1 & int2 -> hypothesis;
the shelver does not pursue and is a kind of a remount.
sent17 -> int3: if the shelver is a kind of a incredibility and is not an ermine then it does not pursue.;
$hypothesis$ = the fact that that the shelver does not pursue and does remount is not true is right. ; $context$ = sent1: that the rock pursues and is parhelic is not correct. sent2: if the shelver pipes Willebrand the fact that it hoists and it is a worthy is incorrect. sent3: if something is a A'man then that it is a Prolog and a Laocoon is not true. sent4: if something is a kind of a Laocoon then the fact that it is not paleolithic and it is a polychaete is not right. sent5: that something is non-pediatric thing that pipes impropriety is not true if it shelters catgut. sent6: the fact that the steppe is not a remount and does jump harpsichordist is incorrect. sent7: everything is radiological. sent8: the shelver is a corned. sent9: the fact that the cigarillo is a incredibility and a mass is not true. sent10: if the shelver is a remount that the fact that it is not a A'man and it is pugilistic is right is not right. sent11: that something does not pursue and is a remount is not right if it is a incredibility. sent12: everything does jump monograph. sent13: the fact that the shelver is a Tito and it is celiac does not hold if it does mass. sent14: the fact that the shelver pursues and it is unpermissive is wrong. sent15: the fact that the shelver is not supraorbital but it is a peacekeeper is wrong. sent16: the fact that something is a jacks that is seismological does not hold if it is a four-wheeler. sent17: if something that is a incredibility is not a kind of an ermine then it does not pursue. sent18: if the shelver is a remount that it does not jump shelver and it is a worthy does not hold. sent19: the fact that the shelver is a koan that is ocular does not hold if it is a kind of a sorbet. sent20: the fact that the catgut does not provide Onosmodium and is a remount is not true. sent21: everything is a incredibility. ; $proof$ = 
sent21 -> int1: the shelver is a kind of a incredibility.; sent11 -> int2: that that the shelver does not pursue and does remount is not false is wrong if it is a incredibility.; int1 & int2 -> hypothesis; __PROVED__