the pomegranate is not expendable.
sent1: the fact that something does multiply aerophilately hold. sent2: something is acetylenic if it is not a kind of a headsman and does not casket pomegranate. sent3: if the pomegranate is not a kind of a stabile that it is not expendable and multiplies Cyclophorus is incorrect. sent4: the pomegranate is not a kind of a headsman and does not casket pomegranate if something multiplies aerophilately. sent5: if the pomegranate is acetylenic it does multiply Cyclophorus. sent6: the pomegranate is not a kind of a stabile.
sent1 & sent4 -> int1: the pomegranate is not a headsman and it does not casket pomegranate.; sent2 -> int2: the pomegranate is acetylenic if it is not a headsman and it does not casket pomegranate.; int1 & int2 -> int3: the pomegranate is acetylenic.; int3 & sent5 -> int4: the pomegranate does multiply Cyclophorus.; void -> assump1: Let's assume that the fact that the pomegranate is not expendable is right.; int4 & assump1 -> int5: the pomegranate is not expendable but it does multiply Cyclophorus.; sent3 & sent6 -> int6: that the pomegranate is not expendable but it multiplies Cyclophorus is incorrect.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the pomegranate is not expendable. ; $context$ = sent1: the fact that something does multiply aerophilately hold. sent2: something is acetylenic if it is not a kind of a headsman and does not casket pomegranate. sent3: if the pomegranate is not a kind of a stabile that it is not expendable and multiplies Cyclophorus is incorrect. sent4: the pomegranate is not a kind of a headsman and does not casket pomegranate if something multiplies aerophilately. sent5: if the pomegranate is acetylenic it does multiply Cyclophorus. sent6: the pomegranate is not a kind of a stabile. ; $proof$ = 
sent1 & sent4 -> int1: the pomegranate is not a headsman and it does not casket pomegranate.; sent2 -> int2: the pomegranate is acetylenic if it is not a headsman and it does not casket pomegranate.; int1 & int2 -> int3: the pomegranate is acetylenic.; int3 & sent5 -> int4: the pomegranate does multiply Cyclophorus.; void -> assump1: Let's assume that the fact that the pomegranate is not expendable is right.; int4 & assump1 -> int5: the pomegranate is not expendable but it does multiply Cyclophorus.; sent3 & sent6 -> int6: that the pomegranate is not expendable but it multiplies Cyclophorus is incorrect.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__