the fact that the fact that both the non-toppingness and the non-cannibalisticness occurs is wrong hold if the fact that the launching nominalist happens hold.
sent1: the judicialness does not occur. sent2: if the launching Electrophorus does not occur the fact that the launching nominalist does not occur is right. sent3: the fact that the collecting steradian does not occur and the intestateness does not occur does not hold. sent4: if that the launching Electrophorus happens and the flabbergasting steradian occurs is not true the launching nominalist does not occur. sent5: the fact that both the topping and the non-cannibalisticness happens is false. sent6: the judicialness does not occur and/or the toppingness happens. sent7: that the linearness does not occur is caused by either that the syndication does not occur or that the heedlessness does not occur or both. sent8: the cannibalisticness does not occur. sent9: if the launching nominalist occurs that the toppingness happens and the cannibalisticness does not occur is incorrect. sent10: the Jamaican does not occur or the launching ditty does not occur or both. sent11: the fact that not the topping but the cannibalisticness happens is incorrect. sent12: if the launching nominalist happens that the fact that the topping does not occur and the cannibalisticness happens is correct is wrong. sent13: the fact that both the launching Electrophorus and the flabbergasting steradian happens is not right if the factorial does not occur. sent14: if the launching nominalist happens both the non-toppingness and the non-cannibalisticness occurs. sent15: the collecting broody does not occur and the carotidness does not occur.
void -> assump2: Let's assume that the launching nominalist happens.; void -> assump1: Let's assume that the non-toppingness and the non-cannibalisticness occurs.; assump1 -> int1: the topping does not occur.; int1 -> int2: either the judicialness does not occur or the toppingness does not occur or both.;
$hypothesis$ = the fact that the fact that both the non-toppingness and the non-cannibalisticness occurs is wrong hold if the fact that the launching nominalist happens hold. ; $context$ = sent1: the judicialness does not occur. sent2: if the launching Electrophorus does not occur the fact that the launching nominalist does not occur is right. sent3: the fact that the collecting steradian does not occur and the intestateness does not occur does not hold. sent4: if that the launching Electrophorus happens and the flabbergasting steradian occurs is not true the launching nominalist does not occur. sent5: the fact that both the topping and the non-cannibalisticness happens is false. sent6: the judicialness does not occur and/or the toppingness happens. sent7: that the linearness does not occur is caused by either that the syndication does not occur or that the heedlessness does not occur or both. sent8: the cannibalisticness does not occur. sent9: if the launching nominalist occurs that the toppingness happens and the cannibalisticness does not occur is incorrect. sent10: the Jamaican does not occur or the launching ditty does not occur or both. sent11: the fact that not the topping but the cannibalisticness happens is incorrect. sent12: if the launching nominalist happens that the fact that the topping does not occur and the cannibalisticness happens is correct is wrong. sent13: the fact that both the launching Electrophorus and the flabbergasting steradian happens is not right if the factorial does not occur. sent14: if the launching nominalist happens both the non-toppingness and the non-cannibalisticness occurs. sent15: the collecting broody does not occur and the carotidness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the launching nominalist happens.; void -> assump1: Let's assume that the non-toppingness and the non-cannibalisticness occurs.; assump1 -> int1: the topping does not occur.; int1 -> int2: either the judicialness does not occur or the toppingness does not occur or both.; __UNKNOWN__