the entrancing straying happens.
sent1: the combustible happens. sent2: if the combustibleness happens then not the cinerariness but the cardinalship happens. sent3: the entrancing straying happens if the non-cineraryness and the cardinalship happens.
sent2 & sent1 -> int1: the non-cineraryness and the cardinalship occurs.; sent3 & int1 -> hypothesis;
$hypothesis$ = the entrancing straying happens. ; $context$ = sent1: the combustible happens. sent2: if the combustibleness happens then not the cinerariness but the cardinalship happens. sent3: the entrancing straying happens if the non-cineraryness and the cardinalship happens. ; $proof$ = 
sent2 & sent1 -> int1: the non-cineraryness and the cardinalship occurs.; sent3 & int1 -> hypothesis; __PROVED__