that the sublimation but not the opener happens is false.
sent1: if the conventionalizing sandfish does not occur then the sublimation but not the opener happens. sent2: if the fearing Cetoniidae does not occur the fact that not the conventionalizing boatload but the conventionalizing sandfish happens is not right. sent3: that the electoralness does not occur is true. sent4: the conventionalizing boatload does not occur if the steeling Scleranthus happens. sent5: the opener does not occur if the conventionalizing sandfish does not occur. sent6: if the theocraticness does not occur the fact that both the morphemicness and the electoralness happens is not true. sent7: both the tamping busboy and the autoplasticness occurs if the fact that the steeling Scleranthus does not occur is right. sent8: that that the sublimation occurs and the opener does not occur does not hold if the autoplasticness does not occur is true. sent9: if the pistillateness occurs the papillariness occurs and the arthromericness does not occur. sent10: if the opener happens that the conventionalizing boatload does not occur and the conventionalizing sandfish does not occur is incorrect. sent11: that the morphemicness does not occur and the fearing Cetoniidae does not occur is caused by the non-electoralness. sent12: both the autoplasticness and the steeling Scleranthus occurs. sent13: if that the morphemicness happens and the electoralness occurs is not true then the morphemicness does not occur. sent14: the theocraticness does not occur if both the papillariness and the non-arthromericness happens.
sent12 -> int1: the steeling Scleranthus occurs.; int1 & sent4 -> int2: the conventionalizing boatload does not occur.; void -> assump1: Let's assume that the conventionalizing sandfish happens.; int2 & assump1 -> int3: not the conventionalizing boatload but the conventionalizing sandfish occurs.; sent11 & sent3 -> int4: the morphemicness does not occur and the fearing Cetoniidae does not occur.; int4 -> int5: the fearing Cetoniidae does not occur.; sent2 & int5 -> int6: the fact that not the conventionalizing boatload but the conventionalizing sandfish happens is not true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the conventionalizing sandfish does not occur.; int8 & sent1 -> hypothesis;
that the sublimation occurs and the opener does not occur is wrong.
$hypothesis$ = that the sublimation but not the opener happens is false. ; $context$ = sent1: if the conventionalizing sandfish does not occur then the sublimation but not the opener happens. sent2: if the fearing Cetoniidae does not occur the fact that not the conventionalizing boatload but the conventionalizing sandfish happens is not right. sent3: that the electoralness does not occur is true. sent4: the conventionalizing boatload does not occur if the steeling Scleranthus happens. sent5: the opener does not occur if the conventionalizing sandfish does not occur. sent6: if the theocraticness does not occur the fact that both the morphemicness and the electoralness happens is not true. sent7: both the tamping busboy and the autoplasticness occurs if the fact that the steeling Scleranthus does not occur is right. sent8: that that the sublimation occurs and the opener does not occur does not hold if the autoplasticness does not occur is true. sent9: if the pistillateness occurs the papillariness occurs and the arthromericness does not occur. sent10: if the opener happens that the conventionalizing boatload does not occur and the conventionalizing sandfish does not occur is incorrect. sent11: that the morphemicness does not occur and the fearing Cetoniidae does not occur is caused by the non-electoralness. sent12: both the autoplasticness and the steeling Scleranthus occurs. sent13: if that the morphemicness happens and the electoralness occurs is not true then the morphemicness does not occur. sent14: the theocraticness does not occur if both the papillariness and the non-arthromericness happens. ; $proof$ = 
sent12 -> int1: the steeling Scleranthus occurs.; int1 & sent4 -> int2: the conventionalizing boatload does not occur.; void -> assump1: Let's assume that the conventionalizing sandfish happens.; int2 & assump1 -> int3: not the conventionalizing boatload but the conventionalizing sandfish occurs.; sent11 & sent3 -> int4: the morphemicness does not occur and the fearing Cetoniidae does not occur.; int4 -> int5: the fearing Cetoniidae does not occur.; sent2 & int5 -> int6: the fact that not the conventionalizing boatload but the conventionalizing sandfish happens is not true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the conventionalizing sandfish does not occur.; int8 & sent1 -> hypothesis; __DISPROVED__