the myna is passionless and it is chlamydial.
sent1: the ride hogs ride. sent2: if the myna is chlamydial and does hog ride then it is not alluvial. sent3: the pail hogs evangelicalism and is enforceable. sent4: if something does not hog ride then the fact that it is a kind of non-alluvial thing that is Aleutians does not hold. sent5: there exists something such that the fact that it is alluvial and it is not non-chlamydial does not hold. sent6: the anterior is not a kind of a snorter. sent7: if the anterior is not passionless it hogs ride. sent8: the anterior is not chlamydial if it is alluvial and it hogs ride. sent9: if the fact that there exists something such that the fact that it is not alluvial but Aleutians is not correct is true the myna is not Aleutians. sent10: there exists something such that the fact that it does hog cheapjack and it does hog evangelicalism is wrong. sent11: the anjou hogs ride. sent12: that the anterior is non-Aleutians is right if there is something such that the fact that it does hog cheapjack and hogs evangelicalism is not right. sent13: the myna is not Aleutians if there is something such that the fact that it is not non-alluvial and not non-chlamydial is not correct. sent14: the anterior is not Aleutians if that something does not hog evangelicalism hold. sent15: the myna is a conservatory that is Dickensian. sent16: if the anterior is not Aleutians then the fact that it is not non-alluvial is not false. sent17: the myna is chlamydial if the fact that the anterior is chlamydial is not incorrect. sent18: the riptide is Aleutians and it is a patriarchy. sent19: the anterior does hog cheapjack. sent20: The ride hogs anterior. sent21: there is something such that it hogs cheapjack and it hogs evangelicalism. sent22: the anterior hogs ride. sent23: the myna is chlamydial.
sent10 & sent12 -> int1: the anterior is not Aleutians.; int1 & sent16 -> int2: the anterior is alluvial.; int2 & sent22 -> int3: the anterior is alluvial and does hog ride.; int3 & sent8 -> int4: the anterior is not chlamydial.;
that the myna is passionless and it is chlamydial is not correct.
sent4 -> int5: that the cheapjack is not alluvial and not non-Aleutians is not true if it does not hog ride.;
$hypothesis$ = the myna is passionless and it is chlamydial. ; $context$ = sent1: the ride hogs ride. sent2: if the myna is chlamydial and does hog ride then it is not alluvial. sent3: the pail hogs evangelicalism and is enforceable. sent4: if something does not hog ride then the fact that it is a kind of non-alluvial thing that is Aleutians does not hold. sent5: there exists something such that the fact that it is alluvial and it is not non-chlamydial does not hold. sent6: the anterior is not a kind of a snorter. sent7: if the anterior is not passionless it hogs ride. sent8: the anterior is not chlamydial if it is alluvial and it hogs ride. sent9: if the fact that there exists something such that the fact that it is not alluvial but Aleutians is not correct is true the myna is not Aleutians. sent10: there exists something such that the fact that it does hog cheapjack and it does hog evangelicalism is wrong. sent11: the anjou hogs ride. sent12: that the anterior is non-Aleutians is right if there is something such that the fact that it does hog cheapjack and hogs evangelicalism is not right. sent13: the myna is not Aleutians if there is something such that the fact that it is not non-alluvial and not non-chlamydial is not correct. sent14: the anterior is not Aleutians if that something does not hog evangelicalism hold. sent15: the myna is a conservatory that is Dickensian. sent16: if the anterior is not Aleutians then the fact that it is not non-alluvial is not false. sent17: the myna is chlamydial if the fact that the anterior is chlamydial is not incorrect. sent18: the riptide is Aleutians and it is a patriarchy. sent19: the anterior does hog cheapjack. sent20: The ride hogs anterior. sent21: there is something such that it hogs cheapjack and it hogs evangelicalism. sent22: the anterior hogs ride. sent23: the myna is chlamydial. ; $proof$ = 
sent10 & sent12 -> int1: the anterior is not Aleutians.; int1 & sent16 -> int2: the anterior is alluvial.; int2 & sent22 -> int3: the anterior is alluvial and does hog ride.; int3 & sent8 -> int4: the anterior is not chlamydial.; __UNKNOWN__