the fact that there exists something such that it is a Mansart does not hold.
sent1: something is a Mansart if it weans Basil. sent2: there exists something such that it does divert and/or is entomophilous. sent3: the muncher is not entomophilous. sent4: the fact that the proconsul is unchristian and/or it is a Mansart is not right. sent5: the lakefront is magnetic thing that does not divert. sent6: if there is something such that the fact that either it diverts or it is entomophilous or both is not true the haemoproteid weans Basil. sent7: the lakefront is not nonmagnetic. sent8: if the haemoproteid does divert then it is a Mansart. sent9: there exists something such that it does not divert. sent10: the fact that that the muncher is entomophilous and/or a Mansart hold is not right. sent11: there are non-entomophilous things. sent12: the muncher is not entomophilous if the lakefront does not divert. sent13: the haemoproteid does not divert and is not harmless. sent14: there is something such that it is actinomycetal. sent15: if the fact that the muncher is a kind of a Mansart is correct then it diverts. sent16: if something is nonmagnetic it is entomophilous. sent17: something props manipulation. sent18: if the fact that something is nonmagnetic hold it is secretarial. sent19: the lakefront does not wean Basil and it is magnetic. sent20: if the lakefront does not divert the fact that the muncher divert or it is not non-entomophilous or both is not correct.
sent5 -> int1: the lakefront does not divert.; int1 & sent20 -> int2: that the muncher does divert or is entomophilous or both is not right.; int2 -> int3: there exists something such that the fact that it diverts and/or it is entomophilous does not hold.; int3 & sent6 -> int4: the haemoproteid does wean Basil.; sent1 -> int5: if the haemoproteid weans Basil then it is a Mansart.; int4 & int5 -> int6: the haemoproteid is a Mansart.; int6 -> hypothesis;
the albatross is secretarial.
sent18 -> int7: if the albatross is nonmagnetic then it is secretarial.;
$hypothesis$ = the fact that there exists something such that it is a Mansart does not hold. ; $context$ = sent1: something is a Mansart if it weans Basil. sent2: there exists something such that it does divert and/or is entomophilous. sent3: the muncher is not entomophilous. sent4: the fact that the proconsul is unchristian and/or it is a Mansart is not right. sent5: the lakefront is magnetic thing that does not divert. sent6: if there is something such that the fact that either it diverts or it is entomophilous or both is not true the haemoproteid weans Basil. sent7: the lakefront is not nonmagnetic. sent8: if the haemoproteid does divert then it is a Mansart. sent9: there exists something such that it does not divert. sent10: the fact that that the muncher is entomophilous and/or a Mansart hold is not right. sent11: there are non-entomophilous things. sent12: the muncher is not entomophilous if the lakefront does not divert. sent13: the haemoproteid does not divert and is not harmless. sent14: there is something such that it is actinomycetal. sent15: if the fact that the muncher is a kind of a Mansart is correct then it diverts. sent16: if something is nonmagnetic it is entomophilous. sent17: something props manipulation. sent18: if the fact that something is nonmagnetic hold it is secretarial. sent19: the lakefront does not wean Basil and it is magnetic. sent20: if the lakefront does not divert the fact that the muncher divert or it is not non-entomophilous or both is not correct. ; $proof$ = 
sent5 -> int1: the lakefront does not divert.; int1 & sent20 -> int2: that the muncher does divert or is entomophilous or both is not right.; int2 -> int3: there exists something such that the fact that it diverts and/or it is entomophilous does not hold.; int3 & sent6 -> int4: the haemoproteid does wean Basil.; sent1 -> int5: if the haemoproteid weans Basil then it is a Mansart.; int4 & int5 -> int6: the haemoproteid is a Mansart.; int6 -> hypothesis; __DISPROVED__