the hobbyism prevents that the assignment does not occur.
sent1: the inexpedientness occurs. sent2: the deflating inspection happens. sent3: if the playing does not occur the assignment happens. sent4: the playing happens. sent5: if the raffling does not occur the assignment does not occur and the playing does not occur. sent6: the wieldiness does not occur. sent7: the turning and the hobbyism occurs if the fact that the playing does not occur hold. sent8: the deflating chandelle happens. sent9: if the fact that the playing but not the hobbyism occurs is not right the charitableness does not occur. sent10: if the deflating occasion occurs then the spiraling inexpensiveness occurs. sent11: if that both the hobbyism and the playing happens does not hold the assignment occurs. sent12: the hobbyism and the playing happens. sent13: that the assignment does not occur is prevented by that not the hobbyism but the playing happens. sent14: the raffling does not occur if that not the spiraling inexpensiveness but the raffling occurs is wrong. sent15: not the overflight but the intention occurs.
void -> assump1: Let's assume that not the hobbyism but the playing occurs.; assump1 -> int1: the hobbyism does not occur.; void -> assump2: Let's assume that the hobbyism happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the hobbyism does not occur but the playing occurs is not correct.;
the turning happens.
$hypothesis$ = the hobbyism prevents that the assignment does not occur. ; $context$ = sent1: the inexpedientness occurs. sent2: the deflating inspection happens. sent3: if the playing does not occur the assignment happens. sent4: the playing happens. sent5: if the raffling does not occur the assignment does not occur and the playing does not occur. sent6: the wieldiness does not occur. sent7: the turning and the hobbyism occurs if the fact that the playing does not occur hold. sent8: the deflating chandelle happens. sent9: if the fact that the playing but not the hobbyism occurs is not right the charitableness does not occur. sent10: if the deflating occasion occurs then the spiraling inexpensiveness occurs. sent11: if that both the hobbyism and the playing happens does not hold the assignment occurs. sent12: the hobbyism and the playing happens. sent13: that the assignment does not occur is prevented by that not the hobbyism but the playing happens. sent14: the raffling does not occur if that not the spiraling inexpensiveness but the raffling occurs is wrong. sent15: not the overflight but the intention occurs. ; $proof$ = 
void -> assump1: Let's assume that not the hobbyism but the playing occurs.; assump1 -> int1: the hobbyism does not occur.; void -> assump2: Let's assume that the hobbyism happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the hobbyism does not occur but the playing occurs is not correct.; __UNKNOWN__