the fact that if the individuating applicator does not occur then the reduplication but not the partition occurs is false.
sent1: that the concubinage does not occur is brought about by that the individuating applicator does not occur or that the specificness occurs or both. sent2: the reduplication but not the partitioning happens if the concubinage does not occur. sent3: that not the individuating applicator but the specific occurs prevents the non-ceramicsness. sent4: that the individuating applicator does not occur but the specificness happens is caused by that the concubinage occurs. sent5: the partitioning occurs and the concubinage occurs if the reduplication does not occur.
void -> assump1: Let's assume that the individuating applicator does not occur.; assump1 -> int1: the individuating applicator does not occur or the specificness happens or both.; sent1 & int1 -> int2: the concubinage does not occur.; sent2 & int2 -> int3: the reduplication but not the partition happens.; [assump1] & int3 -> hypothesis;
the aciculateness does not occur and/or the ceramics occurs.
$hypothesis$ = the fact that if the individuating applicator does not occur then the reduplication but not the partition occurs is false. ; $context$ = sent1: that the concubinage does not occur is brought about by that the individuating applicator does not occur or that the specificness occurs or both. sent2: the reduplication but not the partitioning happens if the concubinage does not occur. sent3: that not the individuating applicator but the specific occurs prevents the non-ceramicsness. sent4: that the individuating applicator does not occur but the specificness happens is caused by that the concubinage occurs. sent5: the partitioning occurs and the concubinage occurs if the reduplication does not occur. ; $proof$ = 
void -> assump1: Let's assume that the individuating applicator does not occur.; assump1 -> int1: the individuating applicator does not occur or the specificness happens or both.; sent1 & int1 -> int2: the concubinage does not occur.; sent2 & int2 -> int3: the reduplication but not the partition happens.; [assump1] & int3 -> hypothesis; __DISPROVED__