the bimillenialness does not occur.
sent1: both the bimillenialness and the Moravianness occurs if the scrimmage does not occur. sent2: the stoning brink and the March happens. sent3: the Moravianness occurs. sent4: the Moravianness happens if the fact that the bacchanticness happens and the scrimmaging does not occur does not hold. sent5: if the scrimmage occurs the bacchanticness happens. sent6: that the catching does not occur is caused by that both the adamantineness and the bimillenialness occurs. sent7: that the scrimmaging does not occur brings about that both the Moravianness and the unpalatableness happens. sent8: that the bacchanticness does not occur yields that the scrimmaging occurs and/or the Moravianness. sent9: the importing happens. sent10: the fact that the catch does not occur is wrong. sent11: the Moravianness and the scrimmage happens. sent12: the adamantineness happens if that the bacchanticness occurs is true. sent13: the resection happens.
sent11 -> int1: the scrimmage occurs.; int1 & sent5 -> int2: the bacchanticness happens.; int2 & sent12 -> int3: the adamantineness happens.; void -> assump1: Let's assume that the bimillenialness happens.; int3 & assump1 -> int4: both the adamantineness and the bimillenialness happens.; int4 & sent6 -> int5: the catch does not occur.; int5 & sent10 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the bimillenialness happens.
$hypothesis$ = the bimillenialness does not occur. ; $context$ = sent1: both the bimillenialness and the Moravianness occurs if the scrimmage does not occur. sent2: the stoning brink and the March happens. sent3: the Moravianness occurs. sent4: the Moravianness happens if the fact that the bacchanticness happens and the scrimmaging does not occur does not hold. sent5: if the scrimmage occurs the bacchanticness happens. sent6: that the catching does not occur is caused by that both the adamantineness and the bimillenialness occurs. sent7: that the scrimmaging does not occur brings about that both the Moravianness and the unpalatableness happens. sent8: that the bacchanticness does not occur yields that the scrimmaging occurs and/or the Moravianness. sent9: the importing happens. sent10: the fact that the catch does not occur is wrong. sent11: the Moravianness and the scrimmage happens. sent12: the adamantineness happens if that the bacchanticness occurs is true. sent13: the resection happens. ; $proof$ = 
sent11 -> int1: the scrimmage occurs.; int1 & sent5 -> int2: the bacchanticness happens.; int2 & sent12 -> int3: the adamantineness happens.; void -> assump1: Let's assume that the bimillenialness happens.; int3 & assump1 -> int4: both the adamantineness and the bimillenialness happens.; int4 & sent6 -> int5: the catch does not occur.; int5 & sent10 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__