the housefly is not a lineation.
sent1: if the Hell is not non-duodenal and it is a lineation then the housefly is not biotic. sent2: the adrenal is not apoplectiform if the fact that it is not a Oriolus and does smell M-theory does not hold. sent3: the Hell is not biotic. sent4: if the maze is a greengage that the Hell does not nominate and it is not a lineation is not right. sent5: the adrenal is not apoplectiform if there exists something such that it is a greengage. sent6: if there is something such that it is a greengage the adrenal nominates and is not apoplectiform. sent7: there exists something such that it is a kind of a lineation. sent8: the Hell is unserviceable. sent9: if the Hell is both biotic and not non-duodenal it is a Oriolus. sent10: the adrenal is not apoplectiform. sent11: that the Hell smells M-theory is not incorrect if the adrenal nominates and is apoplectiform. sent12: the adrenal does smell M-theory but it is not apoplectiform. sent13: something is a Oriolus if it is non-biotic thing that is duodenal. sent14: a biotic and duodenal thing is a Oriolus. sent15: the housefly is not non-neurobiological but it does not nominate. sent16: if the Hell is not a kind of a simian then the fact that it is not biotic is correct. sent17: something is a greengage if it is apoplectiform. sent18: if the adrenal does not smell M-theory then it does not nominate and is biotic. sent19: if that the Hell does not nominate and it is not a lineation does not hold then the adrenal is a lineation. sent20: if something that does not smell M-theory does nominate it is simian. sent21: the Hell is not a simian. sent22: the Hell is not biotic but it is duodenal if it is not simian. sent23: if the adrenal is a lineation then the housefly is a lineation. sent24: that the adrenal is not a Oriolus but it does smell M-theory is not true if it is a kind of a lineation. sent25: there exists something such that it is a greengage. sent26: if the Hell does smell M-theory and is a Oriolus the housefly is not a lineation.
sent25 & sent6 -> int1: the adrenal does nominate but it is not apoplectiform.; sent13 -> int2: if the Hell is a kind of non-biotic thing that is duodenal then it is a kind of a Oriolus.; sent22 & sent21 -> int3: the Hell is not biotic but it is duodenal.; int2 & int3 -> int4: the Hell is a kind of a Oriolus.;
the housefly is a lineation.
sent17 -> int5: the maze is a kind of a greengage if it is apoplectiform.;
$hypothesis$ = the housefly is not a lineation. ; $context$ = sent1: if the Hell is not non-duodenal and it is a lineation then the housefly is not biotic. sent2: the adrenal is not apoplectiform if the fact that it is not a Oriolus and does smell M-theory does not hold. sent3: the Hell is not biotic. sent4: if the maze is a greengage that the Hell does not nominate and it is not a lineation is not right. sent5: the adrenal is not apoplectiform if there exists something such that it is a greengage. sent6: if there is something such that it is a greengage the adrenal nominates and is not apoplectiform. sent7: there exists something such that it is a kind of a lineation. sent8: the Hell is unserviceable. sent9: if the Hell is both biotic and not non-duodenal it is a Oriolus. sent10: the adrenal is not apoplectiform. sent11: that the Hell smells M-theory is not incorrect if the adrenal nominates and is apoplectiform. sent12: the adrenal does smell M-theory but it is not apoplectiform. sent13: something is a Oriolus if it is non-biotic thing that is duodenal. sent14: a biotic and duodenal thing is a Oriolus. sent15: the housefly is not non-neurobiological but it does not nominate. sent16: if the Hell is not a kind of a simian then the fact that it is not biotic is correct. sent17: something is a greengage if it is apoplectiform. sent18: if the adrenal does not smell M-theory then it does not nominate and is biotic. sent19: if that the Hell does not nominate and it is not a lineation does not hold then the adrenal is a lineation. sent20: if something that does not smell M-theory does nominate it is simian. sent21: the Hell is not a simian. sent22: the Hell is not biotic but it is duodenal if it is not simian. sent23: if the adrenal is a lineation then the housefly is a lineation. sent24: that the adrenal is not a Oriolus but it does smell M-theory is not true if it is a kind of a lineation. sent25: there exists something such that it is a greengage. sent26: if the Hell does smell M-theory and is a Oriolus the housefly is not a lineation. ; $proof$ = 
sent25 & sent6 -> int1: the adrenal does nominate but it is not apoplectiform.; sent13 -> int2: if the Hell is a kind of non-biotic thing that is duodenal then it is a kind of a Oriolus.; sent22 & sent21 -> int3: the Hell is not biotic but it is duodenal.; int2 & int3 -> int4: the Hell is a kind of a Oriolus.; __UNKNOWN__