that the phalloplasty happens and the parlaying happens is not true.
sent1: the mixture does not occur if that the laicizing samovar happens and/or the removing does not occur is false. sent2: the invite occurs if the guaranteeing carillon happens. sent3: the rubric does not occur if that both the Sin and the speakership occurs is wrong. sent4: the backgammon occurs. sent5: if the unequivocalness does not occur that the phalloplasty and the parlay happens is not correct. sent6: that the parlaying happens and the unequivocalness happens is brought about by that the rubriccing does not occur. sent7: if the sustentacularness occurs and the backgammon occurs the unequivocalness does not occur. sent8: that the guaranteeing carillon occurs results in that the thinkableness and the invite happens. sent9: the invite occurs. sent10: that the non-unthinkableness and the inviting happens is not true if the sustentacularness does not occur. sent11: that the Sin happens and the speakership happens does not hold if the mixture does not occur. sent12: that if the debridement happens then that the unequivocalness does not occur but the backgammon happens is incorrect is not wrong. sent13: the smacking does not occur. sent14: the guaranteeing carillon happens. sent15: the debridement does not occur. sent16: that not the irritation but the crunching happens is triggered by that the eagerness occurs.
void -> assump1: Let's assume that the sustentacularness does not occur.; sent10 & assump1 -> int1: the fact that both the non-unthinkableness and the inviting happens is not right.; sent8 & sent14 -> int2: both the non-unthinkableness and the invite happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sustentacularness occurs.; int4 & sent4 -> int5: the sustentacularness happens and the backgammon occurs.; int5 & sent7 -> int6: the unequivocalness does not occur.; int6 & sent5 -> hypothesis;
the phalloplasty and the parlay happens.
$hypothesis$ = that the phalloplasty happens and the parlaying happens is not true. ; $context$ = sent1: the mixture does not occur if that the laicizing samovar happens and/or the removing does not occur is false. sent2: the invite occurs if the guaranteeing carillon happens. sent3: the rubric does not occur if that both the Sin and the speakership occurs is wrong. sent4: the backgammon occurs. sent5: if the unequivocalness does not occur that the phalloplasty and the parlay happens is not correct. sent6: that the parlaying happens and the unequivocalness happens is brought about by that the rubriccing does not occur. sent7: if the sustentacularness occurs and the backgammon occurs the unequivocalness does not occur. sent8: that the guaranteeing carillon occurs results in that the thinkableness and the invite happens. sent9: the invite occurs. sent10: that the non-unthinkableness and the inviting happens is not true if the sustentacularness does not occur. sent11: that the Sin happens and the speakership happens does not hold if the mixture does not occur. sent12: that if the debridement happens then that the unequivocalness does not occur but the backgammon happens is incorrect is not wrong. sent13: the smacking does not occur. sent14: the guaranteeing carillon happens. sent15: the debridement does not occur. sent16: that not the irritation but the crunching happens is triggered by that the eagerness occurs. ; $proof$ = 
void -> assump1: Let's assume that the sustentacularness does not occur.; sent10 & assump1 -> int1: the fact that both the non-unthinkableness and the inviting happens is not right.; sent8 & sent14 -> int2: both the non-unthinkableness and the invite happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sustentacularness occurs.; int4 & sent4 -> int5: the sustentacularness happens and the backgammon occurs.; int5 & sent7 -> int6: the unequivocalness does not occur.; int6 & sent5 -> hypothesis; __PROVED__