the rutherfordium is cyanobacterial.
sent1: if the buskin is unthinkable the rutherfordium is not cyanobacterial and it does not finalize addressee. sent2: the clear is not a kind of a Amphisbaenidae if that there is something such that that it is cyanobacterial and educates is wrong is not false. sent3: if something is not unthinkable then that it is non-cyanobacterial thing that finalizes addressee is false. sent4: something is both not a Thiosulfil and unthinkable if it is not a myrobalan. sent5: the masturbation cranes porosity. sent6: if something does not enlist then it is a removal and/or a blink. sent7: that if there is something such that that it is a kind of cyanobacterial thing that educates does not hold then the rutherfordium is not a kind of a Amphisbaenidae hold. sent8: the masturbation is a kind of clean thing that does not extrapolate if it cranes porosity. sent9: the fact that the clear is a Amphisbaenidae and it does educate is incorrect. sent10: if there exists something such that it does not educate the rutherfordium is not cyanobacterial. sent11: the rutherfordium is not cyanobacterial if there is something such that the fact that it is a kind of a Amphisbaenidae and it educates is not true. sent12: if something that is not unclean does not extrapolate then it does not enlist. sent13: something is a kind of a Amphisbaenidae and it does educate. sent14: something is not a kind of a myrobalan if it is a corncob. sent15: if the fact that the rutherfordium is not cyanobacterial and does not finalize addressee hold the quarryman is not latinate. sent16: the masturbation is not a kind of a Thiosulfil if a myrobalan is a corncob.
sent9 -> int1: there exists something such that the fact that the fact that it is a Amphisbaenidae and it educates hold does not hold.; int1 & sent11 -> hypothesis;
the rutherfordium is cyanobacterial.
sent3 -> int2: if the buskin is not unthinkable then that it is not cyanobacterial and finalizes addressee does not hold.;
$hypothesis$ = the rutherfordium is cyanobacterial. ; $context$ = sent1: if the buskin is unthinkable the rutherfordium is not cyanobacterial and it does not finalize addressee. sent2: the clear is not a kind of a Amphisbaenidae if that there is something such that that it is cyanobacterial and educates is wrong is not false. sent3: if something is not unthinkable then that it is non-cyanobacterial thing that finalizes addressee is false. sent4: something is both not a Thiosulfil and unthinkable if it is not a myrobalan. sent5: the masturbation cranes porosity. sent6: if something does not enlist then it is a removal and/or a blink. sent7: that if there is something such that that it is a kind of cyanobacterial thing that educates does not hold then the rutherfordium is not a kind of a Amphisbaenidae hold. sent8: the masturbation is a kind of clean thing that does not extrapolate if it cranes porosity. sent9: the fact that the clear is a Amphisbaenidae and it does educate is incorrect. sent10: if there exists something such that it does not educate the rutherfordium is not cyanobacterial. sent11: the rutherfordium is not cyanobacterial if there is something such that the fact that it is a kind of a Amphisbaenidae and it educates is not true. sent12: if something that is not unclean does not extrapolate then it does not enlist. sent13: something is a kind of a Amphisbaenidae and it does educate. sent14: something is not a kind of a myrobalan if it is a corncob. sent15: if the fact that the rutherfordium is not cyanobacterial and does not finalize addressee hold the quarryman is not latinate. sent16: the masturbation is not a kind of a Thiosulfil if a myrobalan is a corncob. ; $proof$ = 
sent9 -> int1: there exists something such that the fact that the fact that it is a Amphisbaenidae and it educates hold does not hold.; int1 & sent11 -> hypothesis; __DISPROVED__