the embrowning deictic occurs.
sent1: both the horning curassow and the stowing macadamia occurs. sent2: if the fact that the horning Njord but not the Transportation happens is not true the horning Njord does not occur. sent3: if the rebellion does not occur then the goading and the coccalness occurs. sent4: if the embrowning Oceanus does not occur that the horning curassow occurs and the embrowning deictic does not occur is not true. sent5: the stowing macadamia happens. sent6: if the secularization occurs the unclothing bignoniad does not occur but the unclothing periodical happens. sent7: if not the horning digitoxin but the shanking occurs then the horning polypeptide does not occur. sent8: if the ulcerating occurs the antic happens. sent9: if the phacoemulsification does not occur and the horning polypeptide does not occur the elements happens. sent10: if the elements occurs then the fact that the horning Njord but not the Transportation occurs does not hold. sent11: that the embrowning deictic happens and the horning curassow does not occur does not hold if the stowing macadamia happens. sent12: if the unclothing bignoniad does not occur not the embrowning Oceanus but the stowing macadamia occurs. sent13: if the antic happens that the exhortation does not occur and the hug does not occur is not true. sent14: that not the secularization but the unclothing disquisition occurs does not hold if the horning Njord does not occur. sent15: if that not the secularization but the unclothing disquisition happens is not true then the secularization happens. sent16: the exhortation happens if that the exhortation does not occur and the hugging does not occur is not true. sent17: the embrowning Oceanus does not occur. sent18: the dishonesty does not occur but the pluralism happens if the exhortation happens. sent19: if the goading happens not the horning digitoxin but the shanking occurs. sent20: if that the pluralism happens is true the phacoemulsification does not occur. sent21: if that the sadomasochisticness happens and the uplifting does not occur is incorrect then the ulcerating happens. sent22: the fact that the sadomasochisticness but not the uplifting occurs is wrong.
sent1 -> int1: the horning curassow happens.; void -> assump1: Let's assume that that the embrowning deictic does not occur is right.; int1 & assump1 -> int2: the horning curassow but not the embrowning deictic happens.; sent4 & sent17 -> int3: the fact that the horning curassow but not the embrowning deictic happens is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the embrowning deictic does not occur.
sent21 & sent22 -> int5: the ulcerating happens.; sent8 & int5 -> int6: the antic occurs.; sent13 & int6 -> int7: that the exhortation does not occur and the hugging does not occur is not true.; sent16 & int7 -> int8: the exhortation happens.; sent18 & int8 -> int9: the dishonesty does not occur and the pluralism occurs.; int9 -> int10: the pluralism occurs.; sent20 & int10 -> int11: that the phacoemulsification does not occur hold.;
$hypothesis$ = the embrowning deictic occurs. ; $context$ = sent1: both the horning curassow and the stowing macadamia occurs. sent2: if the fact that the horning Njord but not the Transportation happens is not true the horning Njord does not occur. sent3: if the rebellion does not occur then the goading and the coccalness occurs. sent4: if the embrowning Oceanus does not occur that the horning curassow occurs and the embrowning deictic does not occur is not true. sent5: the stowing macadamia happens. sent6: if the secularization occurs the unclothing bignoniad does not occur but the unclothing periodical happens. sent7: if not the horning digitoxin but the shanking occurs then the horning polypeptide does not occur. sent8: if the ulcerating occurs the antic happens. sent9: if the phacoemulsification does not occur and the horning polypeptide does not occur the elements happens. sent10: if the elements occurs then the fact that the horning Njord but not the Transportation occurs does not hold. sent11: that the embrowning deictic happens and the horning curassow does not occur does not hold if the stowing macadamia happens. sent12: if the unclothing bignoniad does not occur not the embrowning Oceanus but the stowing macadamia occurs. sent13: if the antic happens that the exhortation does not occur and the hug does not occur is not true. sent14: that not the secularization but the unclothing disquisition occurs does not hold if the horning Njord does not occur. sent15: if that not the secularization but the unclothing disquisition happens is not true then the secularization happens. sent16: the exhortation happens if that the exhortation does not occur and the hugging does not occur is not true. sent17: the embrowning Oceanus does not occur. sent18: the dishonesty does not occur but the pluralism happens if the exhortation happens. sent19: if the goading happens not the horning digitoxin but the shanking occurs. sent20: if that the pluralism happens is true the phacoemulsification does not occur. sent21: if that the sadomasochisticness happens and the uplifting does not occur is incorrect then the ulcerating happens. sent22: the fact that the sadomasochisticness but not the uplifting occurs is wrong. ; $proof$ = 
sent1 -> int1: the horning curassow happens.; void -> assump1: Let's assume that that the embrowning deictic does not occur is right.; int1 & assump1 -> int2: the horning curassow but not the embrowning deictic happens.; sent4 & sent17 -> int3: the fact that the horning curassow but not the embrowning deictic happens is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__