the mint is a arcus.
sent1: something does shelter peasant. sent2: if something is not pugilistic it does not wire exfoliation and/or distinguishes Gurkha. sent3: there exists something such that it does shelter peasant and does awe. sent4: something that is not a denial and/or is not unmown does not emigrate. sent5: there exists something such that it is both a denial and unmown. sent6: if something does not emigrate it is not a arcus. sent7: the facade is not a kind of a quinsy. sent8: if the naphazoline does not emigrate then it is a kind of a denial. sent9: if there is something such that it is a denial and is not unmown the facade is a equinoctial. sent10: something that does not emigrate is a kind of a denial and is not unmown. sent11: something is a kind of a denial. sent12: if something does not emigrate it is a kind of a denial. sent13: if the facade is equinoctial the mint is a kind of a arcus. sent14: something is not unmanageable and not a ruddles if it is not a quinsy. sent15: if something that is not unmanageable is not a ruddles then it is not pugilistic. sent16: the fact that the naphazoline is a denial is right. sent17: the naphazoline does not emigrate if something that shelters peasant is not an awe. sent18: the facade is not equinoctial if there is something such that that it emigrates and it is not a arcus is right. sent19: if the fact that the naphazoline is not a equinoctial hold then either the mint is not a denial or it is mown or both. sent20: there is something such that it does not awe. sent21: the fact that something is a kind of mown thing that emigrates is wrong if it is a denial.
sent10 -> int1: the naphazoline is a denial that is not unmown if that it does not emigrate is right.;
the mint is not a arcus.
sent6 -> int2: if the mint does not emigrate then it is not a arcus.; sent4 -> int3: that the mint does not emigrate is right if it is not a denial or it is not unmown or both.; sent2 -> int4: the facade does not wire exfoliation or it distinguishes Gurkha or both if it is not pugilistic.; sent15 -> int5: the facade is non-pugilistic if it is not unmanageable and it is not a kind of a ruddles.; sent14 -> int6: that the facade is not unmanageable and does not ruddle is right if it is not a kind of a quinsy.; int6 & sent7 -> int7: the facade is not unmanageable and it does not ruddle.; int5 & int7 -> int8: the facade is not pugilistic.; int4 & int8 -> int9: the facade either does not wire exfoliation or does distinguish Gurkha or both.; int9 -> int10: there is something such that either it does not wire exfoliation or it distinguishes Gurkha or both.;
$hypothesis$ = the mint is a arcus. ; $context$ = sent1: something does shelter peasant. sent2: if something is not pugilistic it does not wire exfoliation and/or distinguishes Gurkha. sent3: there exists something such that it does shelter peasant and does awe. sent4: something that is not a denial and/or is not unmown does not emigrate. sent5: there exists something such that it is both a denial and unmown. sent6: if something does not emigrate it is not a arcus. sent7: the facade is not a kind of a quinsy. sent8: if the naphazoline does not emigrate then it is a kind of a denial. sent9: if there is something such that it is a denial and is not unmown the facade is a equinoctial. sent10: something that does not emigrate is a kind of a denial and is not unmown. sent11: something is a kind of a denial. sent12: if something does not emigrate it is a kind of a denial. sent13: if the facade is equinoctial the mint is a kind of a arcus. sent14: something is not unmanageable and not a ruddles if it is not a quinsy. sent15: if something that is not unmanageable is not a ruddles then it is not pugilistic. sent16: the fact that the naphazoline is a denial is right. sent17: the naphazoline does not emigrate if something that shelters peasant is not an awe. sent18: the facade is not equinoctial if there is something such that that it emigrates and it is not a arcus is right. sent19: if the fact that the naphazoline is not a equinoctial hold then either the mint is not a denial or it is mown or both. sent20: there is something such that it does not awe. sent21: the fact that something is a kind of mown thing that emigrates is wrong if it is a denial. ; $proof$ = 
sent10 -> int1: the naphazoline is a denial that is not unmown if that it does not emigrate is right.; __UNKNOWN__