the topping peahen does not occur.
sent1: the grubbing Cerapteryx does not occur. sent2: the fact that the malting PLO does not occur hold if the fact that the graphicsness and the topping Yankee occurs is false. sent3: if the topping faithlessness does not occur then the fact that that not the topping stippler but the cosmetology happens is true is not correct. sent4: that both the non-nonpsychoactiveness and the topping peahen happens is triggered by that the bumming happens. sent5: the non-nonpsychoactiveness results in that the enlivening does not occur and the malting enzymology does not occur. sent6: that the sunburst occurs is prevented by that the bumming occurs and/or the nonpsychoactiveness occurs. sent7: that both the graphics and the topping Yankee occurs does not hold if the sunburst does not occur. sent8: if the grubbing Cerapteryx does not occur the fact that the fact that the enlivening does not occur and the malting enzymology does not occur hold is wrong.
void -> assump1: Let's assume that the nonpsychoactiveness does not occur.; sent5 & assump1 -> int1: the enlivening does not occur and the malting enzymology does not occur.; sent8 & sent1 -> int2: that the fact that the enlivening does not occur and the malting enzymology does not occur does not hold hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonpsychoactiveness occurs.; int4 -> int5: the bumming or the nonpsychoactiveness or both happens.; int5 & sent6 -> int6: the sunburst does not occur.; int6 & sent7 -> int7: the fact that the graphicsness and the topping Yankee happens is false.; int7 & sent2 -> int8: the malting PLO does not occur.;
the topping peahen happens.
$hypothesis$ = the topping peahen does not occur. ; $context$ = sent1: the grubbing Cerapteryx does not occur. sent2: the fact that the malting PLO does not occur hold if the fact that the graphicsness and the topping Yankee occurs is false. sent3: if the topping faithlessness does not occur then the fact that that not the topping stippler but the cosmetology happens is true is not correct. sent4: that both the non-nonpsychoactiveness and the topping peahen happens is triggered by that the bumming happens. sent5: the non-nonpsychoactiveness results in that the enlivening does not occur and the malting enzymology does not occur. sent6: that the sunburst occurs is prevented by that the bumming occurs and/or the nonpsychoactiveness occurs. sent7: that both the graphics and the topping Yankee occurs does not hold if the sunburst does not occur. sent8: if the grubbing Cerapteryx does not occur the fact that the fact that the enlivening does not occur and the malting enzymology does not occur hold is wrong. ; $proof$ = 
void -> assump1: Let's assume that the nonpsychoactiveness does not occur.; sent5 & assump1 -> int1: the enlivening does not occur and the malting enzymology does not occur.; sent8 & sent1 -> int2: that the fact that the enlivening does not occur and the malting enzymology does not occur does not hold hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonpsychoactiveness occurs.; int4 -> int5: the bumming or the nonpsychoactiveness or both happens.; int5 & sent6 -> int6: the sunburst does not occur.; int6 & sent7 -> int7: the fact that the graphicsness and the topping Yankee happens is false.; int7 & sent2 -> int8: the malting PLO does not occur.; __UNKNOWN__