the lactogen is a kind of a spatula.
sent1: there is nothing such that it is bicentennial and literate. sent2: the henbit is not a bicentennial and/or it does glaze needed if the emissary is non-aeriferous. sent3: the lactogen is aeriferous and it is a spatula if the henbit is not aeriferous. sent4: if something glazes needed it is a bicentennial. sent5: the emissary is not a bicentennial if the fact that it is bicentennial a literate is not correct. sent6: the lactogen is not a kind of a spatula if that the henbit is not a spatula and glazes needed is wrong. sent7: something is a cent if that it is flinty is not incorrect. sent8: if the emissary is not aeriferous the fact that the henbit is not a spatula but it glazes needed is incorrect.
void -> assump1: Let's assume that the henbit is aeriferous.; sent4 -> int1: the emissary is a kind of a bicentennial if the fact that it does glaze needed is right.; sent1 -> int2: the fact that the emissary is both bicentennial and a literate does not hold.; sent5 & int2 -> int3: the emissary is not a bicentennial.;
the lactogen is not a kind of a spatula.
$hypothesis$ = the lactogen is a kind of a spatula. ; $context$ = sent1: there is nothing such that it is bicentennial and literate. sent2: the henbit is not a bicentennial and/or it does glaze needed if the emissary is non-aeriferous. sent3: the lactogen is aeriferous and it is a spatula if the henbit is not aeriferous. sent4: if something glazes needed it is a bicentennial. sent5: the emissary is not a bicentennial if the fact that it is bicentennial a literate is not correct. sent6: the lactogen is not a kind of a spatula if that the henbit is not a spatula and glazes needed is wrong. sent7: something is a cent if that it is flinty is not incorrect. sent8: if the emissary is not aeriferous the fact that the henbit is not a spatula but it glazes needed is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the henbit is aeriferous.; sent4 -> int1: the emissary is a kind of a bicentennial if the fact that it does glaze needed is right.; sent1 -> int2: the fact that the emissary is both bicentennial and a literate does not hold.; sent5 & int2 -> int3: the emissary is not a bicentennial.; __UNKNOWN__