the Nebuchadnezzar is a brooklime and a superficiality.
sent1: something does not house synonym and is not incorrigible. sent2: if something is a spinal then it does suffer Bakelite. sent3: the loon federalizes polyanthus and is a kind of a untidiness. sent4: if there is something such that it suffers Bakelite the loon is a brooklime and it is spinal. sent5: the loon is a charm if something does not house synonym and it is not incorrigible. sent6: if something is a kind of a charm it is a spinal. sent7: if something does not house synonym but it is incorrigible the loon is a charm. sent8: the Nebuchadnezzar is a superficiality if something suffers Bakelite. sent9: the Nebuchadnezzar is a kind of a brooklime and it is a superficiality if there exists something such that it does suffer Bakelite.
sent1 & sent5 -> int1: the loon is a charm.; sent6 -> int2: the loon is a kind of a spinal if it is a charm.; int1 & int2 -> int3: the loon is a spinal.; sent2 -> int4: if the loon is a kind of a spinal then it suffers Bakelite.; int3 & int4 -> int5: the loon does suffer Bakelite.; int5 -> int6: something suffers Bakelite.; int6 & sent9 -> hypothesis;
$hypothesis$ = the Nebuchadnezzar is a brooklime and a superficiality. ; $context$ = sent1: something does not house synonym and is not incorrigible. sent2: if something is a spinal then it does suffer Bakelite. sent3: the loon federalizes polyanthus and is a kind of a untidiness. sent4: if there is something such that it suffers Bakelite the loon is a brooklime and it is spinal. sent5: the loon is a charm if something does not house synonym and it is not incorrigible. sent6: if something is a kind of a charm it is a spinal. sent7: if something does not house synonym but it is incorrigible the loon is a charm. sent8: the Nebuchadnezzar is a superficiality if something suffers Bakelite. sent9: the Nebuchadnezzar is a kind of a brooklime and it is a superficiality if there exists something such that it does suffer Bakelite. ; $proof$ = 
sent1 & sent5 -> int1: the loon is a charm.; sent6 -> int2: the loon is a kind of a spinal if it is a charm.; int1 & int2 -> int3: the loon is a spinal.; sent2 -> int4: if the loon is a kind of a spinal then it suffers Bakelite.; int3 & int4 -> int5: the loon does suffer Bakelite.; int5 -> int6: something suffers Bakelite.; int6 & sent9 -> hypothesis; __PROVED__