the messiahship happens.
sent1: that the cheating occurs and the glazing HDTV does not occur is caused by that the fatalness does not occur. sent2: the non-tramontaneness is prevented by the fatalness. sent3: the reallotment does not occur if the fact that the non-slowness and the belliedness occurs is wrong. sent4: the tractiveness happens. sent5: that both the non-slowness and the non-bellylessness happens is incorrect if the cribbage does not occur. sent6: the reallotment occurs. sent7: that the tractiveness happens and the associate occurs prevents that the messiahship happens. sent8: that the cheat but not the glazing HDTV happens does not hold if the reallotment occurs. sent9: the cribbage does not occur if the fact that the fingerprinting and the cribbage happens is incorrect. sent10: that the associate occurs is brought about by that the tramontaneness happens.
void -> assump1: Let's assume that the fact that the fatalness does not occur is right.; sent1 & assump1 -> int1: the cheat but not the glazing HDTV happens.; sent8 & sent6 -> int2: that the cheat happens but the glazing HDTV does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fatalness happens.; int4 & sent2 -> int5: the fact that the tramontane occurs is not wrong.; int5 & sent10 -> int6: the associate happens.; int6 & sent4 -> int7: both the tractiveness and the associating occurs.; int7 & sent7 -> hypothesis;
the fact that the messiahship happens is right.
$hypothesis$ = the messiahship happens. ; $context$ = sent1: that the cheating occurs and the glazing HDTV does not occur is caused by that the fatalness does not occur. sent2: the non-tramontaneness is prevented by the fatalness. sent3: the reallotment does not occur if the fact that the non-slowness and the belliedness occurs is wrong. sent4: the tractiveness happens. sent5: that both the non-slowness and the non-bellylessness happens is incorrect if the cribbage does not occur. sent6: the reallotment occurs. sent7: that the tractiveness happens and the associate occurs prevents that the messiahship happens. sent8: that the cheat but not the glazing HDTV happens does not hold if the reallotment occurs. sent9: the cribbage does not occur if the fact that the fingerprinting and the cribbage happens is incorrect. sent10: that the associate occurs is brought about by that the tramontaneness happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fatalness does not occur is right.; sent1 & assump1 -> int1: the cheat but not the glazing HDTV happens.; sent8 & sent6 -> int2: that the cheat happens but the glazing HDTV does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fatalness happens.; int4 & sent2 -> int5: the fact that the tramontane occurs is not wrong.; int5 & sent10 -> int6: the associate happens.; int6 & sent4 -> int7: both the tractiveness and the associating occurs.; int7 & sent7 -> hypothesis; __DISPROVED__