the alpenstock is a grazing.
sent1: the barong does overburden Basel. sent2: the alpenstock is non-exterior if the orbitale does cool and it is shambolic. sent3: the fact that the retinene is shambolic is true. sent4: the orbitale does not graze if the alpenstock is exterior thing that is cooling. sent5: if the orbitale mystifies introject and is exterior the alpenstock is not shambolic. sent6: if that something is not exterior is true then it mystifies introject. sent7: something is cooling but it is not shambolic if it is not exterior. sent8: something is a gradual if it is tearless. sent9: something is a grazing if the fact that it is shambolic hold. sent10: something is a locator if the fact that it does not instrument fire-on-the-mountain is not false. sent11: if the orbitale is exterior then the boarfish is a current. sent12: the orbitale mystifies introject and it grazes if there is something such that it overburdens Basel. sent13: the put-put does mystify introject. sent14: the put-put is shambolic. sent15: the orbitale is shambolic. sent16: the fact that the orbitale is exterior hold. sent17: if the orbitale is both a cooling and non-shambolic then the alpenstock is not a kind of a grazing. sent18: the orbitale is cooling. sent19: if something mystifies introject it is a grazing. sent20: the boarfish is not non-Alpine if there exists something such that that the fact that it is a cooling and it is not shambolic is not incorrect is wrong.
sent18 & sent15 -> int1: the orbitale is cooling and it is shambolic.; int1 & sent2 -> int2: the alpenstock is not exterior.; sent6 -> int3: the alpenstock mystifies introject if the fact that it is not exterior is not false.; int2 & int3 -> int4: the alpenstock does mystify introject.; sent19 -> int5: the alpenstock does graze if it mystifies introject.; int4 & int5 -> hypothesis;
the alpenstock is not a grazing.
sent7 -> int6: if the orbitale is non-exterior then it is a kind of a cooling that is not shambolic.;
$hypothesis$ = the alpenstock is a grazing. ; $context$ = sent1: the barong does overburden Basel. sent2: the alpenstock is non-exterior if the orbitale does cool and it is shambolic. sent3: the fact that the retinene is shambolic is true. sent4: the orbitale does not graze if the alpenstock is exterior thing that is cooling. sent5: if the orbitale mystifies introject and is exterior the alpenstock is not shambolic. sent6: if that something is not exterior is true then it mystifies introject. sent7: something is cooling but it is not shambolic if it is not exterior. sent8: something is a gradual if it is tearless. sent9: something is a grazing if the fact that it is shambolic hold. sent10: something is a locator if the fact that it does not instrument fire-on-the-mountain is not false. sent11: if the orbitale is exterior then the boarfish is a current. sent12: the orbitale mystifies introject and it grazes if there is something such that it overburdens Basel. sent13: the put-put does mystify introject. sent14: the put-put is shambolic. sent15: the orbitale is shambolic. sent16: the fact that the orbitale is exterior hold. sent17: if the orbitale is both a cooling and non-shambolic then the alpenstock is not a kind of a grazing. sent18: the orbitale is cooling. sent19: if something mystifies introject it is a grazing. sent20: the boarfish is not non-Alpine if there exists something such that that the fact that it is a cooling and it is not shambolic is not incorrect is wrong. ; $proof$ = 
sent18 & sent15 -> int1: the orbitale is cooling and it is shambolic.; int1 & sent2 -> int2: the alpenstock is not exterior.; sent6 -> int3: the alpenstock mystifies introject if the fact that it is not exterior is not false.; int2 & int3 -> int4: the alpenstock does mystify introject.; sent19 -> int5: the alpenstock does graze if it mystifies introject.; int4 & int5 -> hypothesis; __PROVED__