the quartering Dimocarpus happens.
sent1: the quartering Dimocarpus happens if the indecentness happens. sent2: if the mottling does not occur then the fact that the epileptic does not occur and the sequencing FTC does not occur is not right. sent3: the indecentness occurs and the pet occurs if the sequencing riband does not occur. sent4: that the sequencing FTC does not occur hold. sent5: the fact that the camouflaging happens but the quartering greenockite does not occur is not right. sent6: the sequencing riband does not occur if that the anagogicness does not occur and the moderatingness does not occur is not true. sent7: that the moderating and the non-anagogicness happens is wrong if the sequencing riband happens. sent8: the disloyalness occurs if the odorousness occurs. sent9: the mottling does not occur. sent10: if the fact that the epilepticness occurs is right then that the anagogicness does not occur and the moderating does not occur is wrong. sent11: that the indecentness does not occur is true if the mottling and the crocheting Olympus occurs. sent12: the epilepticness but not the sequencing FTC occurs if the anagogicness happens. sent13: that the disloyalness occurs yields the crocheting Olympus. sent14: the fact that the anagogicness and the non-moderatingness occurs is wrong.
void -> assump1: Let's assume that the epilepticness does not occur.; assump1 & sent4 -> int1: the epilepticness does not occur and the sequencing FTC does not occur.; sent2 & sent9 -> int2: the fact that the epileptic does not occur and the sequencing FTC does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the epilepticness happens.; int4 & sent10 -> int5: the fact that the anagogicness does not occur and the moderatingness does not occur is not right.; int5 & sent6 -> int6: the sequencing riband does not occur.; int6 & sent3 -> int7: the indecentness occurs and the pet happens.; int7 -> int8: the indecentness occurs.; int8 & sent1 -> hypothesis;
the quartering Dimocarpus does not occur.
$hypothesis$ = the quartering Dimocarpus happens. ; $context$ = sent1: the quartering Dimocarpus happens if the indecentness happens. sent2: if the mottling does not occur then the fact that the epileptic does not occur and the sequencing FTC does not occur is not right. sent3: the indecentness occurs and the pet occurs if the sequencing riband does not occur. sent4: that the sequencing FTC does not occur hold. sent5: the fact that the camouflaging happens but the quartering greenockite does not occur is not right. sent6: the sequencing riband does not occur if that the anagogicness does not occur and the moderatingness does not occur is not true. sent7: that the moderating and the non-anagogicness happens is wrong if the sequencing riband happens. sent8: the disloyalness occurs if the odorousness occurs. sent9: the mottling does not occur. sent10: if the fact that the epilepticness occurs is right then that the anagogicness does not occur and the moderating does not occur is wrong. sent11: that the indecentness does not occur is true if the mottling and the crocheting Olympus occurs. sent12: the epilepticness but not the sequencing FTC occurs if the anagogicness happens. sent13: that the disloyalness occurs yields the crocheting Olympus. sent14: the fact that the anagogicness and the non-moderatingness occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the epilepticness does not occur.; assump1 & sent4 -> int1: the epilepticness does not occur and the sequencing FTC does not occur.; sent2 & sent9 -> int2: the fact that the epileptic does not occur and the sequencing FTC does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the epilepticness happens.; int4 & sent10 -> int5: the fact that the anagogicness does not occur and the moderatingness does not occur is not right.; int5 & sent6 -> int6: the sequencing riband does not occur.; int6 & sent3 -> int7: the indecentness occurs and the pet happens.; int7 -> int8: the indecentness occurs.; int8 & sent1 -> hypothesis; __PROVED__