the screwtop does contemplate Desmodium.
sent1: the fact that the memsahib is a Geococcyx and it is a kind of a Echidnophaga is wrong. sent2: if the screwtop contemplates Desmodium then the memsahib is a Geococcyx. sent3: if the seer does push Bhadon then it does not contemplate instructions. sent4: the fact that something contemplates Desmodium and it is a biography is not right if it is not a Geococcyx. sent5: the memsahib is not a Geococcyx if that it is a Geococcyx and it is a kind of a Echidnophaga does not hold. sent6: the underpass does push Heyrovsky but it is not a neophyte if there is something such that it pushes Marvell. sent7: if the towpath is not a Echidnophaga that that the memsahib is not a kind of a Geococcyx and does not contemplate Desmodium is not wrong is false. sent8: if the underpass does push Heyrovsky but it is not a kind of a neophyte then the seer does not leap. sent9: an outdoors and non-involucrate thing is not a kind of a pindolol. sent10: something is not radial-ply and is a sampan if it is not a pindolol. sent11: there is something such that the fact that it pushes Marvell is not wrong. sent12: the towpath is outdoors but it is not involucrate if that the seer does not contemplate instructions is true. sent13: if something is non-radial-ply but it is a sampan then it is not a Echidnophaga. sent14: if the seer is not a leap it does not ash wicked and it does push Bhadon.
void -> assump1: Let's assume that the screwtop contemplates Desmodium.; sent2 & assump1 -> int1: the memsahib is a Geococcyx.; sent5 & sent1 -> int2: the memsahib is not a Geococcyx.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the blue contemplates Desmodium and it is a biography does not hold.
sent4 -> int4: that the blue contemplates Desmodium and is a kind of a biography is not right if it is not a Geococcyx.;
$hypothesis$ = the screwtop does contemplate Desmodium. ; $context$ = sent1: the fact that the memsahib is a Geococcyx and it is a kind of a Echidnophaga is wrong. sent2: if the screwtop contemplates Desmodium then the memsahib is a Geococcyx. sent3: if the seer does push Bhadon then it does not contemplate instructions. sent4: the fact that something contemplates Desmodium and it is a biography is not right if it is not a Geococcyx. sent5: the memsahib is not a Geococcyx if that it is a Geococcyx and it is a kind of a Echidnophaga does not hold. sent6: the underpass does push Heyrovsky but it is not a neophyte if there is something such that it pushes Marvell. sent7: if the towpath is not a Echidnophaga that that the memsahib is not a kind of a Geococcyx and does not contemplate Desmodium is not wrong is false. sent8: if the underpass does push Heyrovsky but it is not a kind of a neophyte then the seer does not leap. sent9: an outdoors and non-involucrate thing is not a kind of a pindolol. sent10: something is not radial-ply and is a sampan if it is not a pindolol. sent11: there is something such that the fact that it pushes Marvell is not wrong. sent12: the towpath is outdoors but it is not involucrate if that the seer does not contemplate instructions is true. sent13: if something is non-radial-ply but it is a sampan then it is not a Echidnophaga. sent14: if the seer is not a leap it does not ash wicked and it does push Bhadon. ; $proof$ = 
void -> assump1: Let's assume that the screwtop contemplates Desmodium.; sent2 & assump1 -> int1: the memsahib is a Geococcyx.; sent5 & sent1 -> int2: the memsahib is not a Geococcyx.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__