the exhibiting does not occur if either the insecureness or the vaulting Docetism or both happens.
sent1: the exhibiting happens. sent2: if either the tackling happens or the scourging petchary happens or both then the exhibiting occurs. sent3: if the insecureness occurs the tackling happens. sent4: if either the tackling or the scourging petchary or both occurs then the exhibit does not occur.
$hypothesis$ = the exhibiting does not occur if either the insecureness or the vaulting Docetism or both happens. ; $context$ = sent1: the exhibiting happens. sent2: if either the tackling happens or the scourging petchary happens or both then the exhibiting occurs. sent3: if the insecureness occurs the tackling happens. sent4: if either the tackling or the scourging petchary or both occurs then the exhibit does not occur. ; $proof$ = 
__UNKNOWN__