that the passing upholstery occurs is triggered by the osculation.
sent1: the fact that the collapsibleness does not occur but the harlequining futurity occurs is false if that the osculation happens is correct. sent2: if that both the non-collapsibleness and the harlequining futurity happens is false the substitute happens. sent3: the passing upholstery is caused by that the substituting occurs.
void -> assump1: Let's assume that the osculation happens.; sent1 & assump1 -> int1: the fact that the collapsibleness does not occur and the harlequining futurity occurs is not true.; int1 & sent2 -> int2: the substitute happens.; int2 & sent3 -> int3: the passing upholstery occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the passing upholstery occurs is triggered by the osculation. ; $context$ = sent1: the fact that the collapsibleness does not occur but the harlequining futurity occurs is false if that the osculation happens is correct. sent2: if that both the non-collapsibleness and the harlequining futurity happens is false the substitute happens. sent3: the passing upholstery is caused by that the substituting occurs. ; $proof$ = 
void -> assump1: Let's assume that the osculation happens.; sent1 & assump1 -> int1: the fact that the collapsibleness does not occur and the harlequining futurity occurs is not true.; int1 & sent2 -> int2: the substitute happens.; int2 & sent3 -> int3: the passing upholstery occurs.; [assump1] & int3 -> hypothesis; __PROVED__