the silene is a actinomycin.
sent1: if the kok-saghyz is conformist then the matting is an aviator. sent2: if the fact that something is a kind of a conformist and is a actinomycin is wrong it is not a kind of a actinomycin. sent3: the matting is an aviator if the kok-saghyz does hire. sent4: the fact that the fact that the matting is not a kind of a conformist but it does tiptoe does not hold is right if it is an aviator. sent5: the kok-saghyz is a conformist or does hire or both. sent6: the matting hires if the kok-saghyz tiptoes. sent7: something is a kind of a actinomycin if it is nonmodern. sent8: if something is an aviator then the fact that it is not a kind of a tiptoe and it is a kind of a dead is not true. sent9: the silene is nonmodern if there is something such that that it is both not a tiptoe and a dead does not hold. sent10: if the kok-saghyz is a tiptoe the fact that the matting is a conformist is not incorrect. sent11: if there exists something such that it is a kind of a snowball the silene hires.
sent5 & sent1 & sent3 -> int1: the matting is an aviator.; sent8 -> int2: the fact that the matting is not a tiptoe but dead is false if it is a kind of an aviator.; int1 & int2 -> int3: that the matting is both not a tiptoe and a dead is not right.; int3 -> int4: there is something such that that it is both not a tiptoe and a dead is not correct.; int4 & sent9 -> int5: the silene is nonmodern.; sent7 -> int6: the silene is a actinomycin if it is nonmodern.; int5 & int6 -> hypothesis;
the silene is not a kind of a actinomycin.
sent2 -> int7: the silene is not a actinomycin if that it is a conformist that is a actinomycin is false.;
$hypothesis$ = the silene is a actinomycin. ; $context$ = sent1: if the kok-saghyz is conformist then the matting is an aviator. sent2: if the fact that something is a kind of a conformist and is a actinomycin is wrong it is not a kind of a actinomycin. sent3: the matting is an aviator if the kok-saghyz does hire. sent4: the fact that the fact that the matting is not a kind of a conformist but it does tiptoe does not hold is right if it is an aviator. sent5: the kok-saghyz is a conformist or does hire or both. sent6: the matting hires if the kok-saghyz tiptoes. sent7: something is a kind of a actinomycin if it is nonmodern. sent8: if something is an aviator then the fact that it is not a kind of a tiptoe and it is a kind of a dead is not true. sent9: the silene is nonmodern if there is something such that that it is both not a tiptoe and a dead does not hold. sent10: if the kok-saghyz is a tiptoe the fact that the matting is a conformist is not incorrect. sent11: if there exists something such that it is a kind of a snowball the silene hires. ; $proof$ = 
sent5 & sent1 & sent3 -> int1: the matting is an aviator.; sent8 -> int2: the fact that the matting is not a tiptoe but dead is false if it is a kind of an aviator.; int1 & int2 -> int3: that the matting is both not a tiptoe and a dead is not right.; int3 -> int4: there is something such that that it is both not a tiptoe and a dead is not correct.; int4 & sent9 -> int5: the silene is nonmodern.; sent7 -> int6: the silene is a actinomycin if it is nonmodern.; int5 & int6 -> hypothesis; __PROVED__