the shire is not an antiviral and is stemmatic.
sent1: if the squamule is a handle the fact that the east is non-diazo thing that is harmful is not true. sent2: that the east is diazo thing that is harmful is wrong. sent3: that the speeder is diazo hold if the fact that the east is not diazo but it is harmful is wrong. sent4: the perjurer does bear devotional. sent5: there is something such that it is diazo. sent6: that the speeder implies lateen-rig is not wrong if the perjurer implies Benin. sent7: something is diazo if it is a handle. sent8: that something is harmful and is not a handle is not correct if it superscribes former. sent9: if something does not bear devotional then the fact that it is non-antiviral thing that is stemmatic is not right. sent10: if something that is diazo does imply lateen-rig then the shire is non-antiviral. sent11: the fact that the speeder tautens carrizo is not wrong. sent12: the speeder is diazo if the east is diazo. sent13: if the fact that the speeder does not bear devotional is true that it does imply Benin and is stemmatic is not right. sent14: the shire superscribes former. sent15: the squamule does handle. sent16: the perjurer bears devotional and does imply Benin. sent17: the shire does not tauten carrizo. sent18: that the perjurer is not a chart but it bears devotional is right. sent19: something superscribes former if it does not tauten carrizo. sent20: the perjurer is a kind of a handle if that the speeder is harmful and is not a handle is false. sent21: The carrizo does not tauten shire. sent22: the Fang is a Prometheus that is navigational. sent23: if something does not tauten carrizo it is stemmatic and does superscribe former. sent24: there exists something such that it does imply lateen-rig. sent25: if the shire does not tauten carrizo then it superscribes former. sent26: the fact that that the east is both diazo and harmful is false is right if that the squamule does handle hold. sent27: if the speeder does tauten carrizo then that it does superscribe former hold. sent28: the shire is diazo. sent29: the fact that the shire does not imply Benin but it is stemmatic is wrong.
sent16 -> int1: the perjurer implies Benin.; int1 & sent6 -> int2: the speeder implies lateen-rig.; sent1 & sent15 -> int3: the fact that the east is not diazo but it is harmful is wrong.; sent3 & int3 -> int4: the speeder is diazo.; int2 & int4 -> int5: the speeder is a kind of diazo thing that does imply lateen-rig.; int5 -> int6: something is diazo and it does imply lateen-rig.; int6 & sent10 -> int7: the fact that the shire is not antiviral hold.; sent23 -> int8: if the shire does not tauten carrizo then it is stemmatic and it superscribes former.; int8 & sent17 -> int9: the shire is stemmatic thing that superscribes former.; int9 -> int10: the shire is stemmatic.; int7 & int10 -> hypothesis;
the fact that the shire is not a kind of an antiviral but it is stemmatic does not hold.
$hypothesis$ = the shire is not an antiviral and is stemmatic. ; $context$ = sent1: if the squamule is a handle the fact that the east is non-diazo thing that is harmful is not true. sent2: that the east is diazo thing that is harmful is wrong. sent3: that the speeder is diazo hold if the fact that the east is not diazo but it is harmful is wrong. sent4: the perjurer does bear devotional. sent5: there is something such that it is diazo. sent6: that the speeder implies lateen-rig is not wrong if the perjurer implies Benin. sent7: something is diazo if it is a handle. sent8: that something is harmful and is not a handle is not correct if it superscribes former. sent9: if something does not bear devotional then the fact that it is non-antiviral thing that is stemmatic is not right. sent10: if something that is diazo does imply lateen-rig then the shire is non-antiviral. sent11: the fact that the speeder tautens carrizo is not wrong. sent12: the speeder is diazo if the east is diazo. sent13: if the fact that the speeder does not bear devotional is true that it does imply Benin and is stemmatic is not right. sent14: the shire superscribes former. sent15: the squamule does handle. sent16: the perjurer bears devotional and does imply Benin. sent17: the shire does not tauten carrizo. sent18: that the perjurer is not a chart but it bears devotional is right. sent19: something superscribes former if it does not tauten carrizo. sent20: the perjurer is a kind of a handle if that the speeder is harmful and is not a handle is false. sent21: The carrizo does not tauten shire. sent22: the Fang is a Prometheus that is navigational. sent23: if something does not tauten carrizo it is stemmatic and does superscribe former. sent24: there exists something such that it does imply lateen-rig. sent25: if the shire does not tauten carrizo then it superscribes former. sent26: the fact that that the east is both diazo and harmful is false is right if that the squamule does handle hold. sent27: if the speeder does tauten carrizo then that it does superscribe former hold. sent28: the shire is diazo. sent29: the fact that the shire does not imply Benin but it is stemmatic is wrong. ; $proof$ = 
sent16 -> int1: the perjurer implies Benin.; int1 & sent6 -> int2: the speeder implies lateen-rig.; sent1 & sent15 -> int3: the fact that the east is not diazo but it is harmful is wrong.; sent3 & int3 -> int4: the speeder is diazo.; int2 & int4 -> int5: the speeder is a kind of diazo thing that does imply lateen-rig.; int5 -> int6: something is diazo and it does imply lateen-rig.; int6 & sent10 -> int7: the fact that the shire is not antiviral hold.; sent23 -> int8: if the shire does not tauten carrizo then it is stemmatic and it superscribes former.; int8 & sent17 -> int9: the shire is stemmatic thing that superscribes former.; int9 -> int10: the shire is stemmatic.; int7 & int10 -> hypothesis; __PROVED__