the companionway is not unwieldy.
sent1: if the lodge is not unwieldy then it is a muskiness and is not an acquisition. sent2: if the fact that the lodge is a kind of an acquisition and it is not wieldy is right then the companionway does not inhabit. sent3: the lodge is a kind of a muskiness but it is not a kind of an acquisition if that it does not inhabit is not wrong. sent4: the lodge does not inhabit. sent5: if the lodge does incriminate Elaphurus then that it does not stick Sumner is not incorrect. sent6: if the lodge is not unwieldy then it is not an acquisition. sent7: if the lodge does not stick Sumner then the fact that it is not unwieldy and it inhabits is incorrect. sent8: if the lodge is a kind of a muskiness but it is not an acquisition the fact that the companionway is not unwieldy is not incorrect. sent9: the lodge is not unwieldy if the companionway inhabits and is not a muskiness. sent10: if something does inhabit it is unwieldy. sent11: the lodge is not unwieldy if the companionway does inhabit and is not an acquisition. sent12: the lodge is not an acquisition.
sent3 & sent4 -> int1: the lodge is a kind of a muskiness but it is not an acquisition.; sent8 & int1 -> hypothesis;
the companionway is unwieldy.
sent10 -> int2: the fact that the companionway is unwieldy is true if it does inhabit.;
$hypothesis$ = the companionway is not unwieldy. ; $context$ = sent1: if the lodge is not unwieldy then it is a muskiness and is not an acquisition. sent2: if the fact that the lodge is a kind of an acquisition and it is not wieldy is right then the companionway does not inhabit. sent3: the lodge is a kind of a muskiness but it is not a kind of an acquisition if that it does not inhabit is not wrong. sent4: the lodge does not inhabit. sent5: if the lodge does incriminate Elaphurus then that it does not stick Sumner is not incorrect. sent6: if the lodge is not unwieldy then it is not an acquisition. sent7: if the lodge does not stick Sumner then the fact that it is not unwieldy and it inhabits is incorrect. sent8: if the lodge is a kind of a muskiness but it is not an acquisition the fact that the companionway is not unwieldy is not incorrect. sent9: the lodge is not unwieldy if the companionway inhabits and is not a muskiness. sent10: if something does inhabit it is unwieldy. sent11: the lodge is not unwieldy if the companionway does inhabit and is not an acquisition. sent12: the lodge is not an acquisition. ; $proof$ = 
sent3 & sent4 -> int1: the lodge is a kind of a muskiness but it is not an acquisition.; sent8 & int1 -> hypothesis; __PROVED__