the concretizing NREM occurs.
sent1: the impalpableness does not occur. sent2: that the dolichocephalic happens is prevented by that both the grant-in-aid and the concretizing NREM happens. sent3: the dolichocephalicness happens if the unethicalness happens. sent4: the grant-in-aid and the non-dolichocephalicness occurs if the Chinese does not occur. sent5: if the grant-in-aid and the non-dolichocephalicness happens the concretizing NREM occurs. sent6: the grant-in-aid occurs. sent7: the entericness does not occur if the fact that both the entericness and the concretizing NREM happens is not true. sent8: if that the unethicalness happens is not incorrect then the Chineseness does not occur. sent9: the unethicalness and/or the Chineseness occurs. sent10: if the Chineseness happens the dolichocephalic happens.
void -> assump1: Let's assume that the concretizing NREM happens.; sent6 & assump1 -> int1: the grant-in-aid happens and the concretizing NREM occurs.; int1 & sent2 -> int2: the dolichocephalic does not occur.; sent9 & sent3 & sent10 -> int3: the dolichocephalicness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the concretizing NREM occurs.
$hypothesis$ = the concretizing NREM occurs. ; $context$ = sent1: the impalpableness does not occur. sent2: that the dolichocephalic happens is prevented by that both the grant-in-aid and the concretizing NREM happens. sent3: the dolichocephalicness happens if the unethicalness happens. sent4: the grant-in-aid and the non-dolichocephalicness occurs if the Chinese does not occur. sent5: if the grant-in-aid and the non-dolichocephalicness happens the concretizing NREM occurs. sent6: the grant-in-aid occurs. sent7: the entericness does not occur if the fact that both the entericness and the concretizing NREM happens is not true. sent8: if that the unethicalness happens is not incorrect then the Chineseness does not occur. sent9: the unethicalness and/or the Chineseness occurs. sent10: if the Chineseness happens the dolichocephalic happens. ; $proof$ = 
void -> assump1: Let's assume that the concretizing NREM happens.; sent6 & assump1 -> int1: the grant-in-aid happens and the concretizing NREM occurs.; int1 & sent2 -> int2: the dolichocephalic does not occur.; sent9 & sent3 & sent10 -> int3: the dolichocephalicness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__