the compost is not ontological.
sent1: the fact that the drove is both a beneficence and nosocomial does not hold. sent2: that the strop is not ontological hold. sent3: something is ontological if that it does uphold Marengo is not false. sent4: the chronograph upholds Marengo if it is a kind of a swindler and is not allometric. sent5: that the fact that the compost is a kind of cacodemonic thing that is a reversion is false is true. sent6: something is a swindler if it is both not allometric and corinthian. sent7: if the fact that something is not corinthian and does uphold Marengo is not right it is not ontological. sent8: the chronograph is allometric if that the middleweight is not allometric is right. sent9: the middleweight is not a swindler if that it is non-nosocomial thing that is not equitable is wrong. sent10: that the middleweight is not nosocomial but it is unjust is wrong. sent11: if the middleweight is not a swindler then the fact that the chronograph is a swindler but it is not allometric hold. sent12: the chronograph is a kind of a swindler. sent13: the middleweight is a snobbery. sent14: if that something is not a swindler but it does uphold Marengo does not hold then that it is not nosocomial hold. sent15: if that something is not ontological but it is a swindler is incorrect then it is not corinthian. sent16: if the fact that the chronograph upholds Marengo hold then that the compost is not corinthian and upholds Marengo is incorrect. sent17: that the middleweight is nosocomial and it is allometric does not hold. sent18: the compost is not allometric. sent19: the chronograph is not nosocomial if it is a kind of a swindler.
sent9 & sent10 -> int1: the middleweight is not a swindler.; int1 & sent11 -> int2: the chronograph is a swindler but not allometric.; int2 & sent4 -> int3: the fact that the chronograph does uphold Marengo is right.; int3 & sent16 -> int4: that the compost is not corinthian but it upholds Marengo does not hold.; sent7 -> int5: the compost is not ontological if the fact that it is a kind of non-corinthian thing that upholds Marengo is not right.; int4 & int5 -> hypothesis;
the compost is ontological.
sent3 -> int6: the compost is ontological if that it does uphold Marengo is not false.; sent6 -> int7: the compost is a swindler if it is a kind of non-allometric thing that is not non-corinthian.;
$hypothesis$ = the compost is not ontological. ; $context$ = sent1: the fact that the drove is both a beneficence and nosocomial does not hold. sent2: that the strop is not ontological hold. sent3: something is ontological if that it does uphold Marengo is not false. sent4: the chronograph upholds Marengo if it is a kind of a swindler and is not allometric. sent5: that the fact that the compost is a kind of cacodemonic thing that is a reversion is false is true. sent6: something is a swindler if it is both not allometric and corinthian. sent7: if the fact that something is not corinthian and does uphold Marengo is not right it is not ontological. sent8: the chronograph is allometric if that the middleweight is not allometric is right. sent9: the middleweight is not a swindler if that it is non-nosocomial thing that is not equitable is wrong. sent10: that the middleweight is not nosocomial but it is unjust is wrong. sent11: if the middleweight is not a swindler then the fact that the chronograph is a swindler but it is not allometric hold. sent12: the chronograph is a kind of a swindler. sent13: the middleweight is a snobbery. sent14: if that something is not a swindler but it does uphold Marengo does not hold then that it is not nosocomial hold. sent15: if that something is not ontological but it is a swindler is incorrect then it is not corinthian. sent16: if the fact that the chronograph upholds Marengo hold then that the compost is not corinthian and upholds Marengo is incorrect. sent17: that the middleweight is nosocomial and it is allometric does not hold. sent18: the compost is not allometric. sent19: the chronograph is not nosocomial if it is a kind of a swindler. ; $proof$ = 
sent9 & sent10 -> int1: the middleweight is not a swindler.; int1 & sent11 -> int2: the chronograph is a swindler but not allometric.; int2 & sent4 -> int3: the fact that the chronograph does uphold Marengo is right.; int3 & sent16 -> int4: that the compost is not corinthian but it upholds Marengo does not hold.; sent7 -> int5: the compost is not ontological if the fact that it is a kind of non-corinthian thing that upholds Marengo is not right.; int4 & int5 -> hypothesis; __PROVED__