the tyrannizing happens.
sent1: the fact that the prolateness happens hold if the debriefing supercargo occurs. sent2: the lengthwiseness happens and the prelapsarianness occurs. sent3: that the liquidizing does not occur is prevented by that the iridectomy occurs. sent4: the clang occurs if the disunion happens. sent5: the debriefing juke occurs. sent6: that the bootlegging does not occur is triggered by that the taming happens and the ravage does not occur. sent7: the amplifying Gogol happens and the debriefing Karok happens. sent8: the tumble happens if that the cercarialness happens is not false. sent9: the picture occurs and the Rooseveltianness happens. sent10: the amplifying cadetship and the mortalness happens. sent11: if the bootlegging does not occur then that the amplifying cadetship does not occur and the mortalness does not occur is not true. sent12: if the bootlegging happens the tyrannizing occurs. sent13: the amplifying cadetship happens. sent14: the mildness occurs. sent15: that the mortalness occurs triggers the bootlegging.
sent10 -> int1: the mortalness happens.; sent15 & int1 -> int2: the bootlegging happens.; sent12 & int2 -> hypothesis;
the tyrannizing does not occur.
$hypothesis$ = the tyrannizing happens. ; $context$ = sent1: the fact that the prolateness happens hold if the debriefing supercargo occurs. sent2: the lengthwiseness happens and the prelapsarianness occurs. sent3: that the liquidizing does not occur is prevented by that the iridectomy occurs. sent4: the clang occurs if the disunion happens. sent5: the debriefing juke occurs. sent6: that the bootlegging does not occur is triggered by that the taming happens and the ravage does not occur. sent7: the amplifying Gogol happens and the debriefing Karok happens. sent8: the tumble happens if that the cercarialness happens is not false. sent9: the picture occurs and the Rooseveltianness happens. sent10: the amplifying cadetship and the mortalness happens. sent11: if the bootlegging does not occur then that the amplifying cadetship does not occur and the mortalness does not occur is not true. sent12: if the bootlegging happens the tyrannizing occurs. sent13: the amplifying cadetship happens. sent14: the mildness occurs. sent15: that the mortalness occurs triggers the bootlegging. ; $proof$ = 
sent10 -> int1: the mortalness happens.; sent15 & int1 -> int2: the bootlegging happens.; sent12 & int2 -> hypothesis; __PROVED__