if the liberalizing happens then the anterogradeness does not occur.
sent1: the anterogradeness happens. sent2: the effortfulness occurs. sent3: that the summarization occurs is not wrong. sent4: that the anterogradeness happens is prevented by that the oleophobicness happens and the liberalizing occurs. sent5: the toe-in happens. sent6: the panhysterectomy happens. sent7: that the jug happens and the fallibleness occurs yields that the fringe does not occur. sent8: if the toe-in occurs the anterogradeness occurs. sent9: the doubleness does not occur if either the malting happens or the offertory happens or both. sent10: the offertory happens. sent11: the tolerableness occurs. sent12: either the piddling lapidary or the Malaysianness or both happens. sent13: if the malt happens the fact that the doubling does not occur is not incorrect. sent14: that the mystifying no-brainer occurs and the instructionalness happens yields the plagiarism. sent15: if the doubleness does not occur the oleophobicness happens. sent16: the rogation does not occur. sent17: the humming Brythonic occurs. sent18: the mystifying Wiesenthal happens and the backing happens.
sent10 -> int1: the malt and/or the offertory happens.; sent9 & int1 -> int2: the doubling does not occur.; sent15 & int2 -> int3: the oleophobicness occurs.; void -> assump1: Let's assume that the liberalizing happens.; int3 & assump1 -> int4: the oleophobicness and the liberalizing occurs.; sent4 & int4 -> int5: the anterogradeness does not occur.; [assump1] & int5 -> hypothesis;
the cyprinid does not occur.
sent8 & sent5 -> int6: that the anterogradeness occurs is not incorrect.;
$hypothesis$ = if the liberalizing happens then the anterogradeness does not occur. ; $context$ = sent1: the anterogradeness happens. sent2: the effortfulness occurs. sent3: that the summarization occurs is not wrong. sent4: that the anterogradeness happens is prevented by that the oleophobicness happens and the liberalizing occurs. sent5: the toe-in happens. sent6: the panhysterectomy happens. sent7: that the jug happens and the fallibleness occurs yields that the fringe does not occur. sent8: if the toe-in occurs the anterogradeness occurs. sent9: the doubleness does not occur if either the malting happens or the offertory happens or both. sent10: the offertory happens. sent11: the tolerableness occurs. sent12: either the piddling lapidary or the Malaysianness or both happens. sent13: if the malt happens the fact that the doubling does not occur is not incorrect. sent14: that the mystifying no-brainer occurs and the instructionalness happens yields the plagiarism. sent15: if the doubleness does not occur the oleophobicness happens. sent16: the rogation does not occur. sent17: the humming Brythonic occurs. sent18: the mystifying Wiesenthal happens and the backing happens. ; $proof$ = 
sent10 -> int1: the malt and/or the offertory happens.; sent9 & int1 -> int2: the doubling does not occur.; sent15 & int2 -> int3: the oleophobicness occurs.; void -> assump1: Let's assume that the liberalizing happens.; int3 & assump1 -> int4: the oleophobicness and the liberalizing occurs.; sent4 & int4 -> int5: the anterogradeness does not occur.; [assump1] & int5 -> hypothesis; __PROVED__