the comfortableness does not occur.
sent1: that the comfortableness occurs is prevented by that the non-phrasalness and/or the non-octangularness occurs. sent2: if the phrasalness does not occur then the octangularness does not occur. sent3: both the octangularness and the expiring photostat occurs. sent4: the phrasalness brings about that the non-denotativeness and the non-immaterialness happens. sent5: the fact that the default does not occur and the expiring rabbet does not occur is not false if the colloguing gloat occurs. sent6: if the fact that the denotativeness does not occur and the immaterialness does not occur is not incorrect then that the comfortableness occurs is true. sent7: the impenitentness happens.
void -> assump1: Let's assume that the phrasalness does not occur.; sent2 & assump1 -> int1: the octangularness does not occur.; sent3 -> int2: the octangularness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the phrasalness occurs is right.; int4 & sent4 -> int5: both the non-denotativeness and the non-immaterialness occurs.; int5 & sent6 -> hypothesis;
the comfortableness does not occur.
$hypothesis$ = the comfortableness does not occur. ; $context$ = sent1: that the comfortableness occurs is prevented by that the non-phrasalness and/or the non-octangularness occurs. sent2: if the phrasalness does not occur then the octangularness does not occur. sent3: both the octangularness and the expiring photostat occurs. sent4: the phrasalness brings about that the non-denotativeness and the non-immaterialness happens. sent5: the fact that the default does not occur and the expiring rabbet does not occur is not false if the colloguing gloat occurs. sent6: if the fact that the denotativeness does not occur and the immaterialness does not occur is not incorrect then that the comfortableness occurs is true. sent7: the impenitentness happens. ; $proof$ = 
void -> assump1: Let's assume that the phrasalness does not occur.; sent2 & assump1 -> int1: the octangularness does not occur.; sent3 -> int2: the octangularness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the phrasalness occurs is right.; int4 & sent4 -> int5: both the non-denotativeness and the non-immaterialness occurs.; int5 & sent6 -> hypothesis; __DISPROVED__