that the oleophobicness happens prevents the nonmetamorphicness.
sent1: if that the dictating Liszt does not occur but the nitrifying occurs is false the statement does not occur. sent2: if the reciprocity does not occur that not the dictating Liszt but the nitrifying happens is not correct. sent3: that the tobogganing happens and the oleophobicness occurs prevents that the reciprocity occurs. sent4: the toboggan occurs. sent5: if the statement does not occur then the depreciation and the metamorphicness occurs.
void -> assump1: Let's assume that the oleophobicness happens.; sent4 & assump1 -> int1: the toboggan occurs and the oleophobicness happens.; int1 & sent3 -> int2: the reciprocity does not occur.; int2 & sent2 -> int3: that the dictating Liszt does not occur but the nitrifying occurs does not hold.; int3 & sent1 -> int4: the statement does not occur.; int4 & sent5 -> int5: the depreciation happens and the metamorphicness happens.; int5 -> int6: the metamorphicness happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the oleophobicness happens prevents the nonmetamorphicness. ; $context$ = sent1: if that the dictating Liszt does not occur but the nitrifying occurs is false the statement does not occur. sent2: if the reciprocity does not occur that not the dictating Liszt but the nitrifying happens is not correct. sent3: that the tobogganing happens and the oleophobicness occurs prevents that the reciprocity occurs. sent4: the toboggan occurs. sent5: if the statement does not occur then the depreciation and the metamorphicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the oleophobicness happens.; sent4 & assump1 -> int1: the toboggan occurs and the oleophobicness happens.; int1 & sent3 -> int2: the reciprocity does not occur.; int2 & sent2 -> int3: that the dictating Liszt does not occur but the nitrifying occurs does not hold.; int3 & sent1 -> int4: the statement does not occur.; int4 & sent5 -> int5: the depreciation happens and the metamorphicness happens.; int5 -> int6: the metamorphicness happens.; [assump1] & int6 -> hypothesis; __PROVED__