that the Biedermeierness does not occur and/or the raptorialness does not occur is not correct.
sent1: that the raptorialness does not occur is brought about by that the decreasing maggot and the enfeoffing leipoa happens. sent2: the Biedermeierness occurs. sent3: the findings occurs. sent4: the fact that the fact that the non-Biedermeierness and/or the non-raptorialness happens is false if the decreasing maggot does not occur is not wrong. sent5: the Biedermeierness happens if the decreasing maggot does not occur. sent6: if the decreasing maggot occurs then the enfeoffing leipoa happens. sent7: the fact that the fact that the afforestation does not occur or the shadowing does not occur or both is wrong is right.
void -> assump1: Let's assume that the decreasing maggot happens.; sent6 & assump1 -> int1: the enfeoffing leipoa happens.;
either the non-Biedermeierness or the non-raptorialness or both happens.
$hypothesis$ = that the Biedermeierness does not occur and/or the raptorialness does not occur is not correct. ; $context$ = sent1: that the raptorialness does not occur is brought about by that the decreasing maggot and the enfeoffing leipoa happens. sent2: the Biedermeierness occurs. sent3: the findings occurs. sent4: the fact that the fact that the non-Biedermeierness and/or the non-raptorialness happens is false if the decreasing maggot does not occur is not wrong. sent5: the Biedermeierness happens if the decreasing maggot does not occur. sent6: if the decreasing maggot occurs then the enfeoffing leipoa happens. sent7: the fact that the fact that the afforestation does not occur or the shadowing does not occur or both is wrong is right. ; $proof$ = 
void -> assump1: Let's assume that the decreasing maggot happens.; sent6 & assump1 -> int1: the enfeoffing leipoa happens.; __UNKNOWN__