if the unmaking phaius happens the defibrillating alimony occurs.
sent1: if the septalness happens then that the intransitive happens hold. sent2: that the interrelating Rosidae happens is caused by that the disclosure occurs. sent3: that the unmaking Pediculus happens and the politeness does not occur is caused by that the unmaking phaius happens. sent4: that the disclosure does not occur is prevented by that the unmaking Pediculus but not the politeness happens. sent5: the Bayesianness happens if the eliminating proclivity occurs. sent6: that the defibrillating alimony happens is caused by that the interrelating Rosidae occurs. sent7: if the unmaking coupled happens then the fructifying happens.
void -> assump1: Let's assume that the unmaking phaius occurs.; sent3 & assump1 -> int1: the unmaking Pediculus happens but the politeness does not occur.; sent4 & int1 -> int2: the disclosure occurs.; sent2 & int2 -> int3: the interrelating Rosidae happens.; sent6 & int3 -> int4: that the defibrillating alimony happens hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the unmaking phaius happens the defibrillating alimony occurs. ; $context$ = sent1: if the septalness happens then that the intransitive happens hold. sent2: that the interrelating Rosidae happens is caused by that the disclosure occurs. sent3: that the unmaking Pediculus happens and the politeness does not occur is caused by that the unmaking phaius happens. sent4: that the disclosure does not occur is prevented by that the unmaking Pediculus but not the politeness happens. sent5: the Bayesianness happens if the eliminating proclivity occurs. sent6: that the defibrillating alimony happens is caused by that the interrelating Rosidae occurs. sent7: if the unmaking coupled happens then the fructifying happens. ; $proof$ = 
void -> assump1: Let's assume that the unmaking phaius occurs.; sent3 & assump1 -> int1: the unmaking Pediculus happens but the politeness does not occur.; sent4 & int1 -> int2: the disclosure occurs.; sent2 & int2 -> int3: the interrelating Rosidae happens.; sent6 & int3 -> int4: that the defibrillating alimony happens hold.; [assump1] & int4 -> hypothesis; __PROVED__