the finale does not occur and the epicureanness does not occur if the command occurs.
sent1: the non-ritualisticness prevents the reprising treasury. sent2: the jingoism does not occur. sent3: the reprising Caloocan does not occur. sent4: that the reprising eightsome occurs is caused by the gothicness. sent5: if the reassurance does not occur the counterattack does not occur. sent6: if the existing happens the ninjutsu does not occur. sent7: the gothicness occurs. sent8: if the reprising treasury happens then the Czech happens. sent9: the univalentness does not occur. sent10: that the herding does not occur but the epicureanness occurs is not right if the reprising eightsome happens. sent11: if the permissiveness does not occur then the finale does not occur. sent12: that the permissiveness does not occur but the systole occurs is caused by that the organismalness does not occur. sent13: not the reprising Viscaceae but the xenotransplant occurs. sent14: the respite or that the venesection happens or both yields that the commanding does not occur. sent15: if either the chattering or the macerating or both occurs then the nonattendance does not occur. sent16: the fact that the epicureanness does not occur is not wrong if that not the herd but the epicureanness happens does not hold.
void -> assump1: Let's assume that the venesection occurs.; assump1 -> int1: the respite happens and/or the venesection happens.; int1 & sent14 -> int2: the fact that the commanding does not occur is not incorrect.; void -> assump2: Let's assume that the commanding happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venesection does not occur.; sent4 & sent7 -> int5: the reprising eightsome happens.; sent10 & int5 -> int6: that the herd does not occur and the epicureanness occurs is false.; sent16 & int6 -> int7: the epicureanness does not occur.;
$hypothesis$ = the finale does not occur and the epicureanness does not occur if the command occurs. ; $context$ = sent1: the non-ritualisticness prevents the reprising treasury. sent2: the jingoism does not occur. sent3: the reprising Caloocan does not occur. sent4: that the reprising eightsome occurs is caused by the gothicness. sent5: if the reassurance does not occur the counterattack does not occur. sent6: if the existing happens the ninjutsu does not occur. sent7: the gothicness occurs. sent8: if the reprising treasury happens then the Czech happens. sent9: the univalentness does not occur. sent10: that the herding does not occur but the epicureanness occurs is not right if the reprising eightsome happens. sent11: if the permissiveness does not occur then the finale does not occur. sent12: that the permissiveness does not occur but the systole occurs is caused by that the organismalness does not occur. sent13: not the reprising Viscaceae but the xenotransplant occurs. sent14: the respite or that the venesection happens or both yields that the commanding does not occur. sent15: if either the chattering or the macerating or both occurs then the nonattendance does not occur. sent16: the fact that the epicureanness does not occur is not wrong if that not the herd but the epicureanness happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the venesection occurs.; assump1 -> int1: the respite happens and/or the venesection happens.; int1 & sent14 -> int2: the fact that the commanding does not occur is not incorrect.; void -> assump2: Let's assume that the commanding happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the venesection does not occur.; sent4 & sent7 -> int5: the reprising eightsome happens.; sent10 & int5 -> int6: that the herd does not occur and the epicureanness occurs is false.; sent16 & int6 -> int7: the epicureanness does not occur.; __UNKNOWN__