that the microeconomicsness happens is not wrong if the spading does not occur but the aerobicness happens.
sent1: not the launching sericulturist but the thelarche happens. sent2: the fact that the spade does not occur is right. sent3: the microeconomicsness happens if that the confirmation does not occur does not hold. sent4: that the non-westernness and/or the choricness happens is not right if the quietness does not occur. sent5: that the gravitationalness and the spade happens is caused by that the aerobicness does not occur. sent6: the fact that the shade occurs hold if that the westernness does not occur or the choricness occurs or both is not true. sent7: the fact that the confirmation does not occur but the microeconomicsness occurs is not correct if the shading happens. sent8: that the confirmation happens is triggered by the collecting Nut. sent9: that the puckering does not occur results in that the quietness does not occur and the hurtling does not occur. sent10: if the launching sericulturist does not occur the puckering does not occur.
void -> assump1: Let's assume that the spading does not occur but the aerobicness occurs.; assump1 -> int1: the fact that the aerobicness happens is not incorrect.;
the gravitationalness happens.
sent1 -> int2: the launching sericulturist does not occur.; sent10 & int2 -> int3: the puckering does not occur.; sent9 & int3 -> int4: the quietness does not occur and the hurtling does not occur.; int4 -> int5: the quietness does not occur.; sent4 & int5 -> int6: the fact that the western does not occur and/or the choricness happens does not hold.; sent6 & int6 -> int7: the shading occurs.; sent7 & int7 -> int8: the fact that the confirmation does not occur and the microeconomicsness occurs is incorrect.;
$hypothesis$ = that the microeconomicsness happens is not wrong if the spading does not occur but the aerobicness happens. ; $context$ = sent1: not the launching sericulturist but the thelarche happens. sent2: the fact that the spade does not occur is right. sent3: the microeconomicsness happens if that the confirmation does not occur does not hold. sent4: that the non-westernness and/or the choricness happens is not right if the quietness does not occur. sent5: that the gravitationalness and the spade happens is caused by that the aerobicness does not occur. sent6: the fact that the shade occurs hold if that the westernness does not occur or the choricness occurs or both is not true. sent7: the fact that the confirmation does not occur but the microeconomicsness occurs is not correct if the shading happens. sent8: that the confirmation happens is triggered by the collecting Nut. sent9: that the puckering does not occur results in that the quietness does not occur and the hurtling does not occur. sent10: if the launching sericulturist does not occur the puckering does not occur. ; $proof$ = 
void -> assump1: Let's assume that the spading does not occur but the aerobicness occurs.; assump1 -> int1: the fact that the aerobicness happens is not incorrect.; __UNKNOWN__