the morphing does not occur if that the nestling occurs is true.
sent1: if the nestling happens then the fact that the morphing occurs is not wrong. sent2: that the notification does not occur is prevented by the pericardialness. sent3: if the obligatoriness happens then the bogging welcoming happens. sent4: the disinvestment and the marshalship happens. sent5: the braggadocio occurs. sent6: if the morphing occurs and the nestling occurs the disinvestment does not occur. sent7: the searching occurs.
void -> assump1: Let's assume that the morphing occurs.; void -> assump2: Let's assume that the nestling happens.; assump1 & assump2 -> int1: the morphing happens and the nestling occurs.; int1 & sent6 -> int2: the disinvestment does not occur.; sent4 -> int3: the fact that the disinvestment happens is correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the morphing does not occur is not wrong.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the morphing does not occur if that the nestling occurs is true. ; $context$ = sent1: if the nestling happens then the fact that the morphing occurs is not wrong. sent2: that the notification does not occur is prevented by the pericardialness. sent3: if the obligatoriness happens then the bogging welcoming happens. sent4: the disinvestment and the marshalship happens. sent5: the braggadocio occurs. sent6: if the morphing occurs and the nestling occurs the disinvestment does not occur. sent7: the searching occurs. ; $proof$ = 
void -> assump1: Let's assume that the morphing occurs.; void -> assump2: Let's assume that the nestling happens.; assump1 & assump2 -> int1: the morphing happens and the nestling occurs.; int1 & sent6 -> int2: the disinvestment does not occur.; sent4 -> int3: the fact that the disinvestment happens is correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the morphing does not occur is not wrong.; [assump2] & int5 -> hypothesis; __PROVED__