if the gymnosophist is not a kind of a Darwinian that either the commentator is smooth or it is a kind of a Champollion or both is not true.
sent1: if the gymnosophist is not a kind of a Darwinian the commentator is a smooth or is a Champollion or both. sent2: the Edda is not smooth. sent3: the commentator is not a kind of a Champollion. sent4: the fact that that the gymnosophist is Darwinian and/or it photographs Shingon is incorrect hold if the commentator is non-smooth. sent5: the gymnosophist is not a kind of a Champollion. sent6: the commentator is not a Champollion if the vestry is not a kind of a chordate. sent7: the gymnosophist does devolve. sent8: the puree does not photograph Shingon if the commentator is a Champollion and is not a chordate. sent9: if the vestry is not a chordate the commentator smooths or is a Champollion or both. sent10: if the gymnosophist is not a Darwinian then the commentator is not a kind of a Champollion. sent11: the puree does not photograph Shingon if the gymnosophist devolves and is not Darwinian. sent12: the vestry is not a kind of a filter. sent13: the vestry is not a chordate if the puree does not photograph Shingon. sent14: that the commentator is a smooth or it is a Champollion or both is false if the vestry is not a kind of a chordate. sent15: the commentator is an iceberg and not a chordate. sent16: the fact that the commentator smooths and/or it is a Champollion is not wrong.
void -> assump1: Let's assume that the fact that the gymnosophist is not a kind of a Darwinian is not incorrect.; sent7 & assump1 -> int1: the gymnosophist does devolve but it is not a Darwinian.; int1 & sent11 -> int2: the puree does not photograph Shingon.; int2 & sent13 -> int3: the vestry is not a chordate.; int3 & sent14 -> int4: the fact that the commentator is smooth and/or it is a kind of a Champollion is not true.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the gymnosophist is not a kind of a Darwinian that either the commentator is smooth or it is a kind of a Champollion or both is not true. ; $context$ = sent1: if the gymnosophist is not a kind of a Darwinian the commentator is a smooth or is a Champollion or both. sent2: the Edda is not smooth. sent3: the commentator is not a kind of a Champollion. sent4: the fact that that the gymnosophist is Darwinian and/or it photographs Shingon is incorrect hold if the commentator is non-smooth. sent5: the gymnosophist is not a kind of a Champollion. sent6: the commentator is not a Champollion if the vestry is not a kind of a chordate. sent7: the gymnosophist does devolve. sent8: the puree does not photograph Shingon if the commentator is a Champollion and is not a chordate. sent9: if the vestry is not a chordate the commentator smooths or is a Champollion or both. sent10: if the gymnosophist is not a Darwinian then the commentator is not a kind of a Champollion. sent11: the puree does not photograph Shingon if the gymnosophist devolves and is not Darwinian. sent12: the vestry is not a kind of a filter. sent13: the vestry is not a chordate if the puree does not photograph Shingon. sent14: that the commentator is a smooth or it is a Champollion or both is false if the vestry is not a kind of a chordate. sent15: the commentator is an iceberg and not a chordate. sent16: the fact that the commentator smooths and/or it is a Champollion is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gymnosophist is not a kind of a Darwinian is not incorrect.; sent7 & assump1 -> int1: the gymnosophist does devolve but it is not a Darwinian.; int1 & sent11 -> int2: the puree does not photograph Shingon.; int2 & sent13 -> int3: the vestry is not a chordate.; int3 & sent14 -> int4: the fact that the commentator is smooth and/or it is a kind of a Champollion is not true.; [assump1] & int4 -> hypothesis; __PROVED__