the souse occurs but the freckling aneurysm does not occur.
sent1: the fact that the meniscectomy but not the trawl happens is not true if the blazing happens. sent2: that the meniscectomy but not the trawl occurs is not right. sent3: the blaze and the leafiness occurs. sent4: if the blazing occurs then that the meniscectomy does not occur and the trawling does not occur does not hold. sent5: if the blazing occurs then that not the meniscectomy but the trawl happens is not true. sent6: the souse happens. sent7: if that that the meniscectomy does not occur and the trawling does not occur is not false is false the azoticness does not occur. sent8: the costing but not the exploration happens. sent9: if the freckling voter does not occur then the souse occurs. sent10: the sousing but not the freckling aneurysm occurs if the freckling voter does not occur. sent11: that not the meniscectomy but the trawl happens is not correct. sent12: the psychometricness happens. sent13: the leafiness happens. sent14: both the inflating and the psychometricness happens. sent15: if that the meniscectomy does not occur is right then that the leafiness does not occur and the trawling does not occur is not right. sent16: that not the azoticness but the freckling voter occurs is false if the inflating happens. sent17: the leafiness happens if that the leafiness does not occur and the trawling does not occur does not hold.
sent3 -> int1: the blaze happens.; int1 & sent4 -> int2: the fact that the meniscectomy does not occur and the trawl does not occur does not hold.; int2 & sent7 -> int3: the fact that the azoticness does not occur hold.; void -> assump1: Let's assume that the freckling voter happens.; int3 & assump1 -> int4: the non-azoticness and the freckling voter occurs.; sent14 -> int5: that the inflating happens hold.; sent16 & int5 -> int6: that not the azoticness but the freckling voter occurs is wrong.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the freckling voter does not occur.; int8 & sent10 -> hypothesis;
the elegizing does not occur.
$hypothesis$ = the souse occurs but the freckling aneurysm does not occur. ; $context$ = sent1: the fact that the meniscectomy but not the trawl happens is not true if the blazing happens. sent2: that the meniscectomy but not the trawl occurs is not right. sent3: the blaze and the leafiness occurs. sent4: if the blazing occurs then that the meniscectomy does not occur and the trawling does not occur does not hold. sent5: if the blazing occurs then that not the meniscectomy but the trawl happens is not true. sent6: the souse happens. sent7: if that that the meniscectomy does not occur and the trawling does not occur is not false is false the azoticness does not occur. sent8: the costing but not the exploration happens. sent9: if the freckling voter does not occur then the souse occurs. sent10: the sousing but not the freckling aneurysm occurs if the freckling voter does not occur. sent11: that not the meniscectomy but the trawl happens is not correct. sent12: the psychometricness happens. sent13: the leafiness happens. sent14: both the inflating and the psychometricness happens. sent15: if that the meniscectomy does not occur is right then that the leafiness does not occur and the trawling does not occur is not right. sent16: that not the azoticness but the freckling voter occurs is false if the inflating happens. sent17: the leafiness happens if that the leafiness does not occur and the trawling does not occur does not hold. ; $proof$ = 
sent3 -> int1: the blaze happens.; int1 & sent4 -> int2: the fact that the meniscectomy does not occur and the trawl does not occur does not hold.; int2 & sent7 -> int3: the fact that the azoticness does not occur hold.; void -> assump1: Let's assume that the freckling voter happens.; int3 & assump1 -> int4: the non-azoticness and the freckling voter occurs.; sent14 -> int5: that the inflating happens hold.; sent16 & int5 -> int6: that not the azoticness but the freckling voter occurs is wrong.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the freckling voter does not occur.; int8 & sent10 -> hypothesis; __PROVED__