that the real occurs yields that the wish occurs but the vacationing does not occur.
sent1: that the endocentricness occurs and the perinasalness does not occur is caused by the non-realness. sent2: if the fact that the nonruminantness does not occur hold the wish happens and the developmentalness occurs. sent3: the perinasalness happens. sent4: if that the perinasalness happens is false then the commonness and the non-Javaneseness occurs. sent5: if the perinasalness happens the endocentricness happens. sent6: the nonruminantness does not occur. sent7: if the developmentalness does not occur the fact that the fact that the wishing does not occur and the vacationing does not occur is not wrong is not right. sent8: that the endocentricness occurs and the realness occurs prevents that the vacationing occurs.
sent5 & sent3 -> int1: that the endocentricness happens is right.; void -> assump1: Let's assume that the real happens.; int1 & assump1 -> int2: the endocentricness happens and the real occurs.; int2 & sent8 -> int3: the vacationing does not occur.; sent2 & sent6 -> int4: both the wish and the developmentalness occurs.; int4 -> int5: the wishing occurs.; int3 & int5 -> int6: the wishing but not the vacationing occurs.; [assump1] & int6 -> hypothesis;
the commonness occurs and the Javanese does not occur.
$hypothesis$ = that the real occurs yields that the wish occurs but the vacationing does not occur. ; $context$ = sent1: that the endocentricness occurs and the perinasalness does not occur is caused by the non-realness. sent2: if the fact that the nonruminantness does not occur hold the wish happens and the developmentalness occurs. sent3: the perinasalness happens. sent4: if that the perinasalness happens is false then the commonness and the non-Javaneseness occurs. sent5: if the perinasalness happens the endocentricness happens. sent6: the nonruminantness does not occur. sent7: if the developmentalness does not occur the fact that the fact that the wishing does not occur and the vacationing does not occur is not wrong is not right. sent8: that the endocentricness occurs and the realness occurs prevents that the vacationing occurs. ; $proof$ = 
sent5 & sent3 -> int1: that the endocentricness happens is right.; void -> assump1: Let's assume that the real happens.; int1 & assump1 -> int2: the endocentricness happens and the real occurs.; int2 & sent8 -> int3: the vacationing does not occur.; sent2 & sent6 -> int4: both the wish and the developmentalness occurs.; int4 -> int5: the wishing occurs.; int3 & int5 -> int6: the wishing but not the vacationing occurs.; [assump1] & int6 -> hypothesis; __PROVED__