there is something such that the fact that it is a spare and it is not a American is wrong.
sent1: if the Utopian is not a adnoun the fluorescein is not a viewers but a adnoun. sent2: there is something such that it is not a kind of a vestryman. sent3: the Utopian is a kind of a viewers. sent4: the fact that the fluorescein is not a kind of a American hold if the fact that the battledore is a kind of a adnoun that does impair Corneille is false. sent5: if something does not impair Corneille that it spares and is not American is not true. sent6: the Utopian is not a polymerization but it is a kind of a viewers if the pitchfork is not a kind of a viewers. sent7: there exists something such that it does not inlay. sent8: the pitchfork is not a kind of a adnoun. sent9: if the fact that the fluorescein basks encyclopedist and it impairs Corneille is incorrect the pitchfork is not a viewers. sent10: that the fluorescein is a adnoun and basks encyclopedist is not true if there exists something such that it is not a vestryman. sent11: there is something such that it is a polymerization. sent12: that the battledore is a viewers and does not impair Corneille is false. sent13: if that the fluorescein is a adnoun and it does bask encyclopedist is not correct then the pitchfork is not a kind of a viewers. sent14: if that the fluorescein is not a adnoun hold then the Mace is not a kind of a adnoun. sent15: there is something such that the fact that it is a polymerization and is a kind of a adnoun is incorrect. sent16: the battledore does not impair Corneille if the Utopian is not a polymerization but it is a viewers. sent17: there is something such that it is not a adnoun.
sent2 & sent10 -> int1: the fact that the fluorescein is a adnoun and it basks encyclopedist is not correct.; int1 & sent13 -> int2: that the pitchfork is not a viewers is not wrong.; int2 & sent6 -> int3: the Utopian is not a polymerization but it is a kind of a viewers.; int3 & sent16 -> int4: the fact that the battledore does not impair Corneille hold.; sent5 -> int5: the fact that the battledore is a kind of a spare but it is not a American is not true if that it does not impair Corneille hold.; int4 & int5 -> int6: that the battledore does spare but it is not a kind of a American is incorrect.; int6 -> hypothesis;
the Mace is not a adnoun.
$hypothesis$ = there is something such that the fact that it is a spare and it is not a American is wrong. ; $context$ = sent1: if the Utopian is not a adnoun the fluorescein is not a viewers but a adnoun. sent2: there is something such that it is not a kind of a vestryman. sent3: the Utopian is a kind of a viewers. sent4: the fact that the fluorescein is not a kind of a American hold if the fact that the battledore is a kind of a adnoun that does impair Corneille is false. sent5: if something does not impair Corneille that it spares and is not American is not true. sent6: the Utopian is not a polymerization but it is a kind of a viewers if the pitchfork is not a kind of a viewers. sent7: there exists something such that it does not inlay. sent8: the pitchfork is not a kind of a adnoun. sent9: if the fact that the fluorescein basks encyclopedist and it impairs Corneille is incorrect the pitchfork is not a viewers. sent10: that the fluorescein is a adnoun and basks encyclopedist is not true if there exists something such that it is not a vestryman. sent11: there is something such that it is a polymerization. sent12: that the battledore is a viewers and does not impair Corneille is false. sent13: if that the fluorescein is a adnoun and it does bask encyclopedist is not correct then the pitchfork is not a kind of a viewers. sent14: if that the fluorescein is not a adnoun hold then the Mace is not a kind of a adnoun. sent15: there is something such that the fact that it is a polymerization and is a kind of a adnoun is incorrect. sent16: the battledore does not impair Corneille if the Utopian is not a polymerization but it is a viewers. sent17: there is something such that it is not a adnoun. ; $proof$ = 
sent2 & sent10 -> int1: the fact that the fluorescein is a adnoun and it basks encyclopedist is not correct.; int1 & sent13 -> int2: that the pitchfork is not a viewers is not wrong.; int2 & sent6 -> int3: the Utopian is not a polymerization but it is a kind of a viewers.; int3 & sent16 -> int4: the fact that the battledore does not impair Corneille hold.; sent5 -> int5: the fact that the battledore is a kind of a spare but it is not a American is not true if that it does not impair Corneille hold.; int4 & int5 -> int6: that the battledore does spare but it is not a kind of a American is incorrect.; int6 -> hypothesis; __PROVED__