that the rabidness does not occur and the preposing least does not occur is not true if the preposing Oviedo happens.
sent1: the fact that both the non-rabidness and the preposing least occurs is wrong if the preposing Oviedo happens. sent2: the wowing quartile occurs. sent3: the petty occurs if that not the photostating ayapana but the preposing Oviedo happens does not hold. sent4: that the non-rabidness and the preposing least occurs does not hold. sent5: the photostating ayapana occurs if the preposing Oviedo occurs. sent6: that the rabidness but not the preposing least happens is not correct if the litigating occurs. sent7: that both the non-alternatingness and the bundling happens is incorrect if the photostating meerkat occurs. sent8: the fact that the rabidness happens but the preposing least does not occur is not correct if the environmentalism does not occur. sent9: if the fact that the litigating happens hold then that the rabidness does not occur and the preposing least happens is not right. sent10: the environmentalism does not occur if the circulativeness and the changing occurs. sent11: that the rabidness does not occur and the preposing least does not occur is false if the litigating happens. sent12: that the rabidness but not the preposing least occurs is incorrect if the preposing Oviedo occurs. sent13: the potting does not occur and the cash-and-carriness does not occur if the ecotourism happens.
void -> assump1: Let's assume that the preposing Oviedo happens.; sent5 & assump1 -> int1: the photostating ayapana occurs.;
the petty happens.
$hypothesis$ = that the rabidness does not occur and the preposing least does not occur is not true if the preposing Oviedo happens. ; $context$ = sent1: the fact that both the non-rabidness and the preposing least occurs is wrong if the preposing Oviedo happens. sent2: the wowing quartile occurs. sent3: the petty occurs if that not the photostating ayapana but the preposing Oviedo happens does not hold. sent4: that the non-rabidness and the preposing least occurs does not hold. sent5: the photostating ayapana occurs if the preposing Oviedo occurs. sent6: that the rabidness but not the preposing least happens is not correct if the litigating occurs. sent7: that both the non-alternatingness and the bundling happens is incorrect if the photostating meerkat occurs. sent8: the fact that the rabidness happens but the preposing least does not occur is not correct if the environmentalism does not occur. sent9: if the fact that the litigating happens hold then that the rabidness does not occur and the preposing least happens is not right. sent10: the environmentalism does not occur if the circulativeness and the changing occurs. sent11: that the rabidness does not occur and the preposing least does not occur is false if the litigating happens. sent12: that the rabidness but not the preposing least occurs is incorrect if the preposing Oviedo occurs. sent13: the potting does not occur and the cash-and-carriness does not occur if the ecotourism happens. ; $proof$ = 
void -> assump1: Let's assume that the preposing Oviedo happens.; sent5 & assump1 -> int1: the photostating ayapana occurs.; __UNKNOWN__