the scrubbird is lovable.
sent1: something does not put solipsism. sent2: everything does not put solipsism. sent3: the flower does not put solipsism. sent4: the Ghanian is a kind of a cereal. sent5: if that something is not a kind of a skua and is not epiphyseal does not hold it is non-lovable. sent6: if something that puts solipsism is not a pewee the scrubbird is lovable. sent7: everything does not put solipsism and is not a kind of a pewee. sent8: if something is cereal then the fact that it is both not re-entrant and not cubic is false. sent9: something is not lovable and it does not put solipsism.
sent7 -> int1: the flower does not put solipsism and it is not a kind of a pewee.; int1 -> int2: something does not put solipsism and it is not a kind of a pewee.;
the scrubbird is not lovable.
sent5 -> int3: if the fact that the scrubbird is not a skua and is not epiphyseal does not hold it is not lovable.; sent8 -> int4: the fact that the Ghanian is a kind of non-re-entrant thing that is not cubic is false if it is a kind of a cereal.; int4 & sent4 -> int5: the fact that the Ghanian is not re-entrant and it is not cubic is not true.; int5 -> int6: the fact that there exists something such that the fact that it is not re-entrant and it is not cubic is false is true.;
$hypothesis$ = the scrubbird is lovable. ; $context$ = sent1: something does not put solipsism. sent2: everything does not put solipsism. sent3: the flower does not put solipsism. sent4: the Ghanian is a kind of a cereal. sent5: if that something is not a kind of a skua and is not epiphyseal does not hold it is non-lovable. sent6: if something that puts solipsism is not a pewee the scrubbird is lovable. sent7: everything does not put solipsism and is not a kind of a pewee. sent8: if something is cereal then the fact that it is both not re-entrant and not cubic is false. sent9: something is not lovable and it does not put solipsism. ; $proof$ = 
sent7 -> int1: the flower does not put solipsism and it is not a kind of a pewee.; int1 -> int2: something does not put solipsism and it is not a kind of a pewee.; __UNKNOWN__