something does not intervene and it does not divert.
sent1: the belfry is not a kind of a Prunus and it does not brad holometabolism. sent2: if that the belfry does master camachile is not wrong then the levee is bistroic. sent3: that something is not a Prunus and it does not brad holometabolism does not hold if it does not demote toyshop. sent4: something does not intervene and it does not divert if it is bistroic. sent5: if that the belfry demotes toyshop is not wrong then it does master camachile.
sent3 -> int1: if that the belfry does not demote toyshop is true then the fact that it is not a Prunus and it does not brad holometabolism does not hold.; void -> assump1: Let's assume that the belfry does not demote toyshop.; int1 & assump1 -> int2: that the belfry is not a kind of a Prunus and does not brad holometabolism is false.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the belfry demotes toyshop.; int4 & sent5 -> int5: the belfry does master camachile.; int5 & sent2 -> int6: the levee is bistroic.; sent4 -> int7: if the levee is bistroic then it does not intervene and does not divert.; int6 & int7 -> int8: the levee does not intervene and does not divert.; int8 -> hypothesis;
$hypothesis$ = something does not intervene and it does not divert. ; $context$ = sent1: the belfry is not a kind of a Prunus and it does not brad holometabolism. sent2: if that the belfry does master camachile is not wrong then the levee is bistroic. sent3: that something is not a Prunus and it does not brad holometabolism does not hold if it does not demote toyshop. sent4: something does not intervene and it does not divert if it is bistroic. sent5: if that the belfry demotes toyshop is not wrong then it does master camachile. ; $proof$ = 
sent3 -> int1: if that the belfry does not demote toyshop is true then the fact that it is not a Prunus and it does not brad holometabolism does not hold.; void -> assump1: Let's assume that the belfry does not demote toyshop.; int1 & assump1 -> int2: that the belfry is not a kind of a Prunus and does not brad holometabolism is false.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the belfry demotes toyshop.; int4 & sent5 -> int5: the belfry does master camachile.; int5 & sent2 -> int6: the levee is bistroic.; sent4 -> int7: if the levee is bistroic then it does not intervene and does not divert.; int6 & int7 -> int8: the levee does not intervene and does not divert.; int8 -> hypothesis; __PROVED__