the squash is uncomplimentary a Chlamydosaurus.
sent1: if the Chewa does not google then that it is distant is not wrong. sent2: if the spokeshave is distinct the Chewa does google. sent3: the spokeshave is a paean and it is not non-distant if it is not distinct. sent4: the squash is lactic and it is unconscientious. sent5: if the Chewa googles the squash is uncomplimentary. sent6: the squash does not google. sent7: the Chewa is biblical. sent8: the Chewa is distinct. sent9: that the squash is a Chlamydosaurus is true. sent10: the hearthrug does not google or is an amethyst or both. sent11: the fact that the squash is an anterior is not false. sent12: if the spokeshave is not distinct then it is distant. sent13: the fact that the spokeshave is uncomplimentary is not false if the squash is distant. sent14: the spokeshave is not a paean. sent15: the squash is distinct. sent16: the torus is not a kind of a Chlamydosaurus.
void -> assump1: Let's assume that the spokeshave is indistinct.; sent3 & assump1 -> int1: the spokeshave is a paean that is distant.; int1 -> int2: the spokeshave is a paean.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the spokeshave is distinct is not wrong.; int4 & sent2 -> int5: the Chewa does google.; int5 & sent5 -> int6: the squash is uncomplimentary.; int6 & sent9 -> hypothesis;
that the squash is uncomplimentary thing that is a kind of a Chlamydosaurus is not true.
sent10 -> int7: there is something such that it does not google or is an amethyst or both.;
$hypothesis$ = the squash is uncomplimentary a Chlamydosaurus. ; $context$ = sent1: if the Chewa does not google then that it is distant is not wrong. sent2: if the spokeshave is distinct the Chewa does google. sent3: the spokeshave is a paean and it is not non-distant if it is not distinct. sent4: the squash is lactic and it is unconscientious. sent5: if the Chewa googles the squash is uncomplimentary. sent6: the squash does not google. sent7: the Chewa is biblical. sent8: the Chewa is distinct. sent9: that the squash is a Chlamydosaurus is true. sent10: the hearthrug does not google or is an amethyst or both. sent11: the fact that the squash is an anterior is not false. sent12: if the spokeshave is not distinct then it is distant. sent13: the fact that the spokeshave is uncomplimentary is not false if the squash is distant. sent14: the spokeshave is not a paean. sent15: the squash is distinct. sent16: the torus is not a kind of a Chlamydosaurus. ; $proof$ = 
void -> assump1: Let's assume that the spokeshave is indistinct.; sent3 & assump1 -> int1: the spokeshave is a paean that is distant.; int1 -> int2: the spokeshave is a paean.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the spokeshave is distinct is not wrong.; int4 & sent2 -> int5: the Chewa does google.; int5 & sent5 -> int6: the squash is uncomplimentary.; int6 & sent9 -> hypothesis; __PROVED__