the fact that the baedeker chasses but it is non-glottal does not hold.
sent1: if either the target does not respect or it is a coot or both it is not a respect. sent2: the meteorite respects. sent3: the meteorite is a respect and it is a coot. sent4: if the meteorite does play friendship then the target does amend. sent5: the arethusa is not a kind of a coot if there is something such that it amends and it is glottal. sent6: the meteorite does amend if the target does play friendship. sent7: the meteorite plays friendship and it respects. sent8: the arethusa is a chasse and it plays thuggery. sent9: if the target is not a kind of a respect then the meteorite is a kind of Luxemburger thing that plays friendship. sent10: if the target is not glottal then the fact that the baedeker chasses but it is not glottal is not true. sent11: something that does play friendship is a kind of a chasse and is not glottal. sent12: if the meteorite is glottal it does not amend or it is subhuman or both. sent13: the meteorite does amend and is a coot if it is not a kind of a Manilkara. sent14: there are glottal things. sent15: if the baedeker does not amend the fact that the target is a kind of glottal thing that does not amend is not correct. sent16: something that does not amend and/or is subhuman is not subhuman.
sent7 -> int1: the meteorite does play friendship.; int1 & sent4 -> int2: the target does amend.; void -> assump1: Let's assume that the target is glottal.; int2 & assump1 -> int3: the target does amend and is glottal.; int3 -> int4: something does amend and is glottal.; int4 & sent5 -> int5: the arethusa is not a coot.;
something is a kind of a Luxemburger that is subhuman.
sent16 -> int6: if the meteorite either does not amend or is subhuman or both then it is subhuman.;
$hypothesis$ = the fact that the baedeker chasses but it is non-glottal does not hold. ; $context$ = sent1: if either the target does not respect or it is a coot or both it is not a respect. sent2: the meteorite respects. sent3: the meteorite is a respect and it is a coot. sent4: if the meteorite does play friendship then the target does amend. sent5: the arethusa is not a kind of a coot if there is something such that it amends and it is glottal. sent6: the meteorite does amend if the target does play friendship. sent7: the meteorite plays friendship and it respects. sent8: the arethusa is a chasse and it plays thuggery. sent9: if the target is not a kind of a respect then the meteorite is a kind of Luxemburger thing that plays friendship. sent10: if the target is not glottal then the fact that the baedeker chasses but it is not glottal is not true. sent11: something that does play friendship is a kind of a chasse and is not glottal. sent12: if the meteorite is glottal it does not amend or it is subhuman or both. sent13: the meteorite does amend and is a coot if it is not a kind of a Manilkara. sent14: there are glottal things. sent15: if the baedeker does not amend the fact that the target is a kind of glottal thing that does not amend is not correct. sent16: something that does not amend and/or is subhuman is not subhuman. ; $proof$ = 
sent7 -> int1: the meteorite does play friendship.; int1 & sent4 -> int2: the target does amend.; void -> assump1: Let's assume that the target is glottal.; int2 & assump1 -> int3: the target does amend and is glottal.; int3 -> int4: something does amend and is glottal.; int4 & sent5 -> int5: the arethusa is not a coot.; __UNKNOWN__