that there is something such that it is either inward or a Demavend or both is wrong.
sent1: there exists something such that it is a kind of a singular. sent2: the jack is ponderable. sent3: if something is a kind of a singular the jack is a kind of a Demavend that is ponderable. sent4: something is inward and/or it is ponderable.
sent1 & sent3 -> int1: the jack is a Demavend and not imponderable.; int1 -> int2: that the jack is a Demavend is not wrong.; int2 -> int3: the jack is inward or it is a Demavend or both.; int3 -> hypothesis;
$hypothesis$ = that there is something such that it is either inward or a Demavend or both is wrong. ; $context$ = sent1: there exists something such that it is a kind of a singular. sent2: the jack is ponderable. sent3: if something is a kind of a singular the jack is a kind of a Demavend that is ponderable. sent4: something is inward and/or it is ponderable. ; $proof$ = 
sent1 & sent3 -> int1: the jack is a Demavend and not imponderable.; int1 -> int2: that the jack is a Demavend is not wrong.; int2 -> int3: the jack is inward or it is a Demavend or both.; int3 -> hypothesis; __DISPROVED__