the hollow happens.
sent1: that the tagging Gjellerup happens leads to the hollowing. sent2: if the overawing blastomycete occurs the gauging prickleback occurs. sent3: that the unshavenness does not occur is not incorrect if the shambolicness does not occur. sent4: that the elopement occurs prevents that the tagging Gjellerup does not occur. sent5: if the tagging trilogy does not occur and the unshavenness does not occur then the elopement occurs. sent6: that not the continualness but the shambolicness occurs is incorrect if the gauging prickleback occurs. sent7: if the fact that the centralization does not occur and the tagging equinoctial does not occur is wrong then the continualness does not occur. sent8: the overawing blastomycete happens. sent9: the fact that the centralization does not occur and the tagging equinoctial does not occur is incorrect.
sent7 & sent9 -> int1: the continualness does not occur.; void -> assump1: Let's assume that the shambolicness happens.; int1 & assump1 -> int2: the continualness does not occur but the shambolicness occurs.; sent2 & sent8 -> int3: the gauging prickleback occurs.; sent6 & int3 -> int4: the fact that the non-continualness and the shambolicness happens does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shambolicness does not occur.;
$hypothesis$ = the hollow happens. ; $context$ = sent1: that the tagging Gjellerup happens leads to the hollowing. sent2: if the overawing blastomycete occurs the gauging prickleback occurs. sent3: that the unshavenness does not occur is not incorrect if the shambolicness does not occur. sent4: that the elopement occurs prevents that the tagging Gjellerup does not occur. sent5: if the tagging trilogy does not occur and the unshavenness does not occur then the elopement occurs. sent6: that not the continualness but the shambolicness occurs is incorrect if the gauging prickleback occurs. sent7: if the fact that the centralization does not occur and the tagging equinoctial does not occur is wrong then the continualness does not occur. sent8: the overawing blastomycete happens. sent9: the fact that the centralization does not occur and the tagging equinoctial does not occur is incorrect. ; $proof$ = 
sent7 & sent9 -> int1: the continualness does not occur.; void -> assump1: Let's assume that the shambolicness happens.; int1 & assump1 -> int2: the continualness does not occur but the shambolicness occurs.; sent2 & sent8 -> int3: the gauging prickleback occurs.; sent6 & int3 -> int4: the fact that the non-continualness and the shambolicness happens does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shambolicness does not occur.; __UNKNOWN__