that the encephalography does not occur and the make-believe happens does not hold if the cathedral occurs.
sent1: the fact that the granulation does not occur but the unpaintableness happens is wrong. sent2: the fact that that not the encephalography but the make-believe occurs does not hold is correct if the cartooning does not occur. sent3: that that both the encephalography and the make-believe happens is incorrect hold. sent4: if the disobedience occurs that the non-palmarness and the newspeak happens does not hold. sent5: that the encephalography happens and the make-believe occurs is not correct if the cathedral happens. sent6: the pursing does not occur. sent7: not the encephalography but the make-believe happens if the fact that the cartoon does not occur hold. sent8: that not the echo but the granulation occurs is false if the fact that the eviscerating Pictor does not occur hold. sent9: the fact that that not the lathering astrophysicist but the mechanisticness occurs is not true if the voluntary occurs hold. sent10: that the plumbing does not occur and the drivelling occurs is incorrect. sent11: the fact that the contrapuntalness does not occur and the clash happens is not right. sent12: the homologizing occurs. sent13: the playoff occurs if that both the non-paniculateness and the demand happens is wrong. sent14: the fact that both the encephalography and the make-believe happens is not correct if the cartooning does not occur. sent15: that not the paniculateness but the demanding occurs is wrong. sent16: the playoff occurs if the demanding does not occur. sent17: if the playoff occurs and the cathedralness happens then the cartoon does not occur. sent18: the encephalography does not occur but the make-believe happens. sent19: if the cathedral happens then the encephalography does not occur and the make-believe happens.
sent13 & sent15 -> int1: the playoff happens.; void -> assump1: Let's assume that the cathedralness occurs.; int1 & assump1 -> int2: the playoff occurs and the cathedral occurs.; sent17 & int2 -> int3: the cartooning does not occur.; sent2 & int3 -> int4: that the encephalography does not occur and the make-believe happens does not hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the encephalography does not occur and the make-believe happens does not hold if the cathedral occurs. ; $context$ = sent1: the fact that the granulation does not occur but the unpaintableness happens is wrong. sent2: the fact that that not the encephalography but the make-believe occurs does not hold is correct if the cartooning does not occur. sent3: that that both the encephalography and the make-believe happens is incorrect hold. sent4: if the disobedience occurs that the non-palmarness and the newspeak happens does not hold. sent5: that the encephalography happens and the make-believe occurs is not correct if the cathedral happens. sent6: the pursing does not occur. sent7: not the encephalography but the make-believe happens if the fact that the cartoon does not occur hold. sent8: that not the echo but the granulation occurs is false if the fact that the eviscerating Pictor does not occur hold. sent9: the fact that that not the lathering astrophysicist but the mechanisticness occurs is not true if the voluntary occurs hold. sent10: that the plumbing does not occur and the drivelling occurs is incorrect. sent11: the fact that the contrapuntalness does not occur and the clash happens is not right. sent12: the homologizing occurs. sent13: the playoff occurs if that both the non-paniculateness and the demand happens is wrong. sent14: the fact that both the encephalography and the make-believe happens is not correct if the cartooning does not occur. sent15: that not the paniculateness but the demanding occurs is wrong. sent16: the playoff occurs if the demanding does not occur. sent17: if the playoff occurs and the cathedralness happens then the cartoon does not occur. sent18: the encephalography does not occur but the make-believe happens. sent19: if the cathedral happens then the encephalography does not occur and the make-believe happens. ; $proof$ = 
sent13 & sent15 -> int1: the playoff happens.; void -> assump1: Let's assume that the cathedralness occurs.; int1 & assump1 -> int2: the playoff occurs and the cathedral occurs.; sent17 & int2 -> int3: the cartooning does not occur.; sent2 & int3 -> int4: that the encephalography does not occur and the make-believe happens does not hold.; [assump1] & int4 -> hypothesis; __PROVED__