the hypnotizing indigo happens.
sent1: the top happens and the Fabianness happens if the libation does not occur. sent2: that the contestableness occurs and the pinning bubbling happens is wrong if the neurologicalness does not occur. sent3: the cronyism is caused by that the neurologicalness occurs. sent4: the hypnotizing indigo happens if the fact that the contestableness but not the pinning bubbling occurs is incorrect. sent5: the Fabian occurs. sent6: the non-Madagascanness is prevented by that the eliminating psilomelane does not occur. sent7: the fact that both the contestableness and the pinning bubbling happens does not hold. sent8: if the fact that the antemeridianness and the libation happens is not right then the libation does not occur. sent9: the hypnotizing indigo does not occur if the neurologicalness does not occur but the cronyism happens. sent10: the eliminating psilomelane does not occur. sent11: that the cronyism and the Madagascanness happens prevents the topping. sent12: the fact that the antemeridianness and the libation happens is incorrect.
void -> assump1: Let's assume that the neurologicalness happens.; sent3 & assump1 -> int1: the cronyism occurs.; sent6 & sent10 -> int2: the Madagascan happens.; int1 & int2 -> int3: the cronyism occurs and the Madagascanness happens.; int3 & sent11 -> int4: the topness does not occur.; sent8 & sent12 -> int5: the libation does not occur.; sent1 & int5 -> int6: both the topness and the Fabian occurs.; int6 -> int7: the topping occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the neurologicalness does not occur.;
the hypnotizing indigo does not occur.
$hypothesis$ = the hypnotizing indigo happens. ; $context$ = sent1: the top happens and the Fabianness happens if the libation does not occur. sent2: that the contestableness occurs and the pinning bubbling happens is wrong if the neurologicalness does not occur. sent3: the cronyism is caused by that the neurologicalness occurs. sent4: the hypnotizing indigo happens if the fact that the contestableness but not the pinning bubbling occurs is incorrect. sent5: the Fabian occurs. sent6: the non-Madagascanness is prevented by that the eliminating psilomelane does not occur. sent7: the fact that both the contestableness and the pinning bubbling happens does not hold. sent8: if the fact that the antemeridianness and the libation happens is not right then the libation does not occur. sent9: the hypnotizing indigo does not occur if the neurologicalness does not occur but the cronyism happens. sent10: the eliminating psilomelane does not occur. sent11: that the cronyism and the Madagascanness happens prevents the topping. sent12: the fact that the antemeridianness and the libation happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the neurologicalness happens.; sent3 & assump1 -> int1: the cronyism occurs.; sent6 & sent10 -> int2: the Madagascan happens.; int1 & int2 -> int3: the cronyism occurs and the Madagascanness happens.; int3 & sent11 -> int4: the topness does not occur.; sent8 & sent12 -> int5: the libation does not occur.; sent1 & int5 -> int6: both the topness and the Fabian occurs.; int6 -> int7: the topping occurs.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the neurologicalness does not occur.; __UNKNOWN__