the bolo consorts Galilee.
sent1: the bolo is impractical if the demiglace does not clank sawwort. sent2: if something does want and/or is a kind of a call-in then it does not clank sawwort. sent3: if there exists something such that that it wants and is not non-nodular is not right then the fact that the bolo does not consort Galilee is not wrong. sent4: there exists nothing such that it does not clank sawwort and is not impractical. sent5: the demiglace wants and it is nodular.
sent5 -> int1: the demiglace wants.; int1 -> int2: the demiglace wants or it is a kind of a call-in or both.; sent2 -> int3: the demiglace does not clank sawwort if it does want or it is a call-in or both.; int2 & int3 -> int4: the demiglace does not clank sawwort.; int4 & sent1 -> int5: the bolo is impractical.;
the bolo does not consort Galilee.
sent4 -> int6: that the leviathan does not clank sawwort and it is not impractical is not right.;
$hypothesis$ = the bolo consorts Galilee. ; $context$ = sent1: the bolo is impractical if the demiglace does not clank sawwort. sent2: if something does want and/or is a kind of a call-in then it does not clank sawwort. sent3: if there exists something such that that it wants and is not non-nodular is not right then the fact that the bolo does not consort Galilee is not wrong. sent4: there exists nothing such that it does not clank sawwort and is not impractical. sent5: the demiglace wants and it is nodular. ; $proof$ = 
sent5 -> int1: the demiglace wants.; int1 -> int2: the demiglace wants or it is a kind of a call-in or both.; sent2 -> int3: the demiglace does not clank sawwort if it does want or it is a call-in or both.; int2 & int3 -> int4: the demiglace does not clank sawwort.; int4 & sent1 -> int5: the bolo is impractical.; __UNKNOWN__