the doctoring Furnariidae does not occur.
sent1: the doctoring Furnariidae does not occur if that the delivery occurs and the startle occurs is not false. sent2: the fact that the celestialness happens is true. sent3: the delivery occurs and the animation occurs. sent4: if the celestialness happens then the startle occurs.
sent4 & sent2 -> int1: the startle happens.; sent3 -> int2: the delivery happens.; int1 & int2 -> int3: the delivery happens and the startling happens.; int3 & sent1 -> hypothesis;
$hypothesis$ = the doctoring Furnariidae does not occur. ; $context$ = sent1: the doctoring Furnariidae does not occur if that the delivery occurs and the startle occurs is not false. sent2: the fact that the celestialness happens is true. sent3: the delivery occurs and the animation occurs. sent4: if the celestialness happens then the startle occurs. ; $proof$ = 
sent4 & sent2 -> int1: the startle happens.; sent3 -> int2: the delivery happens.; int1 & int2 -> int3: the delivery happens and the startling happens.; int3 & sent1 -> hypothesis; __PROVED__