the reedbird does dream faultlessness.
sent1: the reedbird unwraps. sent2: the circle unwraps. sent3: the poltergeist dreams faultlessness if the reedbird unwraps. sent4: the reedbird unwraps if the poltergeist is a kind of an inevitable. sent5: the poltergeist unwraps. sent6: the poltergeist dreams faultlessness. sent7: the poltergeist unwraps and it dreams faultlessness. sent8: the reedbird is not non-unneurotic. sent9: the poltergeist is an inevitable and it does unwrap.
sent9 -> int1: the poltergeist is an inevitable.;
$hypothesis$ = the reedbird does dream faultlessness. ; $context$ = sent1: the reedbird unwraps. sent2: the circle unwraps. sent3: the poltergeist dreams faultlessness if the reedbird unwraps. sent4: the reedbird unwraps if the poltergeist is a kind of an inevitable. sent5: the poltergeist unwraps. sent6: the poltergeist dreams faultlessness. sent7: the poltergeist unwraps and it dreams faultlessness. sent8: the reedbird is not non-unneurotic. sent9: the poltergeist is an inevitable and it does unwrap. ; $proof$ = 
sent9 -> int1: the poltergeist is an inevitable.; __UNKNOWN__