if the haunting happens the colloquium occurs.
sent1: the holdout does not occur. sent2: that the endgame occurs is true. sent3: either the sacramentalness happens or the croaking does not occur or both. sent4: if the obtruding does not occur the fact that the X-ray and the clouting occurs is incorrect. sent5: the fact that the interleaving telepathy happens is not false if the haunting occurs but the lust does not occur. sent6: if the interleaving telepathy happens but the X-ray does not occur then the colloquium happens. sent7: if the fact that the X-ray and the clout happens is wrong the X-ray does not occur. sent8: the Lilliputian does not occur. sent9: the uncousinliness does not occur. sent10: the avionicsness does not occur if that the avionicsness occurs and the fretting partygoer occurs does not hold. sent11: the attitude happens and the disjunctness does not occur. sent12: the conveyance happens if the interleaving fondness happens. sent13: the unpalatableness and the non-isomericness happens. sent14: the fretting jongleur does not occur. sent15: if either the sacramentalness occurs or the croak does not occur or both then the lust does not occur. sent16: the beguilement occurs. sent17: the fact that the lacteal does not occur is not false. sent18: the level does not occur. sent19: that the attitude happens hold. sent20: the fretting marbles happens if the transference occurs. sent21: if the fact that the sacramentalness occurs is not false the lust does not occur. sent22: the Aeschyleanness and/or that the contradistinguishing revenant does not occur prevents the SNP. sent23: that the obtruding happens is prevented by that the attitude but not the disjunctness occurs.
sent15 & sent3 -> int1: the lust does not occur.; void -> assump1: Let's assume that the haunting happens.; int1 & assump1 -> int2: the haunt occurs but the lust does not occur.; int2 & sent5 -> int3: the interleaving telepathy occurs.; sent23 & sent11 -> int4: the fact that the obtruding does not occur hold.; sent4 & int4 -> int5: that the X-ray occurs and the clout happens is not true.; sent7 & int5 -> int6: the X-ray does not occur.; int3 & int6 -> int7: the interleaving telepathy but not the X-ray happens.; int7 & sent6 -> int8: the colloquium occurs.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if the haunting happens the colloquium occurs. ; $context$ = sent1: the holdout does not occur. sent2: that the endgame occurs is true. sent3: either the sacramentalness happens or the croaking does not occur or both. sent4: if the obtruding does not occur the fact that the X-ray and the clouting occurs is incorrect. sent5: the fact that the interleaving telepathy happens is not false if the haunting occurs but the lust does not occur. sent6: if the interleaving telepathy happens but the X-ray does not occur then the colloquium happens. sent7: if the fact that the X-ray and the clout happens is wrong the X-ray does not occur. sent8: the Lilliputian does not occur. sent9: the uncousinliness does not occur. sent10: the avionicsness does not occur if that the avionicsness occurs and the fretting partygoer occurs does not hold. sent11: the attitude happens and the disjunctness does not occur. sent12: the conveyance happens if the interleaving fondness happens. sent13: the unpalatableness and the non-isomericness happens. sent14: the fretting jongleur does not occur. sent15: if either the sacramentalness occurs or the croak does not occur or both then the lust does not occur. sent16: the beguilement occurs. sent17: the fact that the lacteal does not occur is not false. sent18: the level does not occur. sent19: that the attitude happens hold. sent20: the fretting marbles happens if the transference occurs. sent21: if the fact that the sacramentalness occurs is not false the lust does not occur. sent22: the Aeschyleanness and/or that the contradistinguishing revenant does not occur prevents the SNP. sent23: that the obtruding happens is prevented by that the attitude but not the disjunctness occurs. ; $proof$ = 
sent15 & sent3 -> int1: the lust does not occur.; void -> assump1: Let's assume that the haunting happens.; int1 & assump1 -> int2: the haunt occurs but the lust does not occur.; int2 & sent5 -> int3: the interleaving telepathy occurs.; sent23 & sent11 -> int4: the fact that the obtruding does not occur hold.; sent4 & int4 -> int5: that the X-ray occurs and the clout happens is not true.; sent7 & int5 -> int6: the X-ray does not occur.; int3 & int6 -> int7: the interleaving telepathy but not the X-ray happens.; int7 & sent6 -> int8: the colloquium occurs.; [assump1] & int8 -> hypothesis; __PROVED__