the origin is a sconce.
sent1: if the fact that the origin does dilapidate promisee but it does not spill informer does not hold it is a sconce. sent2: if the Riverside is a kind of a aculeus then the whiteface is postal. sent3: the Riverside is a aculeus if the fact that the Chuvash is not a counts/minute but it is myelinic is not correct. sent4: that the origin does dilapidate promisee but it does not spill informer is not true if the synchroscope does not spill informer. sent5: if the Chuvash is not a aculeus then it either is not a sconce or is not postal or both. sent6: the sunlamp does alternate but it is not postal if that the whiteface is postal is right. sent7: the sunlamp is aphoristic if it is both alternate and not postal. sent8: if the synchroscope spills Hayek and is not diluvian then it does not spill informer. sent9: the fact that the Chuvash is not a counts/minute and is myelinic is false.
sent3 & sent9 -> int1: the fact that the Riverside is a aculeus is right.; int1 & sent2 -> int2: the whiteface is postal.; int2 & sent6 -> int3: the sunlamp is a kind of alternate thing that is not postal.; int3 & sent7 -> int4: the sunlamp is aphoristic.;
the fact that the origin is not a sconce is not incorrect.
$hypothesis$ = the origin is a sconce. ; $context$ = sent1: if the fact that the origin does dilapidate promisee but it does not spill informer does not hold it is a sconce. sent2: if the Riverside is a kind of a aculeus then the whiteface is postal. sent3: the Riverside is a aculeus if the fact that the Chuvash is not a counts/minute but it is myelinic is not correct. sent4: that the origin does dilapidate promisee but it does not spill informer is not true if the synchroscope does not spill informer. sent5: if the Chuvash is not a aculeus then it either is not a sconce or is not postal or both. sent6: the sunlamp does alternate but it is not postal if that the whiteface is postal is right. sent7: the sunlamp is aphoristic if it is both alternate and not postal. sent8: if the synchroscope spills Hayek and is not diluvian then it does not spill informer. sent9: the fact that the Chuvash is not a counts/minute and is myelinic is false. ; $proof$ = 
sent3 & sent9 -> int1: the fact that the Riverside is a aculeus is right.; int1 & sent2 -> int2: the whiteface is postal.; int2 & sent6 -> int3: the sunlamp is a kind of alternate thing that is not postal.; int3 & sent7 -> int4: the sunlamp is aphoristic.; __UNKNOWN__