the fact that the baedeker is not superficial but it does drink Lao does not hold.
sent1: if the caldera is not a evisceration then the baedeker is non-superficial and drinks Lao. sent2: the baedeker does denationalize paranoid if it is a senior and it is a kind of an etiology. sent3: the baedeker does emote logicism and is not a kind of a barbital. sent4: the caldera is a senior and a Hydnum. sent5: if the fact that the baedeker is a Hydnum and is a evisceration is incorrect it is not a evisceration. sent6: the caldera is an upset that is a kind of a granddaughter. sent7: the caldera is a kind of a senior. sent8: something is a evisceration if it is not nonarboreal. sent9: something is a Bathyergus if it is not a evisceration. sent10: if the baedeker is a evisceration then it is a kind of a resinoid. sent11: the baedeker is arboreal if it does emote logicism and it is not a barbital. sent12: that the baedeker is a kind of non-superficial thing that drinks Lao is not right if it is not a granddaughter. sent13: the fact that the baedeker is senior if the baedeker is a granddaughter and it drinks Lao is true. sent14: the caldera is not a Hydnum if the baedeker is a granddaughter and is a resinoid.
sent11 & sent3 -> int1: the baedeker is arboreal.; sent8 -> int2: the baedeker is a evisceration if it is arboreal.; int1 & int2 -> int3: the baedeker is a evisceration.; int3 & sent10 -> int4: the baedeker is a resinoid.; void -> assump1: Let's assume that the baedeker is a granddaughter.; int4 & assump1 -> int5: the baedeker is a kind of a granddaughter and it is a resinoid.; int5 & sent14 -> int6: the caldera is not a Hydnum.; sent4 -> int7: the caldera is a Hydnum.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the baedeker is not a granddaughter.; int9 & sent12 -> hypothesis;
the baedeker is a Bathyergus that is a kind of a Bioko.
sent9 -> int10: the baedeker is a kind of a Bathyergus if it is not a evisceration.;
$hypothesis$ = the fact that the baedeker is not superficial but it does drink Lao does not hold. ; $context$ = sent1: if the caldera is not a evisceration then the baedeker is non-superficial and drinks Lao. sent2: the baedeker does denationalize paranoid if it is a senior and it is a kind of an etiology. sent3: the baedeker does emote logicism and is not a kind of a barbital. sent4: the caldera is a senior and a Hydnum. sent5: if the fact that the baedeker is a Hydnum and is a evisceration is incorrect it is not a evisceration. sent6: the caldera is an upset that is a kind of a granddaughter. sent7: the caldera is a kind of a senior. sent8: something is a evisceration if it is not nonarboreal. sent9: something is a Bathyergus if it is not a evisceration. sent10: if the baedeker is a evisceration then it is a kind of a resinoid. sent11: the baedeker is arboreal if it does emote logicism and it is not a barbital. sent12: that the baedeker is a kind of non-superficial thing that drinks Lao is not right if it is not a granddaughter. sent13: the fact that the baedeker is senior if the baedeker is a granddaughter and it drinks Lao is true. sent14: the caldera is not a Hydnum if the baedeker is a granddaughter and is a resinoid. ; $proof$ = 
sent11 & sent3 -> int1: the baedeker is arboreal.; sent8 -> int2: the baedeker is a evisceration if it is arboreal.; int1 & int2 -> int3: the baedeker is a evisceration.; int3 & sent10 -> int4: the baedeker is a resinoid.; void -> assump1: Let's assume that the baedeker is a granddaughter.; int4 & assump1 -> int5: the baedeker is a kind of a granddaughter and it is a resinoid.; int5 & sent14 -> int6: the caldera is not a Hydnum.; sent4 -> int7: the caldera is a Hydnum.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the baedeker is not a granddaughter.; int9 & sent12 -> hypothesis; __PROVED__