the fact that the transferring recusation does not occur hold.
sent1: the detente and the bowing happens if the transferring hematochrome does not occur. sent2: the fact that the bottomlessness occurs and the masterstroke happens is true. sent3: the transferring recusation does not occur if the undemocraticness happens. sent4: the bowing happens. sent5: the lustrum occurs if the detente happens. sent6: the transferring hematochrome does not occur. sent7: if the rascality does not occur the transferring Malone occurs. sent8: that if both the bottomlessness and the rascality happens the fact that the lustrum does not occur is correct is true. sent9: if the transferring hematochrome does not occur then the bow occurs. sent10: the masterstroke occurs. sent11: both the anthropocentricness and the betrothal occurs if the summit does not occur. sent12: either that the undemocraticness occurs or the transferring Malone or both prevents that the transferring recusation occurs.
sent2 -> int1: the bottomlessness occurs.; void -> assump1: Let's assume that the rascality occurs.; int1 & assump1 -> int2: the bottomlessness and the rascality happens.; int2 & sent8 -> int3: the lustrum does not occur.; sent1 & sent6 -> int4: the detente and the bowing happens.; int4 -> int5: the detente occurs.; sent5 & int5 -> int6: the lustrum occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the rascality does not occur.; int8 & sent7 -> int9: the transferring Malone happens.; int9 -> int10: the undemocraticness occurs or the transferring Malone happens or both.; int10 & sent12 -> hypothesis;
$hypothesis$ = the fact that the transferring recusation does not occur hold. ; $context$ = sent1: the detente and the bowing happens if the transferring hematochrome does not occur. sent2: the fact that the bottomlessness occurs and the masterstroke happens is true. sent3: the transferring recusation does not occur if the undemocraticness happens. sent4: the bowing happens. sent5: the lustrum occurs if the detente happens. sent6: the transferring hematochrome does not occur. sent7: if the rascality does not occur the transferring Malone occurs. sent8: that if both the bottomlessness and the rascality happens the fact that the lustrum does not occur is correct is true. sent9: if the transferring hematochrome does not occur then the bow occurs. sent10: the masterstroke occurs. sent11: both the anthropocentricness and the betrothal occurs if the summit does not occur. sent12: either that the undemocraticness occurs or the transferring Malone or both prevents that the transferring recusation occurs. ; $proof$ = 
sent2 -> int1: the bottomlessness occurs.; void -> assump1: Let's assume that the rascality occurs.; int1 & assump1 -> int2: the bottomlessness and the rascality happens.; int2 & sent8 -> int3: the lustrum does not occur.; sent1 & sent6 -> int4: the detente and the bowing happens.; int4 -> int5: the detente occurs.; sent5 & int5 -> int6: the lustrum occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the rascality does not occur.; int8 & sent7 -> int9: the transferring Malone happens.; int9 -> int10: the undemocraticness occurs or the transferring Malone happens or both.; int10 & sent12 -> hypothesis; __PROVED__