the penthouse is a kind of a Croatian.
sent1: The som mythologizes demimondaine. sent2: something does not mythologize som but it is a kind of a Croatian. sent3: the demimondaine does not mythologize som if something that does chock evening-snow is a Croatian. sent4: if there is something such that it is non-calendric thing that is unwholesome the penthouse does chock evening-snow. sent5: the penthouse is a Croatian if the demimondaine does chock evening-snow. sent6: the demimondaine mythologizes som. sent7: there is something such that it is unwholesome. sent8: something is not calendric but it is unwholesome.
sent8 & sent4 -> int1: the penthouse chocks evening-snow.; void -> assump1: Let's assume that that the penthouse is Croatian is correct.; int1 & assump1 -> int2: the penthouse does chock evening-snow and it is Croatian.; int2 -> int3: there exists something such that it chocks evening-snow and is a Croatian.; int3 & sent3 -> int4: the demimondaine does not mythologize som.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the penthouse is a kind of a Croatian.
$hypothesis$ = the penthouse is a kind of a Croatian. ; $context$ = sent1: The som mythologizes demimondaine. sent2: something does not mythologize som but it is a kind of a Croatian. sent3: the demimondaine does not mythologize som if something that does chock evening-snow is a Croatian. sent4: if there is something such that it is non-calendric thing that is unwholesome the penthouse does chock evening-snow. sent5: the penthouse is a Croatian if the demimondaine does chock evening-snow. sent6: the demimondaine mythologizes som. sent7: there is something such that it is unwholesome. sent8: something is not calendric but it is unwholesome. ; $proof$ = 
sent8 & sent4 -> int1: the penthouse chocks evening-snow.; void -> assump1: Let's assume that that the penthouse is Croatian is correct.; int1 & assump1 -> int2: the penthouse does chock evening-snow and it is Croatian.; int2 -> int3: there exists something such that it chocks evening-snow and is a Croatian.; int3 & sent3 -> int4: the demimondaine does not mythologize som.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__