the training happens.
sent1: that the trigger does not occur is prevented by that the mastopexy does not occur and/or the bet. sent2: if the filarness occurs then the conciliatoriness occurs. sent3: that the catholicizing happens and the expurgation does not occur is false if the gradation happens. sent4: if the corroding happens the headmastership occurs. sent5: if that the expurgation occurs hold then the gradation does not occur. sent6: if the role happens the pogrom happens. sent7: the conviviality occurs. sent8: not the reinterpretation but the chlorination occurs. sent9: either the rationing or the Yugoslavianness or both happens if the muffing does not occur. sent10: if the decelerating occurs the crenel occurs. sent11: if that that the catholicizing but not the expurgation occurs is incorrect is correct then the predating dishonorableness happens. sent12: the mastopexy does not occur and/or the bet happens if the invite does not occur. sent13: the muff does not occur but the shimmer occurs. sent14: if the dishonesty happens the logisticsness happens. sent15: if the inviting happens the gradation occurs. sent16: the pogrom does not occur if the predating dishonorableness happens. sent17: the fact that the role happens is true if the Yugoslavianness occurs. sent18: that that both the predating dishonorableness and the pogrom occurs is right is not right if the mastopexy does not occur. sent19: if that not the bet but the mastopexy happens does not hold then the mastopexy does not occur. sent20: if the rationing occurs that the role occurs hold. sent21: the squinching bodkin happens. sent22: if the wavering happens the retailing occurs.
void -> assump1: Let's assume that the fact that the invite occurs hold.; sent15 & assump1 -> int1: the gradation occurs.; int1 & sent3 -> int2: the fact that the catholicizing happens but the expurgation does not occur is not true.; int2 & sent11 -> int3: the predating dishonorableness happens.; int3 & sent16 -> int4: the pogrom does not occur.; sent13 -> int5: the muff does not occur.; sent9 & int5 -> int6: the rationing happens and/or the Yugoslavianness occurs.; int6 & sent20 & sent17 -> int7: the role happens.; sent6 & int7 -> int8: the pogrom occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the invite does not occur hold.; int10 & sent12 -> int11: the mastopexy does not occur and/or the bet occurs.; int11 & sent1 -> int12: the fact that the trigger happens is not incorrect.;
the training does not occur.
$hypothesis$ = the training happens. ; $context$ = sent1: that the trigger does not occur is prevented by that the mastopexy does not occur and/or the bet. sent2: if the filarness occurs then the conciliatoriness occurs. sent3: that the catholicizing happens and the expurgation does not occur is false if the gradation happens. sent4: if the corroding happens the headmastership occurs. sent5: if that the expurgation occurs hold then the gradation does not occur. sent6: if the role happens the pogrom happens. sent7: the conviviality occurs. sent8: not the reinterpretation but the chlorination occurs. sent9: either the rationing or the Yugoslavianness or both happens if the muffing does not occur. sent10: if the decelerating occurs the crenel occurs. sent11: if that that the catholicizing but not the expurgation occurs is incorrect is correct then the predating dishonorableness happens. sent12: the mastopexy does not occur and/or the bet happens if the invite does not occur. sent13: the muff does not occur but the shimmer occurs. sent14: if the dishonesty happens the logisticsness happens. sent15: if the inviting happens the gradation occurs. sent16: the pogrom does not occur if the predating dishonorableness happens. sent17: the fact that the role happens is true if the Yugoslavianness occurs. sent18: that that both the predating dishonorableness and the pogrom occurs is right is not right if the mastopexy does not occur. sent19: if that not the bet but the mastopexy happens does not hold then the mastopexy does not occur. sent20: if the rationing occurs that the role occurs hold. sent21: the squinching bodkin happens. sent22: if the wavering happens the retailing occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the invite occurs hold.; sent15 & assump1 -> int1: the gradation occurs.; int1 & sent3 -> int2: the fact that the catholicizing happens but the expurgation does not occur is not true.; int2 & sent11 -> int3: the predating dishonorableness happens.; int3 & sent16 -> int4: the pogrom does not occur.; sent13 -> int5: the muff does not occur.; sent9 & int5 -> int6: the rationing happens and/or the Yugoslavianness occurs.; int6 & sent20 & sent17 -> int7: the role happens.; sent6 & int7 -> int8: the pogrom occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the invite does not occur hold.; int10 & sent12 -> int11: the mastopexy does not occur and/or the bet occurs.; int11 & sent1 -> int12: the fact that the trigger happens is not incorrect.; __UNKNOWN__