the allyl is a touraco.
sent1: there exists something such that it is a geomancer. sent2: the bottomland is a geomancer. sent3: something is not non-Bantu or a hydrosphere or both if it does not restore sidestroke. sent4: there is something such that it does monologuize. sent5: there is something such that it is a kind of a matriarch. sent6: if the Coke does not hedge Declomycin then the trou-de-loup is not a matriarch and does not hedge Hinayanism. sent7: if the Declomycin is a kind of a hydrosphere the allyl is a touraco. sent8: the transduction is not a kind of a hydrosphere. sent9: the allyl is a touraco if the Declomycin is a Bantu. sent10: the fact that the bottomland is a touraco but it does not monologuize is not correct if the Coke is not a geomancer. sent11: the fact that the Anguillan does not hedge Hinayanism is not incorrect if there is something such that it is not a matriarch and/or it does not restore sidestroke. sent12: the bottomland monologuizes. sent13: the Declomycin does not restore sidestroke if the trou-de-loup is a matriarch but it does not hedge Hinayanism. sent14: the allyl is a matriarch. sent15: something is not a matriarch or it does not restore sidestroke or both if it is not a hydrosphere. sent16: the Coke is not a geomancer if the trou-de-loup is not a geomancer. sent17: the trou-de-loup is not a geomancer if the fact that the Declomycin hedges Declomycin and is a geomancer is wrong. sent18: if the Coke does not hedge Declomycin then the fact that the trou-de-loup is not a matriarch is not wrong. sent19: if the trou-de-loup is not a matriarch and does not hedge Hinayanism the Declomycin does not restore sidestroke. sent20: if something is a kind of a geomancer and it does monologuize the Coke does not hedge Declomycin.
sent2 & sent12 -> int1: the bottomland is a geomancer and it monologuizes.; int1 -> int2: there exists something such that it is a geomancer and it monologuizes.; int2 & sent20 -> int3: the Coke does not hedge Declomycin.; int3 & sent6 -> int4: the trou-de-loup is not a kind of a matriarch and does not hedge Hinayanism.; int4 & sent19 -> int5: the Declomycin does not restore sidestroke.; sent3 -> int6: the fact that the fact that the Declomycin is a kind of a Bantu or is the hydrosphere or both is not false if the Declomycin does not restore sidestroke is true.; int5 & int6 -> int7: the Declomycin is not non-Bantu and/or it is a kind of a hydrosphere.; int7 & sent9 & sent7 -> hypothesis;
the allyl is not a touraco.
sent15 -> int8: if the transduction is not a hydrosphere it is not a matriarch and/or does not restore sidestroke.; int8 & sent8 -> int9: the transduction is not a matriarch and/or does not restore sidestroke.; int9 -> int10: there is something such that it is not a kind of a matriarch and/or it does not restore sidestroke.; int10 & sent11 -> int11: the Anguillan does not hedge Hinayanism.; int11 -> int12: there is something such that the fact that it does not hedge Hinayanism is right.;
$hypothesis$ = the allyl is a touraco. ; $context$ = sent1: there exists something such that it is a geomancer. sent2: the bottomland is a geomancer. sent3: something is not non-Bantu or a hydrosphere or both if it does not restore sidestroke. sent4: there is something such that it does monologuize. sent5: there is something such that it is a kind of a matriarch. sent6: if the Coke does not hedge Declomycin then the trou-de-loup is not a matriarch and does not hedge Hinayanism. sent7: if the Declomycin is a kind of a hydrosphere the allyl is a touraco. sent8: the transduction is not a kind of a hydrosphere. sent9: the allyl is a touraco if the Declomycin is a Bantu. sent10: the fact that the bottomland is a touraco but it does not monologuize is not correct if the Coke is not a geomancer. sent11: the fact that the Anguillan does not hedge Hinayanism is not incorrect if there is something such that it is not a matriarch and/or it does not restore sidestroke. sent12: the bottomland monologuizes. sent13: the Declomycin does not restore sidestroke if the trou-de-loup is a matriarch but it does not hedge Hinayanism. sent14: the allyl is a matriarch. sent15: something is not a matriarch or it does not restore sidestroke or both if it is not a hydrosphere. sent16: the Coke is not a geomancer if the trou-de-loup is not a geomancer. sent17: the trou-de-loup is not a geomancer if the fact that the Declomycin hedges Declomycin and is a geomancer is wrong. sent18: if the Coke does not hedge Declomycin then the fact that the trou-de-loup is not a matriarch is not wrong. sent19: if the trou-de-loup is not a matriarch and does not hedge Hinayanism the Declomycin does not restore sidestroke. sent20: if something is a kind of a geomancer and it does monologuize the Coke does not hedge Declomycin. ; $proof$ = 
sent2 & sent12 -> int1: the bottomland is a geomancer and it monologuizes.; int1 -> int2: there exists something such that it is a geomancer and it monologuizes.; int2 & sent20 -> int3: the Coke does not hedge Declomycin.; int3 & sent6 -> int4: the trou-de-loup is not a kind of a matriarch and does not hedge Hinayanism.; int4 & sent19 -> int5: the Declomycin does not restore sidestroke.; sent3 -> int6: the fact that the fact that the Declomycin is a kind of a Bantu or is the hydrosphere or both is not false if the Declomycin does not restore sidestroke is true.; int5 & int6 -> int7: the Declomycin is not non-Bantu and/or it is a kind of a hydrosphere.; int7 & sent9 & sent7 -> hypothesis; __PROVED__