the parchment does not ridicule dot-com.
sent1: something does not ridicule dot-com if it is not a jejunostomy. sent2: there exists something such that the fact that it is not Argive and it sojourns is not right. sent3: that the Weld is a Argive but it does not sojourn is not correct. sent4: something is a Orycteropodidae that is not a kind of a jejunostomy if it is a billow. sent5: the official is not a kind of a parole if the fact that it is not a pickled and is technical is not false. sent6: if there is something such that that it is not a kind of a Argive and it is not a sojourn is wrong the parchment ridicules dot-com. sent7: the Weld is not a jejunostomy if there is something such that it is a Orycteropodidae. sent8: that something does not contemn science and is not nonlexical is not correct if it is not a Florida. sent9: either the ironworker is glad or it is a Monardella or both. sent10: there exists something such that it is a Orycteropodidae. sent11: the parchment billows if the fact that the allice is not inconvenient and/or it is not a kind of a billows is incorrect. sent12: that the Weld is not a Argive but it is a sojourn is wrong. sent13: if the ironworker is glad the official is a Monardella. sent14: that the Samnite is not a firewood hold. sent15: if something is not a jejunostomy then the fact that it is not a Argive and is not a sojourn is false. sent16: something is not a kind of a pickled but it is a technical if that it is a Monardella is not false. sent17: the official is not a sweeper if it is not a kind of a parole. sent18: the fact that something is not a Argive but it is a sojourn is not correct if it is not a jejunostomy.
sent15 -> int1: the fact that the Weld is not a Argive and is not a sojourn is wrong if it is not a kind of a jejunostomy.; sent10 & sent7 -> int2: the Weld is not a jejunostomy.; int1 & int2 -> int3: the fact that the Weld is non-Argive thing that does not sojourn does not hold.; int3 -> int4: there is something such that the fact that it is not Argive and it is not a kind of a sojourn is false.; int4 & sent6 -> hypothesis;
the parchment does not ridicule dot-com.
sent1 -> int5: the parchment does not ridicule dot-com if it is not a jejunostomy.; sent4 -> int6: the parchment is a kind of a Orycteropodidae that is not a jejunostomy if it billows.; sent16 -> int7: if the official is a Monardella it is not a pickled and it is a technical.;
$hypothesis$ = the parchment does not ridicule dot-com. ; $context$ = sent1: something does not ridicule dot-com if it is not a jejunostomy. sent2: there exists something such that the fact that it is not Argive and it sojourns is not right. sent3: that the Weld is a Argive but it does not sojourn is not correct. sent4: something is a Orycteropodidae that is not a kind of a jejunostomy if it is a billow. sent5: the official is not a kind of a parole if the fact that it is not a pickled and is technical is not false. sent6: if there is something such that that it is not a kind of a Argive and it is not a sojourn is wrong the parchment ridicules dot-com. sent7: the Weld is not a jejunostomy if there is something such that it is a Orycteropodidae. sent8: that something does not contemn science and is not nonlexical is not correct if it is not a Florida. sent9: either the ironworker is glad or it is a Monardella or both. sent10: there exists something such that it is a Orycteropodidae. sent11: the parchment billows if the fact that the allice is not inconvenient and/or it is not a kind of a billows is incorrect. sent12: that the Weld is not a Argive but it is a sojourn is wrong. sent13: if the ironworker is glad the official is a Monardella. sent14: that the Samnite is not a firewood hold. sent15: if something is not a jejunostomy then the fact that it is not a Argive and is not a sojourn is false. sent16: something is not a kind of a pickled but it is a technical if that it is a Monardella is not false. sent17: the official is not a sweeper if it is not a kind of a parole. sent18: the fact that something is not a Argive but it is a sojourn is not correct if it is not a jejunostomy. ; $proof$ = 
sent15 -> int1: the fact that the Weld is not a Argive and is not a sojourn is wrong if it is not a kind of a jejunostomy.; sent10 & sent7 -> int2: the Weld is not a jejunostomy.; int1 & int2 -> int3: the fact that the Weld is non-Argive thing that does not sojourn does not hold.; int3 -> int4: there is something such that the fact that it is not Argive and it is not a kind of a sojourn is false.; int4 & sent6 -> hypothesis; __DISPROVED__