the paddle-wheeler is areolar.
sent1: if something is a asphodel it is a Ibert. sent2: the Interior is a kind of a asphodel. sent3: if something is areolar and realigns weatherboard the Diesel is a bloodstream. sent4: that something is not a kind of a town but it officializes eucalyptus is false if it is a kind of a Ibert. sent5: the Diesel realigns weatherboard but it is not a bloodstream. sent6: the paddle-wheeler is areolar if something realigns weatherboard and it is a bloodstream.
sent5 -> int1: something does realign weatherboard and is not a bloodstream.;
the paddle-wheeler is not areolar.
sent4 -> int2: if the Interior is a kind of a Ibert the fact that it is not a town and officializes eucalyptus is not correct.; sent1 -> int3: the Interior is a Ibert if the fact that it is a asphodel hold.; int3 & sent2 -> int4: the Interior is a Ibert.; int2 & int4 -> int5: the fact that the Interior is not a town and does officialize eucalyptus is not correct.; int5 -> int6: there is something such that the fact that it is not a town and officializes eucalyptus is not true.;
$hypothesis$ = the paddle-wheeler is areolar. ; $context$ = sent1: if something is a asphodel it is a Ibert. sent2: the Interior is a kind of a asphodel. sent3: if something is areolar and realigns weatherboard the Diesel is a bloodstream. sent4: that something is not a kind of a town but it officializes eucalyptus is false if it is a kind of a Ibert. sent5: the Diesel realigns weatherboard but it is not a bloodstream. sent6: the paddle-wheeler is areolar if something realigns weatherboard and it is a bloodstream. ; $proof$ = 
sent5 -> int1: something does realign weatherboard and is not a bloodstream.; __UNKNOWN__