the prokaryote is not a kind of a Kosciusko.
sent1: there is something such that it is not a barroom and it is a Vizcaino. sent2: if the hardtop is not a Kosciusko the prokaryote is both not a murderee and a Kosciusko. sent3: the prokaryote is not a Kosciusko but it is a yarder if the goldfields is not a kind of a yarder. sent4: if the hardtop is a murderee that the goldfields is not a murderee and it is not a yarder hold. sent5: the prokaryote is a kind of a yarder. sent6: the hardtop is a kind of a murderee if something that is not a barroom is a Vizcaino. sent7: something is a kind of a Kosciusko if it is a murderee. sent8: if a Byzantine is a yarder the prokaryote is a murderee. sent9: if something is a kind of a barroom and it is a kind of a Vizcaino then the hardtop is a kind of a murderee.
sent1 & sent6 -> int1: the hardtop is a murderee.; int1 & sent4 -> int2: the goldfields is not a murderee and is not a kind of a yarder.; int2 -> int3: the goldfields is not a kind of a yarder.; int3 & sent3 -> int4: the prokaryote is not a Kosciusko but it is a yarder.; int4 -> hypothesis;
the prokaryote is a Kosciusko.
sent7 -> int5: the prokaryote is a Kosciusko if it is a murderee.;
$hypothesis$ = the prokaryote is not a kind of a Kosciusko. ; $context$ = sent1: there is something such that it is not a barroom and it is a Vizcaino. sent2: if the hardtop is not a Kosciusko the prokaryote is both not a murderee and a Kosciusko. sent3: the prokaryote is not a Kosciusko but it is a yarder if the goldfields is not a kind of a yarder. sent4: if the hardtop is a murderee that the goldfields is not a murderee and it is not a yarder hold. sent5: the prokaryote is a kind of a yarder. sent6: the hardtop is a kind of a murderee if something that is not a barroom is a Vizcaino. sent7: something is a kind of a Kosciusko if it is a murderee. sent8: if a Byzantine is a yarder the prokaryote is a murderee. sent9: if something is a kind of a barroom and it is a kind of a Vizcaino then the hardtop is a kind of a murderee. ; $proof$ = 
sent1 & sent6 -> int1: the hardtop is a murderee.; int1 & sent4 -> int2: the goldfields is not a murderee and is not a kind of a yarder.; int2 -> int3: the goldfields is not a kind of a yarder.; int3 & sent3 -> int4: the prokaryote is not a Kosciusko but it is a yarder.; int4 -> hypothesis; __PROVED__