that the branching but not the effervescentness occurs is not correct if the burying Pachycephala happens.
sent1: that the burying Pachycephala does not occur is brought about by that the abusing clinch and the ladling Tutankhamen occurs. sent2: the branching but not the effervescentness happens if the abusing clinch does not occur. sent3: the fact that the apostleship and the ladling climax occurs is not true if that the feast does not occur hold. sent4: that the peel happens yields that the confidentness occurs and the abusing night-stop does not occur. sent5: if the abusing clinch does not occur that the branching and the effervescentness happens is not correct. sent6: the fact that the secondness occurs and the Kabbalism does not occur is wrong. sent7: the forelegness does not occur. sent8: the ladling African and the icebreaker happens. sent9: both the branching and the non-effervescentness occurs. sent10: the disreputableness happens. sent11: if the burying Pachycephala happens then that the fact that the branching and the effervescentness occurs is wrong hold. sent12: that the branching but not the effervescentness occurs is brought about by that the burying Pachycephala happens. sent13: the shinny happens and the butchery happens. sent14: the ladling albino does not occur. sent15: the fact that the comber happens is correct. sent16: the fact that the branching and the effervescentness occurs does not hold. sent17: the petalousness occurs. sent18: the graduating happens. sent19: the ladling Fechner happens and the graduate happens. sent20: the ladling Tutankhamen occurs and the petalousness occurs. sent21: the abusing Tutankhamen does not occur.
void -> assump2: Let's assume that the burying Pachycephala happens.; void -> assump1: Let's assume that the abusing clinch happens.; sent20 -> int1: the ladling Tutankhamen occurs.; assump1 & int1 -> int2: the abusing clinch and the ladling Tutankhamen occurs.; sent1 & int2 -> int3: the burying Pachycephala does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the abusing clinch does not occur.;
$hypothesis$ = that the branching but not the effervescentness occurs is not correct if the burying Pachycephala happens. ; $context$ = sent1: that the burying Pachycephala does not occur is brought about by that the abusing clinch and the ladling Tutankhamen occurs. sent2: the branching but not the effervescentness happens if the abusing clinch does not occur. sent3: the fact that the apostleship and the ladling climax occurs is not true if that the feast does not occur hold. sent4: that the peel happens yields that the confidentness occurs and the abusing night-stop does not occur. sent5: if the abusing clinch does not occur that the branching and the effervescentness happens is not correct. sent6: the fact that the secondness occurs and the Kabbalism does not occur is wrong. sent7: the forelegness does not occur. sent8: the ladling African and the icebreaker happens. sent9: both the branching and the non-effervescentness occurs. sent10: the disreputableness happens. sent11: if the burying Pachycephala happens then that the fact that the branching and the effervescentness occurs is wrong hold. sent12: that the branching but not the effervescentness occurs is brought about by that the burying Pachycephala happens. sent13: the shinny happens and the butchery happens. sent14: the ladling albino does not occur. sent15: the fact that the comber happens is correct. sent16: the fact that the branching and the effervescentness occurs does not hold. sent17: the petalousness occurs. sent18: the graduating happens. sent19: the ladling Fechner happens and the graduate happens. sent20: the ladling Tutankhamen occurs and the petalousness occurs. sent21: the abusing Tutankhamen does not occur. ; $proof$ = 
void -> assump2: Let's assume that the burying Pachycephala happens.; void -> assump1: Let's assume that the abusing clinch happens.; sent20 -> int1: the ladling Tutankhamen occurs.; assump1 & int1 -> int2: the abusing clinch and the ladling Tutankhamen occurs.; sent1 & int2 -> int3: the burying Pachycephala does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the abusing clinch does not occur.; __UNKNOWN__