the volumeter is a kind of an andromeda but it does not fibrillate.
sent1: the Pelham is an andromeda if the GB is catatonic. sent2: something is not an andromeda if the fact that it is both not an adenoid and an andromeda is incorrect. sent3: there is something such that it is refractive. sent4: that if the GB is not catatonic that the GB circumscribes motel and does not bestrew streptomycin is not true is right. sent5: that if something does bestrew streptomycin the GB is not a kind of an andromeda is not wrong. sent6: the GB does bestrew streptomycin if something is an adenoid but it does not circumscribe motel. sent7: the volumeter is an andromeda and does not fibrillate if the Pelham is an andromeda. sent8: the fact that something is not adenoid but it is an andromeda does not hold if it is not refractive. sent9: there exists something such that it does not circumscribe motel. sent10: if the volumeter is euphonious then it is catatonic. sent11: if there exists something such that it is refractive the spellbinder is an adenoid but it does not circumscribe motel. sent12: if there is something such that that it does circumscribe motel and it does not bestrew streptomycin is false then the spellbinder is not refractive. sent13: if something bestrews streptomycin then it is catatonic.
sent3 & sent11 -> int1: the spellbinder is a kind of an adenoid but it does not circumscribe motel.; int1 -> int2: there is something such that it is a kind of an adenoid and it does not circumscribe motel.; int2 & sent6 -> int3: the GB does bestrew streptomycin.; sent13 -> int4: if the GB bestrews streptomycin then it is catatonic.; int3 & int4 -> int5: the GB is catatonic.; int5 & sent1 -> int6: the Pelham is an andromeda.; int6 & sent7 -> hypothesis;
the fact that the volumeter is a kind of an andromeda but it does not fibrillate is not true.
sent2 -> int7: the spellbinder is not an andromeda if that it is non-adenoid an andromeda is wrong.; sent8 -> int8: if the spellbinder is not refractive then that it is a kind of non-adenoid an andromeda is incorrect.;
$hypothesis$ = the volumeter is a kind of an andromeda but it does not fibrillate. ; $context$ = sent1: the Pelham is an andromeda if the GB is catatonic. sent2: something is not an andromeda if the fact that it is both not an adenoid and an andromeda is incorrect. sent3: there is something such that it is refractive. sent4: that if the GB is not catatonic that the GB circumscribes motel and does not bestrew streptomycin is not true is right. sent5: that if something does bestrew streptomycin the GB is not a kind of an andromeda is not wrong. sent6: the GB does bestrew streptomycin if something is an adenoid but it does not circumscribe motel. sent7: the volumeter is an andromeda and does not fibrillate if the Pelham is an andromeda. sent8: the fact that something is not adenoid but it is an andromeda does not hold if it is not refractive. sent9: there exists something such that it does not circumscribe motel. sent10: if the volumeter is euphonious then it is catatonic. sent11: if there exists something such that it is refractive the spellbinder is an adenoid but it does not circumscribe motel. sent12: if there is something such that that it does circumscribe motel and it does not bestrew streptomycin is false then the spellbinder is not refractive. sent13: if something bestrews streptomycin then it is catatonic. ; $proof$ = 
sent3 & sent11 -> int1: the spellbinder is a kind of an adenoid but it does not circumscribe motel.; int1 -> int2: there is something such that it is a kind of an adenoid and it does not circumscribe motel.; int2 & sent6 -> int3: the GB does bestrew streptomycin.; sent13 -> int4: if the GB bestrews streptomycin then it is catatonic.; int3 & int4 -> int5: the GB is catatonic.; int5 & sent1 -> int6: the Pelham is an andromeda.; int6 & sent7 -> hypothesis; __PROVED__