the fact that the humming and the non-cytoplasticness happens is false if the art happens.
sent1: that the cytoplasticness does not occur and the art does not occur does not hold if the hum does not occur. sent2: if the fact that the humming happens and the psyop occurs is wrong then that the humming does not occur is not wrong. sent3: not the piping earl but the Muscovite happens if the cryptography does not occur. sent4: the art does not occur if both the Muscoviteness and the cryptography happens. sent5: that the link does not occur yields that the chalkiness occurs and the polypectomy occurs. sent6: the cryptography happens. sent7: if the piping Psittacidae occurs and the testing does not occur then the lodging does not occur. sent8: the jumping ruggedization occurs if the ennoblement happens. sent9: the fact that the humming and the psyop occurs is not true if the incongruentness does not occur. sent10: if the Muscovite does not occur that both the hum and the non-cytoplasticness happens is wrong. sent11: the ennoblement occurs if the chalkiness occurs. sent12: the link does not occur if that the link occurs and the fertilization occurs is not true. sent13: that the incongruentness does not occur and the loop does not occur is triggered by that the sheltering isoflurane does not occur. sent14: that the jumping ruggedization happens causes that the piping Psittacidae but not the test happens. sent15: not the sheltering isoflurane but the Javaneseness occurs if the lodging does not occur.
void -> assump1: Let's assume that the art occurs.; void -> assump2: Let's assume that the Muscoviteness happens.; assump2 & sent6 -> int1: the Muscoviteness and the cryptography occurs.; sent4 & int1 -> int2: the art does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Muscoviteness does not occur.; sent10 & int4 -> int5: the fact that the humming and the non-cytoplasticness occurs is wrong.; [assump1] & int5 -> hypothesis;
the piping earl does not occur.
$hypothesis$ = the fact that the humming and the non-cytoplasticness happens is false if the art happens. ; $context$ = sent1: that the cytoplasticness does not occur and the art does not occur does not hold if the hum does not occur. sent2: if the fact that the humming happens and the psyop occurs is wrong then that the humming does not occur is not wrong. sent3: not the piping earl but the Muscovite happens if the cryptography does not occur. sent4: the art does not occur if both the Muscoviteness and the cryptography happens. sent5: that the link does not occur yields that the chalkiness occurs and the polypectomy occurs. sent6: the cryptography happens. sent7: if the piping Psittacidae occurs and the testing does not occur then the lodging does not occur. sent8: the jumping ruggedization occurs if the ennoblement happens. sent9: the fact that the humming and the psyop occurs is not true if the incongruentness does not occur. sent10: if the Muscovite does not occur that both the hum and the non-cytoplasticness happens is wrong. sent11: the ennoblement occurs if the chalkiness occurs. sent12: the link does not occur if that the link occurs and the fertilization occurs is not true. sent13: that the incongruentness does not occur and the loop does not occur is triggered by that the sheltering isoflurane does not occur. sent14: that the jumping ruggedization happens causes that the piping Psittacidae but not the test happens. sent15: not the sheltering isoflurane but the Javaneseness occurs if the lodging does not occur. ; $proof$ = 
void -> assump1: Let's assume that the art occurs.; void -> assump2: Let's assume that the Muscoviteness happens.; assump2 & sent6 -> int1: the Muscoviteness and the cryptography occurs.; sent4 & int1 -> int2: the art does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Muscoviteness does not occur.; sent10 & int4 -> int5: the fact that the humming and the non-cytoplasticness occurs is wrong.; [assump1] & int5 -> hypothesis; __PROVED__