the atomization happens and the strut does not occur.
sent1: if the disobliging kibbutznik does not occur but the nonspatialness occurs the tempestuousness does not occur. sent2: the disobliging kibbutznik does not occur but the nonspatialness happens. sent3: if the tempestuousness does not occur the atomization but not the strut occurs.
sent1 & sent2 -> int1: the tempestuousness does not occur.; sent3 & int1 -> hypothesis;
$hypothesis$ = the atomization happens and the strut does not occur. ; $context$ = sent1: if the disobliging kibbutznik does not occur but the nonspatialness occurs the tempestuousness does not occur. sent2: the disobliging kibbutznik does not occur but the nonspatialness happens. sent3: if the tempestuousness does not occur the atomization but not the strut occurs. ; $proof$ = 
sent1 & sent2 -> int1: the tempestuousness does not occur.; sent3 & int1 -> hypothesis; __PROVED__