the Java is not cortico-hypothalamic.
sent1: if the soundman does not French Java then the Areopagite is cortico-hypothalamic or insectan or both. sent2: if the soundman does French Java then the Areopagite is insectan. sent3: if the Java does not French Java then the wurtzite is cortico-hypothalamic and it is not non-insectan. sent4: the fact that the Java is not a gross hold. sent5: if the fact that the senna is grassy is correct the fact that it is not celebratory and does not plot Melampodium is false. sent6: if the Areopagite is cortico-hypothalamic then that the Java is cortico-hypothalamic is not false. sent7: the soundman Frenches Java. sent8: there exists something such that that that it does not proliferate armamentarium and it is unimodal is right is false. sent9: if something plots Melampodium and/or it is a galingale then it does not French Java. sent10: if something does not snick movability then it is grassy and it is a lycanthropy. sent11: The Java Frenches soundman. sent12: there is something such that it is unimodal. sent13: if the fact that something is not celebratory and it is not grassy does not hold it does not plot Melampodium. sent14: if there is something such that it is unimodal the senna does not snick movability. sent15: if there is something such that the fact that it does not proliferate armamentarium and it is unimodal is incorrect the fact that the soundman is not unimodal is right. sent16: the Areopagite is a lycanthropy that snicks movability if the soundman is not unimodal. sent17: the backstop Frenches Java. sent18: if the Areopagite is a lycanthropy then the fact that the Java is not celebratory and it is not grassy is not right.
void -> assump1: Let's assume that the Java is cortico-hypothalamic.; sent2 & sent7 -> int1: the Areopagite is insectan.;
the Java is cortico-hypothalamic.
sent9 -> int2: the soundman does not French Java if it does plot Melampodium or it is a galingale or both.; sent10 -> int3: the senna is grassy and it is a lycanthropy if it does not snick movability.; sent12 & sent14 -> int4: the senna does not snick movability.; int3 & int4 -> int5: the senna is grassy and it is a lycanthropy.; int5 -> int6: the senna is grassy.; sent5 & int6 -> int7: that the senna is a kind of non-celebratory thing that does not plot Melampodium is not correct.; int7 -> int8: there exists something such that the fact that it is not celebratory and it does not plot Melampodium is incorrect.;
$hypothesis$ = the Java is not cortico-hypothalamic. ; $context$ = sent1: if the soundman does not French Java then the Areopagite is cortico-hypothalamic or insectan or both. sent2: if the soundman does French Java then the Areopagite is insectan. sent3: if the Java does not French Java then the wurtzite is cortico-hypothalamic and it is not non-insectan. sent4: the fact that the Java is not a gross hold. sent5: if the fact that the senna is grassy is correct the fact that it is not celebratory and does not plot Melampodium is false. sent6: if the Areopagite is cortico-hypothalamic then that the Java is cortico-hypothalamic is not false. sent7: the soundman Frenches Java. sent8: there exists something such that that that it does not proliferate armamentarium and it is unimodal is right is false. sent9: if something plots Melampodium and/or it is a galingale then it does not French Java. sent10: if something does not snick movability then it is grassy and it is a lycanthropy. sent11: The Java Frenches soundman. sent12: there is something such that it is unimodal. sent13: if the fact that something is not celebratory and it is not grassy does not hold it does not plot Melampodium. sent14: if there is something such that it is unimodal the senna does not snick movability. sent15: if there is something such that the fact that it does not proliferate armamentarium and it is unimodal is incorrect the fact that the soundman is not unimodal is right. sent16: the Areopagite is a lycanthropy that snicks movability if the soundman is not unimodal. sent17: the backstop Frenches Java. sent18: if the Areopagite is a lycanthropy then the fact that the Java is not celebratory and it is not grassy is not right. ; $proof$ = 
void -> assump1: Let's assume that the Java is cortico-hypothalamic.; sent2 & sent7 -> int1: the Areopagite is insectan.; __UNKNOWN__