the disjunction occurs.
sent1: if the anastigmaticness happens the consignment happens. sent2: if the fact that the whiffing Baku occurs is not wrong that not the anastigmaticness but the subjugation occurs does not hold. sent3: the meshing Cynic happens if the defalcation does not occur and the aversiveness does not occur. sent4: if the proposal does not occur and the whiffing Baku does not occur then the accentualness happens. sent5: the consignment occurs if that both the non-anastigmaticness and the subjugation happens is not right. sent6: the fact that the whiffing Baku happens but the consignment does not occur is not true if the proposal occurs. sent7: the governorship happens. sent8: if the accentualness happens that the disjunction happens hold. sent9: that the daydreaming occurs hold if the fact that the whiffing Baku but not the consignment happens does not hold. sent10: the proposal does not occur.
void -> assump1: Let's assume that the whiffing Baku happens.; sent2 & assump1 -> int1: the fact that the non-anastigmaticness and the subjugation occurs is not right.; int1 & sent5 -> int2: that the consignment happens is correct.;
the daydreaming occurs.
$hypothesis$ = the disjunction occurs. ; $context$ = sent1: if the anastigmaticness happens the consignment happens. sent2: if the fact that the whiffing Baku occurs is not wrong that not the anastigmaticness but the subjugation occurs does not hold. sent3: the meshing Cynic happens if the defalcation does not occur and the aversiveness does not occur. sent4: if the proposal does not occur and the whiffing Baku does not occur then the accentualness happens. sent5: the consignment occurs if that both the non-anastigmaticness and the subjugation happens is not right. sent6: the fact that the whiffing Baku happens but the consignment does not occur is not true if the proposal occurs. sent7: the governorship happens. sent8: if the accentualness happens that the disjunction happens hold. sent9: that the daydreaming occurs hold if the fact that the whiffing Baku but not the consignment happens does not hold. sent10: the proposal does not occur. ; $proof$ = 
void -> assump1: Let's assume that the whiffing Baku happens.; sent2 & assump1 -> int1: the fact that the non-anastigmaticness and the subjugation occurs is not right.; int1 & sent5 -> int2: that the consignment happens is correct.; __UNKNOWN__