that both the hitching gramicidin and the non-mitralness occurs is true.
sent1: if the fact that the screaming exorcist does not occur and the trebling tip-off does not occur is not true then the reeking occurs. sent2: if that the hitching wrasse does not occur is wrong then the shaping happens. sent3: if the eschatologicalness does not occur then that the hitching gramicidin happens but the mitralness does not occur is incorrect. sent4: the fact that not the hitching balance but the thirsting plastic occurs is not true. sent5: the trebling deflector but not the inconvenientness happens. sent6: the sashay does not occur if both the owning and the shaping occurs. sent7: the reeking happens if that the trebling tip-off occurs hold. sent8: that the trebling alexandrite does not occur is caused by that both the exigency and the constellating occurs. sent9: the muffled occurs. sent10: that the chlorination happens is correct. sent11: the fact that the screaming explosive does not occur is correct. sent12: the existentness occurs. sent13: that the avocationalness occurs if that the fact that the runup does not occur and the libidinalness does not occur is not false is false is not incorrect. sent14: that the mitralness happens is prevented by that the microbialness happens and the hitching Romance happens. sent15: the hitching Romance and the trebling cytoarchitecture occurs. sent16: that the screaming exorcist does not occur and the trebling tip-off does not occur is not right. sent17: the fact that the deviation does not occur and the deflecting does not occur is wrong. sent18: the hitching gramicidin happens if the eschatologicalness happens. sent19: the hitching kilovolt occurs and the concentration occurs. sent20: the microbialness happens if the existentness happens. sent21: if the reeking occurs the eschatologicalness occurs.
sent1 & sent16 -> int1: the reeking happens.; int1 & sent21 -> int2: the eschatologicalness happens.; int2 & sent18 -> int3: the hitching gramicidin occurs.; sent20 & sent12 -> int4: the microbialness happens.; sent15 -> int5: the hitching Romance occurs.; int4 & int5 -> int6: the microbialness happens and the hitching Romance occurs.; sent14 & int6 -> int7: the mitralness does not occur.; int3 & int7 -> hypothesis;
that the hitching gramicidin but not the mitralness occurs does not hold.
$hypothesis$ = that both the hitching gramicidin and the non-mitralness occurs is true. ; $context$ = sent1: if the fact that the screaming exorcist does not occur and the trebling tip-off does not occur is not true then the reeking occurs. sent2: if that the hitching wrasse does not occur is wrong then the shaping happens. sent3: if the eschatologicalness does not occur then that the hitching gramicidin happens but the mitralness does not occur is incorrect. sent4: the fact that not the hitching balance but the thirsting plastic occurs is not true. sent5: the trebling deflector but not the inconvenientness happens. sent6: the sashay does not occur if both the owning and the shaping occurs. sent7: the reeking happens if that the trebling tip-off occurs hold. sent8: that the trebling alexandrite does not occur is caused by that both the exigency and the constellating occurs. sent9: the muffled occurs. sent10: that the chlorination happens is correct. sent11: the fact that the screaming explosive does not occur is correct. sent12: the existentness occurs. sent13: that the avocationalness occurs if that the fact that the runup does not occur and the libidinalness does not occur is not false is false is not incorrect. sent14: that the mitralness happens is prevented by that the microbialness happens and the hitching Romance happens. sent15: the hitching Romance and the trebling cytoarchitecture occurs. sent16: that the screaming exorcist does not occur and the trebling tip-off does not occur is not right. sent17: the fact that the deviation does not occur and the deflecting does not occur is wrong. sent18: the hitching gramicidin happens if the eschatologicalness happens. sent19: the hitching kilovolt occurs and the concentration occurs. sent20: the microbialness happens if the existentness happens. sent21: if the reeking occurs the eschatologicalness occurs. ; $proof$ = 
sent1 & sent16 -> int1: the reeking happens.; int1 & sent21 -> int2: the eschatologicalness happens.; int2 & sent18 -> int3: the hitching gramicidin occurs.; sent20 & sent12 -> int4: the microbialness happens.; sent15 -> int5: the hitching Romance occurs.; int4 & int5 -> int6: the microbialness happens and the hitching Romance occurs.; sent14 & int6 -> int7: the mitralness does not occur.; int3 & int7 -> hypothesis; __PROVED__