there is something such that it is a Montfort.
sent1: the litterbin skews. sent2: if the rewa-rewa is monocarpic the litterbin is monocarpic. sent3: if the flageolet is a Dumas and/or does not skew the litterbin is not a kind of a Yiddish. sent4: the rewa-rewa does skew. sent5: either the flageolet is a Dumas or it does not skew or both. sent6: if an interferon is bardic then the northland is a Montfort. sent7: there exists something such that it is bardic. sent8: if something is not a Yiddish then it is a kind of an interferon. sent9: if something is monocarpic then it is bardic. sent10: the fact that the rewa-rewa is monocarpic is right. sent11: there is something such that it is an interferon. sent12: the beneficiary is Hippocratic and it is bardic. sent13: if the flageolet is a kind of a Dumas that the litterbin is not a Yiddish is not false.
sent3 & sent5 -> int1: the litterbin is not a Yiddish.; sent8 -> int2: the litterbin is a kind of an interferon if it is not a Yiddish.; int1 & int2 -> int3: the litterbin is a kind of an interferon.; sent9 -> int4: if the litterbin is monocarpic then it is bardic.; sent2 & sent10 -> int5: the litterbin is monocarpic.; int4 & int5 -> int6: the litterbin is bardic.; int3 & int6 -> int7: the litterbin is a kind of an interferon that is bardic.; int7 -> int8: there exists something such that it is a kind of an interferon and it is bardic.; int8 & sent6 -> int9: the northland is a Montfort.; int9 -> hypothesis;
$hypothesis$ = there is something such that it is a Montfort. ; $context$ = sent1: the litterbin skews. sent2: if the rewa-rewa is monocarpic the litterbin is monocarpic. sent3: if the flageolet is a Dumas and/or does not skew the litterbin is not a kind of a Yiddish. sent4: the rewa-rewa does skew. sent5: either the flageolet is a Dumas or it does not skew or both. sent6: if an interferon is bardic then the northland is a Montfort. sent7: there exists something such that it is bardic. sent8: if something is not a Yiddish then it is a kind of an interferon. sent9: if something is monocarpic then it is bardic. sent10: the fact that the rewa-rewa is monocarpic is right. sent11: there is something such that it is an interferon. sent12: the beneficiary is Hippocratic and it is bardic. sent13: if the flageolet is a kind of a Dumas that the litterbin is not a Yiddish is not false. ; $proof$ = 
sent3 & sent5 -> int1: the litterbin is not a Yiddish.; sent8 -> int2: the litterbin is a kind of an interferon if it is not a Yiddish.; int1 & int2 -> int3: the litterbin is a kind of an interferon.; sent9 -> int4: if the litterbin is monocarpic then it is bardic.; sent2 & sent10 -> int5: the litterbin is monocarpic.; int4 & int5 -> int6: the litterbin is bardic.; int3 & int6 -> int7: the litterbin is a kind of an interferon that is bardic.; int7 -> int8: there exists something such that it is a kind of an interferon and it is bardic.; int8 & sent6 -> int9: the northland is a Montfort.; int9 -> hypothesis; __PROVED__