the bailment occurs.
sent1: that both the defraying brutalization and the non-sepaloidness happens is not true if the expectoration does not occur. sent2: if that the defraying brutalization happens but the sepaloidness does not occur is false then the bailment occurs. sent3: the expectoration does not occur.
sent1 & sent3 -> int1: the fact that the defraying brutalization occurs but the sepaloidness does not occur is wrong.; sent2 & int1 -> hypothesis;
$hypothesis$ = the bailment occurs. ; $context$ = sent1: that both the defraying brutalization and the non-sepaloidness happens is not true if the expectoration does not occur. sent2: if that the defraying brutalization happens but the sepaloidness does not occur is false then the bailment occurs. sent3: the expectoration does not occur. ; $proof$ = 
sent1 & sent3 -> int1: the fact that the defraying brutalization occurs but the sepaloidness does not occur is wrong.; sent2 & int1 -> hypothesis; __PROVED__