that there is something such that if it does deduce Nammu it is a glen is wrong.
sent1: the shopwindow does hobnob if it is a immobilization. sent2: if the shopwindow is a glen it deduces spout. sent3: the shopwindow is a kind of a glen if it is a kind of a systematization. sent4: if the shopwindow deduces Nammu then it is a glen. sent5: the shopwindow fries if it is intradermal. sent6: there exists something such that if it is rentable it deduces Anzio. sent7: the rice does unbar Bioko if it is a salvo. sent8: the shopwindow is an outhouse if it does deduce Nammu. sent9: there is something such that if it is a Burnside then it is a mandrill. sent10: there exists something such that if that it is a Changtzu is not false then it is a Jenny. sent11: there is something such that if it is a hardtack then it is a Guyanese. sent12: if the shopwindow is a viewers it is a kind of a bathymetry. sent13: something does skim prebendary if it deduces electric. sent14: the shopwindow is a kind of a corkwood if it deduces spout.
sent4 -> hypothesis;
there exists something such that if it does deduce electric it does skim prebendary.
sent13 -> int1: if the damson does deduce electric it does skim prebendary.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does deduce Nammu it is a glen is wrong. ; $context$ = sent1: the shopwindow does hobnob if it is a immobilization. sent2: if the shopwindow is a glen it deduces spout. sent3: the shopwindow is a kind of a glen if it is a kind of a systematization. sent4: if the shopwindow deduces Nammu then it is a glen. sent5: the shopwindow fries if it is intradermal. sent6: there exists something such that if it is rentable it deduces Anzio. sent7: the rice does unbar Bioko if it is a salvo. sent8: the shopwindow is an outhouse if it does deduce Nammu. sent9: there is something such that if it is a Burnside then it is a mandrill. sent10: there exists something such that if that it is a Changtzu is not false then it is a Jenny. sent11: there is something such that if it is a hardtack then it is a Guyanese. sent12: if the shopwindow is a viewers it is a kind of a bathymetry. sent13: something does skim prebendary if it deduces electric. sent14: the shopwindow is a kind of a corkwood if it deduces spout. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__