the Oscan is a kind of a cleaner that acts changelessness.
sent1: if there is something such that it is not polemoniaceous the tetrose is a kind of a Nitrobacter. sent2: if something does not diffuse it is a cleaner and lotic. sent3: the Pianola is not a stonecrop and it is not lotic if the Oscan is not lotic. sent4: if the forequarter does rubberneck the Pianola is not a carbuncle. sent5: the wood-fern is pasta and it is diffused. sent6: there is something such that it is a stonecrop and it is not nidicolous. sent7: if the forequarter is not nidicolous then it rubbernecks. sent8: the Oscan acts changelessness and/or it is a carbuncle. sent9: if something is a stonecrop but it is not lotic it is not nidicolous. sent10: the fact that the Oscan does not diffuse hold. sent11: the Oscan acts changelessness if something that is not a kind of a stonecrop is not nidicolous. sent12: the fact that the Oscan is lotic is true. sent13: if either the tetrose is a carbuncle or it does rubberneck or both then it is not nidicolous. sent14: that the tetrose is a Nitrobacter and a carbuncle is not false if there exists something such that it is not polemoniaceous. sent15: there is something such that it is not nidicolous. sent16: if there is something such that it is not a stonecrop but nidicolous then the Oscan does act changelessness. sent17: if the tetrose is not polemoniaceous then the fact that the Oscan is a kind of a cleaner and it does act changelessness is not true. sent18: something is not polemoniaceous. sent19: if something is a kind of a Nitrobacter then it is polemoniaceous. sent20: something is lotic if the fact that it does not diffuse is not false. sent21: the tetrose does diffuse. sent22: that something is not polemoniaceous but a Nitrobacter is wrong if it is not a carbuncle.
sent18 & sent14 -> int1: the tetrose is a Nitrobacter and it is a carbuncle.; int1 -> int2: the tetrose is a carbuncle.; int2 -> int3: the tetrose is a carbuncle or it is a rubberneck or both.; int3 & sent13 -> int4: the tetrose is not nidicolous.; sent2 -> int5: the Oscan is both a cleaner and lotic if it does not diffuse.; int5 & sent10 -> int6: the Oscan is a kind of a cleaner and is lotic.; int6 -> int7: the Oscan is a cleaner.;
the Pianola does not act changelessness.
sent19 -> int8: the tetrose is polemoniaceous if it is a Nitrobacter.;
$hypothesis$ = the Oscan is a kind of a cleaner that acts changelessness. ; $context$ = sent1: if there is something such that it is not polemoniaceous the tetrose is a kind of a Nitrobacter. sent2: if something does not diffuse it is a cleaner and lotic. sent3: the Pianola is not a stonecrop and it is not lotic if the Oscan is not lotic. sent4: if the forequarter does rubberneck the Pianola is not a carbuncle. sent5: the wood-fern is pasta and it is diffused. sent6: there is something such that it is a stonecrop and it is not nidicolous. sent7: if the forequarter is not nidicolous then it rubbernecks. sent8: the Oscan acts changelessness and/or it is a carbuncle. sent9: if something is a stonecrop but it is not lotic it is not nidicolous. sent10: the fact that the Oscan does not diffuse hold. sent11: the Oscan acts changelessness if something that is not a kind of a stonecrop is not nidicolous. sent12: the fact that the Oscan is lotic is true. sent13: if either the tetrose is a carbuncle or it does rubberneck or both then it is not nidicolous. sent14: that the tetrose is a Nitrobacter and a carbuncle is not false if there exists something such that it is not polemoniaceous. sent15: there is something such that it is not nidicolous. sent16: if there is something such that it is not a stonecrop but nidicolous then the Oscan does act changelessness. sent17: if the tetrose is not polemoniaceous then the fact that the Oscan is a kind of a cleaner and it does act changelessness is not true. sent18: something is not polemoniaceous. sent19: if something is a kind of a Nitrobacter then it is polemoniaceous. sent20: something is lotic if the fact that it does not diffuse is not false. sent21: the tetrose does diffuse. sent22: that something is not polemoniaceous but a Nitrobacter is wrong if it is not a carbuncle. ; $proof$ = 
sent18 & sent14 -> int1: the tetrose is a Nitrobacter and it is a carbuncle.; int1 -> int2: the tetrose is a carbuncle.; int2 -> int3: the tetrose is a carbuncle or it is a rubberneck or both.; int3 & sent13 -> int4: the tetrose is not nidicolous.; sent2 -> int5: the Oscan is both a cleaner and lotic if it does not diffuse.; int5 & sent10 -> int6: the Oscan is a kind of a cleaner and is lotic.; int6 -> int7: the Oscan is a cleaner.; __UNKNOWN__