that something is not abient is not right.
sent1: the dinocerate does sentimentalise Erythrocebus if the penknife is a chance. sent2: the dinocerate is a kind of a gallfly. sent3: the penknife does chance if the fact that the anthophyllite is an outfitted but it is not a kind of an economist is not true. sent4: if something that sentimentalises Erythrocebus is abient it is not a gallfly. sent5: there is nothing that is an outfitted that is not an economist.
sent5 -> int1: that the anthophyllite is a kind of an outfitted that is not an economist does not hold.; int1 & sent3 -> int2: the fact that the penknife does chance is right.; int2 & sent1 -> int3: the fact that the dinocerate does sentimentalise Erythrocebus is true.; void -> assump1: Let's assume that the dinocerate is abient.; int3 & assump1 -> int4: the dinocerate does sentimentalise Erythrocebus and is abient.; sent4 -> int5: that the dinocerate is not a gallfly hold if it does sentimentalise Erythrocebus and it is abient.; int4 & int5 -> int6: the dinocerate is not a gallfly.; int6 & sent2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dinocerate is not abient.; int8 -> hypothesis;
$hypothesis$ = that something is not abient is not right. ; $context$ = sent1: the dinocerate does sentimentalise Erythrocebus if the penknife is a chance. sent2: the dinocerate is a kind of a gallfly. sent3: the penknife does chance if the fact that the anthophyllite is an outfitted but it is not a kind of an economist is not true. sent4: if something that sentimentalises Erythrocebus is abient it is not a gallfly. sent5: there is nothing that is an outfitted that is not an economist. ; $proof$ = 
sent5 -> int1: that the anthophyllite is a kind of an outfitted that is not an economist does not hold.; int1 & sent3 -> int2: the fact that the penknife does chance is right.; int2 & sent1 -> int3: the fact that the dinocerate does sentimentalise Erythrocebus is true.; void -> assump1: Let's assume that the dinocerate is abient.; int3 & assump1 -> int4: the dinocerate does sentimentalise Erythrocebus and is abient.; sent4 -> int5: that the dinocerate is not a gallfly hold if it does sentimentalise Erythrocebus and it is abient.; int4 & int5 -> int6: the dinocerate is not a gallfly.; int6 & sent2 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dinocerate is not abient.; int8 -> hypothesis; __DISPROVED__