that the stocker is a dedication and/or it is not a bird is not true.
sent1: the fact that the skipjack is anagogic thing that does not gate adducer is false if the fact that it is cordless is not incorrect. sent2: if the stocker is not a kind of a potto the fact that the cicerone cheats hold. sent3: something is a kind of a systematism. sent4: the vouchee gates adducer. sent5: the adducer is anagogic if something that gates adducer is cordless. sent6: the stocker is long-chain. sent7: if there exists something such that it is not anagogic the cicerone is both a griffon and not advective. sent8: if something is a kind of a cheat that the heliozoan is informative and/or it does not gate vouchee is incorrect. sent9: if the cicerone is a cheat the skipjack is a griffon. sent10: the vouchee is not non-cordless. sent11: the skipjack is not anagogic if the fact that it is anagogic and does not gate adducer is incorrect. sent12: the stocker is not a kind of a potto if either it is a dedication or it is not a bird or both. sent13: The adducer gates vouchee. sent14: the adducer is not a dedication. sent15: the skipjack is cordless. sent16: that the adducer is not anagogic is not false if the skipjack is a griffon and/or it is advective.
void -> assump1: Let's assume that either the stocker is a dedication or it does not bird or both.; sent12 & assump1 -> int1: the stocker is not a potto.; int1 & sent2 -> int2: the cicerone is a kind of a cheat.; int2 & sent9 -> int3: the skipjack is a griffon.; int3 -> int4: the skipjack is a kind of a griffon or it is advective or both.; int4 & sent16 -> int5: the adducer is not anagogic.; sent4 & sent10 -> int6: the vouchee gates adducer and is cordless.; int6 -> int7: something does gate adducer and is cordless.; int7 & sent5 -> int8: the adducer is anagogic.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the fact that the heliozoan is informative and/or it does not gate vouchee does not hold.
sent1 & sent15 -> int10: the fact that the skipjack is a kind of anagogic thing that does not gate adducer is wrong.; sent11 & int10 -> int11: that the skipjack is not anagogic is correct.; int11 -> int12: there is something such that it is not anagogic.; int12 & sent7 -> int13: the cicerone is both a griffon and non-advective.; int13 -> int14: the cicerone is a griffon.; int14 -> int15: there exists something such that it is a griffon.;
$hypothesis$ = that the stocker is a dedication and/or it is not a bird is not true. ; $context$ = sent1: the fact that the skipjack is anagogic thing that does not gate adducer is false if the fact that it is cordless is not incorrect. sent2: if the stocker is not a kind of a potto the fact that the cicerone cheats hold. sent3: something is a kind of a systematism. sent4: the vouchee gates adducer. sent5: the adducer is anagogic if something that gates adducer is cordless. sent6: the stocker is long-chain. sent7: if there exists something such that it is not anagogic the cicerone is both a griffon and not advective. sent8: if something is a kind of a cheat that the heliozoan is informative and/or it does not gate vouchee is incorrect. sent9: if the cicerone is a cheat the skipjack is a griffon. sent10: the vouchee is not non-cordless. sent11: the skipjack is not anagogic if the fact that it is anagogic and does not gate adducer is incorrect. sent12: the stocker is not a kind of a potto if either it is a dedication or it is not a bird or both. sent13: The adducer gates vouchee. sent14: the adducer is not a dedication. sent15: the skipjack is cordless. sent16: that the adducer is not anagogic is not false if the skipjack is a griffon and/or it is advective. ; $proof$ = 
void -> assump1: Let's assume that either the stocker is a dedication or it does not bird or both.; sent12 & assump1 -> int1: the stocker is not a potto.; int1 & sent2 -> int2: the cicerone is a kind of a cheat.; int2 & sent9 -> int3: the skipjack is a griffon.; int3 -> int4: the skipjack is a kind of a griffon or it is advective or both.; int4 & sent16 -> int5: the adducer is not anagogic.; sent4 & sent10 -> int6: the vouchee gates adducer and is cordless.; int6 -> int7: something does gate adducer and is cordless.; int7 & sent5 -> int8: the adducer is anagogic.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__