the Mecca is both not unwoven and unacquisitive.
sent1: if the lemon strains sojourn then that it is a Manidae and it is not a salt is incorrect. sent2: a Cambodian is nonlexical. sent3: if the lemon does not strain sojourn that the Mecca is both unwoven and unacquisitive is wrong. sent4: if the lemon does not strain sojourn then the fact that the Mecca is not unwoven but it is unacquisitive does not hold. sent5: the globe is unwoven if the compote does strain scaliness but it is not a gusset. sent6: the lemon does not strain scaliness. sent7: if the inside is a imide then the compote is oncological. sent8: if something is oncological it strains scaliness and is not a gusset. sent9: if that the lemon is not a kind of a Manidae and is not a salt is false then it is a kind of a Cambodian. sent10: that the Mecca is both unwoven and unacquisitive does not hold. sent11: that something is not a Manidae and is a kind of a salt is not true if it strains sojourn. sent12: the fact that the inside does alibi Pulex is true. sent13: if that the polemicist is non-Cambodian thing that is not nonlexical is not correct that the Mecca is not unwoven is right. sent14: the lemon is not a densitometer if it does not strain scaliness. sent15: if something does strain sojourn then the fact that it is a Manidae and it is not a kind of a salt is not true. sent16: the fact that if the lemon does strain sojourn that the lemon is not a kind of a Manidae but it is a salt is not right is not wrong. sent17: the polemicist is nonlexical and it is unacquisitive if something is unwoven. sent18: that the Mecca is not a densitometer and does strain sojourn is wrong if the polemicist is not non-nonlexical. sent19: if the inside alibis Pulex it is a imide. sent20: the doorkeeper does not strain sojourn if there exists something such that the fact that it is not a densitometer and it strain sojourn is incorrect. sent21: The scaliness does not strain lemon. sent22: if something does strain sojourn the fact that it is not a kind of a Manidae and does not salt is false. sent23: that the lemon is a Manidae but not a salt does not hold. sent24: something that does not strain sojourn is not a kind of a Manidae and/or is non-Cambodian. sent25: that the lemon is not a Manidae but it is a salt is incorrect. sent26: the lemon is a densitometer if it is nonlexical.
sent22 -> int1: if the lemon strains sojourn the fact that it is both not a Manidae and not a salt is not right.; void -> assump1: Let's assume that the lemon strains sojourn.; int1 & assump1 -> int2: that the lemon is not a kind of a Manidae and is not a kind of a salt is not right.; int2 & sent9 -> int3: the lemon is a kind of a Cambodian.; sent2 -> int4: if the lemon is not non-Cambodian then that it is nonlexical is correct.; int3 & int4 -> int5: the lemon is nonlexical.; int5 & sent26 -> int6: the lemon is a kind of a densitometer.; sent14 & sent6 -> int7: the lemon is not a kind of a densitometer.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the lemon does not strain sojourn.; int9 & sent4 -> hypothesis;
the Mecca is not unwoven but it is unacquisitive.
$hypothesis$ = the Mecca is both not unwoven and unacquisitive. ; $context$ = sent1: if the lemon strains sojourn then that it is a Manidae and it is not a salt is incorrect. sent2: a Cambodian is nonlexical. sent3: if the lemon does not strain sojourn that the Mecca is both unwoven and unacquisitive is wrong. sent4: if the lemon does not strain sojourn then the fact that the Mecca is not unwoven but it is unacquisitive does not hold. sent5: the globe is unwoven if the compote does strain scaliness but it is not a gusset. sent6: the lemon does not strain scaliness. sent7: if the inside is a imide then the compote is oncological. sent8: if something is oncological it strains scaliness and is not a gusset. sent9: if that the lemon is not a kind of a Manidae and is not a salt is false then it is a kind of a Cambodian. sent10: that the Mecca is both unwoven and unacquisitive does not hold. sent11: that something is not a Manidae and is a kind of a salt is not true if it strains sojourn. sent12: the fact that the inside does alibi Pulex is true. sent13: if that the polemicist is non-Cambodian thing that is not nonlexical is not correct that the Mecca is not unwoven is right. sent14: the lemon is not a densitometer if it does not strain scaliness. sent15: if something does strain sojourn then the fact that it is a Manidae and it is not a kind of a salt is not true. sent16: the fact that if the lemon does strain sojourn that the lemon is not a kind of a Manidae but it is a salt is not right is not wrong. sent17: the polemicist is nonlexical and it is unacquisitive if something is unwoven. sent18: that the Mecca is not a densitometer and does strain sojourn is wrong if the polemicist is not non-nonlexical. sent19: if the inside alibis Pulex it is a imide. sent20: the doorkeeper does not strain sojourn if there exists something such that the fact that it is not a densitometer and it strain sojourn is incorrect. sent21: The scaliness does not strain lemon. sent22: if something does strain sojourn the fact that it is not a kind of a Manidae and does not salt is false. sent23: that the lemon is a Manidae but not a salt does not hold. sent24: something that does not strain sojourn is not a kind of a Manidae and/or is non-Cambodian. sent25: that the lemon is not a Manidae but it is a salt is incorrect. sent26: the lemon is a densitometer if it is nonlexical. ; $proof$ = 
sent22 -> int1: if the lemon strains sojourn the fact that it is both not a Manidae and not a salt is not right.; void -> assump1: Let's assume that the lemon strains sojourn.; int1 & assump1 -> int2: that the lemon is not a kind of a Manidae and is not a kind of a salt is not right.; int2 & sent9 -> int3: the lemon is a kind of a Cambodian.; sent2 -> int4: if the lemon is not non-Cambodian then that it is nonlexical is correct.; int3 & int4 -> int5: the lemon is nonlexical.; int5 & sent26 -> int6: the lemon is a kind of a densitometer.; sent14 & sent6 -> int7: the lemon is not a kind of a densitometer.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the lemon does not strain sojourn.; int9 & sent4 -> hypothesis; __DISPROVED__