the Ostyak is a spy and it is a kind of a Roosevelt.
sent1: the Ostyak is a Sophist. sent2: the fact that something is not a continent and/or is a chubbiness is not true if it is not a kind of a millipede. sent3: the fact that the minicar is not a chubbiness or spies or both hold if it is not a continent. sent4: the coatrack is digitigrade and it is a Lapp. sent5: the minicar is a kind of a bullshot. sent6: there is something such that it is a kind of a bullshot. sent7: the minicar is a spy if the Ostyak is not a kind of a spy. sent8: the iodotyrosine is a spy. sent9: the fact that the Ostyak is a spy and is a kind of a Roosevelt does not hold if the minicar is not a kind of a bullshot. sent10: the minicar is a chubbiness. sent11: that the minicar is a bullshot and it is a Roosevelt is incorrect if it is not a kind of a chubbiness. sent12: the son-in-law is a Roosevelt. sent13: if the son-in-law does not spy the Ostyak is a kind of a spy and it is a kind of a Roosevelt. sent14: there is something such that it is a bullshot and it spies. sent15: if the fact that something is either not a continent or a chubbiness or both is false it is not a kind of a bullshot. sent16: if something is a kind of a bullshot and it is a chubbiness the son-in-law is not a spy. sent17: the Ostyak is a chubbiness and it is a spy.
sent5 & sent10 -> int1: the minicar is a kind of a bullshot and is a chubbiness.; int1 -> int2: there is something such that it is a bullshot and is a chubbiness.; int2 & sent16 -> int3: the son-in-law is not a kind of a spy.; sent13 & int3 -> hypothesis;
that the Ostyak does spy and it is a Roosevelt is not correct.
sent15 -> int4: if the fact that either the minicar is not a kind of a continent or it is a chubbiness or both does not hold then it is not a kind of a bullshot.; sent2 -> int5: if the minicar is not a millipede the fact that it is not a continent and/or it is a chubbiness does not hold.;
$hypothesis$ = the Ostyak is a spy and it is a kind of a Roosevelt. ; $context$ = sent1: the Ostyak is a Sophist. sent2: the fact that something is not a continent and/or is a chubbiness is not true if it is not a kind of a millipede. sent3: the fact that the minicar is not a chubbiness or spies or both hold if it is not a continent. sent4: the coatrack is digitigrade and it is a Lapp. sent5: the minicar is a kind of a bullshot. sent6: there is something such that it is a kind of a bullshot. sent7: the minicar is a spy if the Ostyak is not a kind of a spy. sent8: the iodotyrosine is a spy. sent9: the fact that the Ostyak is a spy and is a kind of a Roosevelt does not hold if the minicar is not a kind of a bullshot. sent10: the minicar is a chubbiness. sent11: that the minicar is a bullshot and it is a Roosevelt is incorrect if it is not a kind of a chubbiness. sent12: the son-in-law is a Roosevelt. sent13: if the son-in-law does not spy the Ostyak is a kind of a spy and it is a kind of a Roosevelt. sent14: there is something such that it is a bullshot and it spies. sent15: if the fact that something is either not a continent or a chubbiness or both is false it is not a kind of a bullshot. sent16: if something is a kind of a bullshot and it is a chubbiness the son-in-law is not a spy. sent17: the Ostyak is a chubbiness and it is a spy. ; $proof$ = 
sent5 & sent10 -> int1: the minicar is a kind of a bullshot and is a chubbiness.; int1 -> int2: there is something such that it is a bullshot and is a chubbiness.; int2 & sent16 -> int3: the son-in-law is not a kind of a spy.; sent13 & int3 -> hypothesis; __PROVED__