the Arminian does not occur.
sent1: the dadoing rectorship happens. sent2: if the phocineness does not occur the Arminianness does not occur. sent3: if the dadoing rectorship occurs the phocineness does not occur.
sent3 & sent1 -> int1: the phocineness does not occur.; sent2 & int1 -> hypothesis;
$hypothesis$ = the Arminian does not occur. ; $context$ = sent1: the dadoing rectorship happens. sent2: if the phocineness does not occur the Arminianness does not occur. sent3: if the dadoing rectorship occurs the phocineness does not occur. ; $proof$ = 
sent3 & sent1 -> int1: the phocineness does not occur.; sent2 & int1 -> hypothesis; __PROVED__