the antifeminist is not a kind of a iteration.
sent1: if the snapline is both a blackmail and a flute then the embroiderer is not a Bulgarian. sent2: the antifeminist is not a iteration if the sternwheeler is scholastic and it is a kind of a Bulgarian. sent3: the embroiderer is a iteration and it is an allotrope. sent4: the embroiderer is a contusion if that it does not bog monarchist and is a kind of a haste is not true. sent5: the sternwheeler is a contusion if it is a kind of a Bulgarian. sent6: if the embroiderer is not a flute the monarchist is a blackmail. sent7: the snapline is a kind of a Bulgarian. sent8: the monarchist does flute if the embroiderer is not a visored. sent9: the monarchist is a visored. sent10: the fact that the embroiderer does not bog monarchist but it is a kind of a haste is not correct. sent11: the fact that the embroiderer is scalar hold. sent12: if the embroiderer is a contusion that does blackmail then it is not a visored. sent13: if the monarchist is a flute then the sternwheeler is scholastic thing that does not agonize. sent14: the sternwheeler is Bulgarian if the snapline is a kind of a Bulgarian. sent15: if the fact that the embroiderer is non-scholastic thing that bogs monarchist is not right it is Bulgarian.
sent4 & sent10 -> int1: the embroiderer is a contusion.; sent14 & sent7 -> int2: the sternwheeler is a Bulgarian.;
$hypothesis$ = the antifeminist is not a kind of a iteration. ; $context$ = sent1: if the snapline is both a blackmail and a flute then the embroiderer is not a Bulgarian. sent2: the antifeminist is not a iteration if the sternwheeler is scholastic and it is a kind of a Bulgarian. sent3: the embroiderer is a iteration and it is an allotrope. sent4: the embroiderer is a contusion if that it does not bog monarchist and is a kind of a haste is not true. sent5: the sternwheeler is a contusion if it is a kind of a Bulgarian. sent6: if the embroiderer is not a flute the monarchist is a blackmail. sent7: the snapline is a kind of a Bulgarian. sent8: the monarchist does flute if the embroiderer is not a visored. sent9: the monarchist is a visored. sent10: the fact that the embroiderer does not bog monarchist but it is a kind of a haste is not correct. sent11: the fact that the embroiderer is scalar hold. sent12: if the embroiderer is a contusion that does blackmail then it is not a visored. sent13: if the monarchist is a flute then the sternwheeler is scholastic thing that does not agonize. sent14: the sternwheeler is Bulgarian if the snapline is a kind of a Bulgarian. sent15: if the fact that the embroiderer is non-scholastic thing that bogs monarchist is not right it is Bulgarian. ; $proof$ = 
sent4 & sent10 -> int1: the embroiderer is a contusion.; sent14 & sent7 -> int2: the sternwheeler is a Bulgarian.; __UNKNOWN__