the escutcheon does thirst updating.
sent1: that the bluethroat thirsts updating is not false if it does stock. sent2: the Navaho is not a kind of a divi-divi. sent3: the escutcheon is syncategorematic. sent4: if the escutcheon is a divi-divi then the venter is a divi-divi and/or is a wrasse. sent5: the escutcheon is a constancy. sent6: the fact that the escutcheon is a kind of a wrasse is not incorrect. sent7: the venter is a divi-divi and/or is a wrasse. sent8: the venter is not a kind of a divi-divi or it is a wrasse or both if the escutcheon is a divi-divi. sent9: that the venter is not a divi-divi or is a kind of a wrasse or both does not hold. sent10: that something thirsts updating but it is not a divi-divi hold if it laces. sent11: the fact that the escutcheon either is not a bitter or screams coloradillo or both is false. sent12: the venter is a divi-divi. sent13: if the escutcheon is a divi-divi then the venter is not a kind of a divi-divi and/or thirsts updating. sent14: the escutcheon does not thirst updating or it is a kind of a wrasse or both if the venter thirst updating. sent15: the diskette is a divi-divi. sent16: the bellyband is a kind of a wrasse. sent17: the escutcheon is a kind of a divi-divi if it thirsts updating.
void -> assump1: Let's assume that the escutcheon does thirst updating.; sent17 & assump1 -> int1: the escutcheon is a divi-divi.; int1 & sent8 -> int2: the venter is not a divi-divi and/or it is a wrasse.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the escutcheon thirsts updating.
sent10 -> int4: the escutcheon does thirst updating and is not a divi-divi if it is a lace.;
$hypothesis$ = the escutcheon does thirst updating. ; $context$ = sent1: that the bluethroat thirsts updating is not false if it does stock. sent2: the Navaho is not a kind of a divi-divi. sent3: the escutcheon is syncategorematic. sent4: if the escutcheon is a divi-divi then the venter is a divi-divi and/or is a wrasse. sent5: the escutcheon is a constancy. sent6: the fact that the escutcheon is a kind of a wrasse is not incorrect. sent7: the venter is a divi-divi and/or is a wrasse. sent8: the venter is not a kind of a divi-divi or it is a wrasse or both if the escutcheon is a divi-divi. sent9: that the venter is not a divi-divi or is a kind of a wrasse or both does not hold. sent10: that something thirsts updating but it is not a divi-divi hold if it laces. sent11: the fact that the escutcheon either is not a bitter or screams coloradillo or both is false. sent12: the venter is a divi-divi. sent13: if the escutcheon is a divi-divi then the venter is not a kind of a divi-divi and/or thirsts updating. sent14: the escutcheon does not thirst updating or it is a kind of a wrasse or both if the venter thirst updating. sent15: the diskette is a divi-divi. sent16: the bellyband is a kind of a wrasse. sent17: the escutcheon is a kind of a divi-divi if it thirsts updating. ; $proof$ = 
void -> assump1: Let's assume that the escutcheon does thirst updating.; sent17 & assump1 -> int1: the escutcheon is a divi-divi.; int1 & sent8 -> int2: the venter is not a divi-divi and/or it is a wrasse.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__