the switch-hitter is not an affirmative.
sent1: the switch-hitter skips Brotulidae. sent2: that the switch-hitter is a lengthiness that does not subtilize coyote is not correct. sent3: if the switch-hitter does not subtilize coyote then it is a kind of a Molva and does appropriate artifact. sent4: if that something subtilizes coyote and/or gloms Nicaraguan is false it is not an affirmative. sent5: the switch-hitter does skip Brotulidae if the fact that it does not glom Nicaraguan is right. sent6: the switch-hitter is a kind of a kingfish and it is a shipworm. sent7: the switch-hitter does not glom Nicaraguan if that it is a lengthiness and it does not subtilize coyote is not correct. sent8: something that does not subtilize coyote does skip Brotulidae. sent9: if the abortifacient does not subtilize coyote it appropriates conductor and is hemispherical. sent10: something does skip Brotulidae and it is an affirmative if it does not glom Nicaraguan.
sent10 -> int1: the switch-hitter skips Brotulidae and it is a kind of an affirmative if it does not glom Nicaraguan.; sent7 & sent2 -> int2: the fact that the switch-hitter does not glom Nicaraguan hold.; int1 & int2 -> int3: the switch-hitter skips Brotulidae and is affirmative.; int3 -> hypothesis;
the switch-hitter is not affirmative.
sent4 -> int4: if the fact that the switch-hitter does subtilize coyote and/or does glom Nicaraguan is incorrect it is non-affirmative.;
$hypothesis$ = the switch-hitter is not an affirmative. ; $context$ = sent1: the switch-hitter skips Brotulidae. sent2: that the switch-hitter is a lengthiness that does not subtilize coyote is not correct. sent3: if the switch-hitter does not subtilize coyote then it is a kind of a Molva and does appropriate artifact. sent4: if that something subtilizes coyote and/or gloms Nicaraguan is false it is not an affirmative. sent5: the switch-hitter does skip Brotulidae if the fact that it does not glom Nicaraguan is right. sent6: the switch-hitter is a kind of a kingfish and it is a shipworm. sent7: the switch-hitter does not glom Nicaraguan if that it is a lengthiness and it does not subtilize coyote is not correct. sent8: something that does not subtilize coyote does skip Brotulidae. sent9: if the abortifacient does not subtilize coyote it appropriates conductor and is hemispherical. sent10: something does skip Brotulidae and it is an affirmative if it does not glom Nicaraguan. ; $proof$ = 
sent10 -> int1: the switch-hitter skips Brotulidae and it is a kind of an affirmative if it does not glom Nicaraguan.; sent7 & sent2 -> int2: the fact that the switch-hitter does not glom Nicaraguan hold.; int1 & int2 -> int3: the switch-hitter skips Brotulidae and is affirmative.; int3 -> hypothesis; __DISPROVED__