the browsing frump happens.
sent1: the legitimating occurs. sent2: the disunifying Blitzstein occurs. sent3: the satisficing does not occur. sent4: that the hydrostaticsness but not the bane happens triggers that the browsing frump happens. sent5: if the detention does not occur then the browsing frump does not occur and the corseting dairying does not occur. sent6: if the corseting dairying and the shimmying happens the bane does not occur. sent7: both the corseting dairying and the detention happens. sent8: that the satisficing does not occur results in that the legitimateness occurs and the hydrostaticsness occurs. sent9: the disunifying Blitzstein and the shimmy occurs.
sent7 -> int1: the corseting dairying happens.; sent9 -> int2: the shimmying happens.; int1 & int2 -> int3: the corseting dairying happens and the shimmy occurs.; int3 & sent6 -> int4: the bane does not occur.; sent8 & sent3 -> int5: both the legitimateness and the hydrostaticsness happens.; int5 -> int6: the hydrostaticsness occurs.; int4 & int6 -> int7: the hydrostaticsness occurs and the bane does not occur.; int7 & sent4 -> hypothesis;
the browsing frump does not occur.
$hypothesis$ = the browsing frump happens. ; $context$ = sent1: the legitimating occurs. sent2: the disunifying Blitzstein occurs. sent3: the satisficing does not occur. sent4: that the hydrostaticsness but not the bane happens triggers that the browsing frump happens. sent5: if the detention does not occur then the browsing frump does not occur and the corseting dairying does not occur. sent6: if the corseting dairying and the shimmying happens the bane does not occur. sent7: both the corseting dairying and the detention happens. sent8: that the satisficing does not occur results in that the legitimateness occurs and the hydrostaticsness occurs. sent9: the disunifying Blitzstein and the shimmy occurs. ; $proof$ = 
sent7 -> int1: the corseting dairying happens.; sent9 -> int2: the shimmying happens.; int1 & int2 -> int3: the corseting dairying happens and the shimmy occurs.; int3 & sent6 -> int4: the bane does not occur.; sent8 & sent3 -> int5: both the legitimateness and the hydrostaticsness happens.; int5 -> int6: the hydrostaticsness occurs.; int4 & int6 -> int7: the hydrostaticsness occurs and the bane does not occur.; int7 & sent4 -> hypothesis; __PROVED__