the bedspread articulates and does annex.
sent1: the affenpinscher is incomprehensible and it consternates rococo. sent2: the affenpinscher is not articulated if the chancellor is a hollow and it is a kind of a vocal. sent3: if the armchair does not articulate then the bedspread is articulate and it annexes. sent4: the affenpinscher hollows. sent5: the chancellor is a vocal. sent6: the affenpinscher companies if it is not a Gael. sent7: the chancellor is not a kind of a vocal if the affenpinscher consternates rococo and it is a Gael.
sent1 -> int1: the affenpinscher does consternate rococo.; void -> assump1: Let's assume that the affenpinscher is a Gael.; int1 & assump1 -> int2: the affenpinscher consternates rococo and is a kind of a Gael.; int2 & sent7 -> int3: the chancellor is not a vocal.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the affenpinscher is not a Gael.; int5 & sent6 -> int6: the affenpinscher is a kind of a company.; int6 & sent4 -> int7: the affenpinscher is hollow thing that is a company.;
$hypothesis$ = the bedspread articulates and does annex. ; $context$ = sent1: the affenpinscher is incomprehensible and it consternates rococo. sent2: the affenpinscher is not articulated if the chancellor is a hollow and it is a kind of a vocal. sent3: if the armchair does not articulate then the bedspread is articulate and it annexes. sent4: the affenpinscher hollows. sent5: the chancellor is a vocal. sent6: the affenpinscher companies if it is not a Gael. sent7: the chancellor is not a kind of a vocal if the affenpinscher consternates rococo and it is a Gael. ; $proof$ = 
sent1 -> int1: the affenpinscher does consternate rococo.; void -> assump1: Let's assume that the affenpinscher is a Gael.; int1 & assump1 -> int2: the affenpinscher consternates rococo and is a kind of a Gael.; int2 & sent7 -> int3: the chancellor is not a vocal.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the affenpinscher is not a Gael.; int5 & sent6 -> int6: the affenpinscher is a kind of a company.; int6 & sent4 -> int7: the affenpinscher is hollow thing that is a company.; __UNKNOWN__