if the stroking Vientiane does not occur the explication and/or the stroking Ascension happens.
sent1: the singling one-sixtieth occurs if the stroking Vientiane does not occur. sent2: the stroking Vientiane results in that the explication occurs and/or the stroking Ascension. sent3: the stroking Ascension occurs and the singling one-sixtieth occurs if the stroking Vientiane occurs.
$hypothesis$ = if the stroking Vientiane does not occur the explication and/or the stroking Ascension happens. ; $context$ = sent1: the singling one-sixtieth occurs if the stroking Vientiane does not occur. sent2: the stroking Vientiane results in that the explication occurs and/or the stroking Ascension. sent3: the stroking Ascension occurs and the singling one-sixtieth occurs if the stroking Vientiane occurs. ; $proof$ = 
__UNKNOWN__