the god is not a valuation.
sent1: the god is a kind of a abstractedness if it is virological. sent2: the god is not a geometer but virological. sent3: if there is something such that it does not resubmit rhyme the dominion is a bile. sent4: there exists something such that it does not resubmit rhyme. sent5: if something is a abstractedness and is a valuation the dominion is not a bile.
sent2 -> int1: the god is virological.; int1 & sent1 -> int2: the god is a abstractedness.; void -> assump1: Let's assume that the god is a valuation.; int2 & assump1 -> int3: the god is a abstractedness and a valuation.; int3 -> int4: there exists something such that it is a abstractedness and it is a valuation.; int4 & sent5 -> int5: the dominion is not a bile.; sent4 & sent3 -> int6: the dominion is a bile.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the god is not a valuation. ; $context$ = sent1: the god is a kind of a abstractedness if it is virological. sent2: the god is not a geometer but virological. sent3: if there is something such that it does not resubmit rhyme the dominion is a bile. sent4: there exists something such that it does not resubmit rhyme. sent5: if something is a abstractedness and is a valuation the dominion is not a bile. ; $proof$ = 
sent2 -> int1: the god is virological.; int1 & sent1 -> int2: the god is a abstractedness.; void -> assump1: Let's assume that the god is a valuation.; int2 & assump1 -> int3: the god is a abstractedness and a valuation.; int3 -> int4: there exists something such that it is a abstractedness and it is a valuation.; int4 & sent5 -> int5: the dominion is not a bile.; sent4 & sent3 -> int6: the dominion is a bile.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__