that the idol deafens retrieval and captures peristyle is not true.
sent1: if something does deafen retrieval then it is not a transfiguration. sent2: the idol does deafen retrieval and it does capture peristyle if the macebearer does not unscrew Moliere. sent3: that if that something is a kind of a barred and it is a flip-flop is not right it is not a kind of a barred is true. sent4: if there exists something such that the fact that either it is a migration or it is not a transfiguration or both is not correct then the peristyle is a barred. sent5: that something deafens retrieval and it captures peristyle does not hold if it does not bar. sent6: the peristyle is not a barred and it is not a flip-flop. sent7: that something is not a migration is right. sent8: if something is a migration and/or it is not a transfiguration it does not unscrew Moliere.
void -> assump1: Let's assume that the fact that the macebearer is a kind of a migration and/or it is not a transfiguration is false.; assump1 -> int1: there exists something such that that it is a migration and/or is not a transfiguration does not hold.; int1 & sent4 -> int2: that the peristyle is a barred is not incorrect.; sent6 -> int3: the peristyle is not a kind of a barred.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the macebearer is a kind of a migration and/or it is not a kind of a transfiguration.; sent8 -> int6: the macebearer does not unscrew Moliere if either it is a migration or it is not a transfiguration or both.; int5 & int6 -> int7: that the macebearer does not unscrew Moliere is not incorrect.; int7 & sent2 -> hypothesis;
that the idol deafens retrieval and it captures peristyle is incorrect.
sent5 -> int8: the fact that the idol does deafen retrieval and it does capture peristyle is not correct if it is not a barred.; sent3 -> int9: the fact that the idol is not a barred is not incorrect if the fact that it is a kind of a barred and it is a flip-flop does not hold.;
$hypothesis$ = that the idol deafens retrieval and captures peristyle is not true. ; $context$ = sent1: if something does deafen retrieval then it is not a transfiguration. sent2: the idol does deafen retrieval and it does capture peristyle if the macebearer does not unscrew Moliere. sent3: that if that something is a kind of a barred and it is a flip-flop is not right it is not a kind of a barred is true. sent4: if there exists something such that the fact that either it is a migration or it is not a transfiguration or both is not correct then the peristyle is a barred. sent5: that something deafens retrieval and it captures peristyle does not hold if it does not bar. sent6: the peristyle is not a barred and it is not a flip-flop. sent7: that something is not a migration is right. sent8: if something is a migration and/or it is not a transfiguration it does not unscrew Moliere. ; $proof$ = 
void -> assump1: Let's assume that the fact that the macebearer is a kind of a migration and/or it is not a transfiguration is false.; assump1 -> int1: there exists something such that that it is a migration and/or is not a transfiguration does not hold.; int1 & sent4 -> int2: that the peristyle is a barred is not incorrect.; sent6 -> int3: the peristyle is not a kind of a barred.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the macebearer is a kind of a migration and/or it is not a kind of a transfiguration.; sent8 -> int6: the macebearer does not unscrew Moliere if either it is a migration or it is not a transfiguration or both.; int5 & int6 -> int7: that the macebearer does not unscrew Moliere is not incorrect.; int7 & sent2 -> hypothesis; __DISPROVED__