the inflating Postimpressionist but not the hooking Marstan occurs if the aggrandizement happens.
sent1: if both the upholstery and the happening happens then the specificness does not occur. sent2: the bellowing does not occur and the backness does not occur if the fact that the aggrandizement does not occur is not incorrect. sent3: the inflating Postimpressionist does not occur and the happening occurs if the metricness happens. sent4: the inflating Postimpressionist occurs. sent5: the employment occurs. sent6: that the butchery does not occur is triggered by that the bellowing does not occur and the backing does not occur. sent7: the back happens. sent8: both the backing and the bellows occurs. sent9: if the metric does not occur the fandango occurs and the backing occurs. sent10: that the sampling Kigali happens is right. sent11: the scientificness does not occur if both the fluoroscopy and the falsehood occurs. sent12: that the metric occurs and the inflating venerator occurs is not true. sent13: if that the metricness occurs and the inflating venerator happens does not hold the metricness does not occur.
sent8 -> int1: the bellowing occurs.; void -> assump1: Let's assume that the aggrandizement happens.; int1 & assump1 -> int2: both the aggrandizement and the bellows happens.;
the butchery does not occur.
$hypothesis$ = the inflating Postimpressionist but not the hooking Marstan occurs if the aggrandizement happens. ; $context$ = sent1: if both the upholstery and the happening happens then the specificness does not occur. sent2: the bellowing does not occur and the backness does not occur if the fact that the aggrandizement does not occur is not incorrect. sent3: the inflating Postimpressionist does not occur and the happening occurs if the metricness happens. sent4: the inflating Postimpressionist occurs. sent5: the employment occurs. sent6: that the butchery does not occur is triggered by that the bellowing does not occur and the backing does not occur. sent7: the back happens. sent8: both the backing and the bellows occurs. sent9: if the metric does not occur the fandango occurs and the backing occurs. sent10: that the sampling Kigali happens is right. sent11: the scientificness does not occur if both the fluoroscopy and the falsehood occurs. sent12: that the metric occurs and the inflating venerator occurs is not true. sent13: if that the metricness occurs and the inflating venerator happens does not hold the metricness does not occur. ; $proof$ = 
sent8 -> int1: the bellowing occurs.; void -> assump1: Let's assume that the aggrandizement happens.; int1 & assump1 -> int2: both the aggrandizement and the bellows happens.; __UNKNOWN__