the fact that the detainee is not a merganser but it is a kind of a batter does not hold.
sent1: the fact that the vesuvianite is chauvinistic hold if there exists something such that that it is not chauvinistic and it is gothic is false. sent2: the vesuvianite is chauvinistic if there are non-gothic things. sent3: if there is something such that it is a kind of a letter then the Scotswoman is not a kind of a hartebeest and it is not a kind of a farm. sent4: there exists something such that the fact that that it is not chauvinistic but gothic is not false does not hold. sent5: there is something such that it is a letter. sent6: the Scotswoman is not a kind of a fallow. sent7: the vesuvianite is not chauvinistic if the moviegoer is a fallow that disjoints. sent8: if that the moviegoer does not disjoint is correct then the detainee is not a merganser and is a batter. sent9: the detainee is not a farm if the Scotswoman is a kind of a batter and is a hartebeest. sent10: the fact that the fact that something is not a merganser and is a batter is false if it is a letter hold. sent11: if something that is not a hartebeest does not farm the moviegoer is a fallow.
sent5 & sent3 -> int1: the Scotswoman is not a kind of a hartebeest and is not a farm.; int1 -> int2: something is not a kind of a hartebeest and it is not a kind of a farm.; int2 & sent11 -> int3: the moviegoer is a fallow.; void -> assump1: Let's assume that the moviegoer disjoints.; int3 & assump1 -> int4: the moviegoer is a kind of a fallow and it disjoints.; int4 & sent7 -> int5: the vesuvianite is not chauvinistic.; sent4 & sent1 -> int6: that the vesuvianite is chauvinistic is correct.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the moviegoer does not disjoint.; int8 & sent8 -> hypothesis;
that the detainee is both not a merganser and a batter is wrong.
sent10 -> int9: if the detainee letters then the fact that it is not a merganser but a batter does not hold.;
$hypothesis$ = the fact that the detainee is not a merganser but it is a kind of a batter does not hold. ; $context$ = sent1: the fact that the vesuvianite is chauvinistic hold if there exists something such that that it is not chauvinistic and it is gothic is false. sent2: the vesuvianite is chauvinistic if there are non-gothic things. sent3: if there is something such that it is a kind of a letter then the Scotswoman is not a kind of a hartebeest and it is not a kind of a farm. sent4: there exists something such that the fact that that it is not chauvinistic but gothic is not false does not hold. sent5: there is something such that it is a letter. sent6: the Scotswoman is not a kind of a fallow. sent7: the vesuvianite is not chauvinistic if the moviegoer is a fallow that disjoints. sent8: if that the moviegoer does not disjoint is correct then the detainee is not a merganser and is a batter. sent9: the detainee is not a farm if the Scotswoman is a kind of a batter and is a hartebeest. sent10: the fact that the fact that something is not a merganser and is a batter is false if it is a letter hold. sent11: if something that is not a hartebeest does not farm the moviegoer is a fallow. ; $proof$ = 
sent5 & sent3 -> int1: the Scotswoman is not a kind of a hartebeest and is not a farm.; int1 -> int2: something is not a kind of a hartebeest and it is not a kind of a farm.; int2 & sent11 -> int3: the moviegoer is a fallow.; void -> assump1: Let's assume that the moviegoer disjoints.; int3 & assump1 -> int4: the moviegoer is a kind of a fallow and it disjoints.; int4 & sent7 -> int5: the vesuvianite is not chauvinistic.; sent4 & sent1 -> int6: that the vesuvianite is chauvinistic is correct.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the moviegoer does not disjoint.; int8 & sent8 -> hypothesis; __DISPROVED__