the quetzal is not osteal.
sent1: the stay does welt if it is not non-missionary but non-meaningful. sent2: something that is a counterblast is a Korean. sent3: if the bin is Korean the stay is a missionary. sent4: the bin is muciferous but it does not punish wind. sent5: the stay is not meaningful. sent6: the fact that the bin does not call is not false. sent7: if the stay is a kind of a welt that is glorious then the quetzal is not osteal. sent8: the bin does call if it is a Asian and is not a kind of a counterblast. sent9: the bin is a kind of a Korean if it is a counterblast. sent10: that the stay is glorious hold. sent11: if the bin is not a call and is not meaningful then the quetzal does not call. sent12: if something is not missionary it is not a kind of a call and is not meaningful.
void -> assump1: Let's assume that the bin is Asian but it is not a counterblast.; sent8 & assump1 -> int1: the bin is a kind of a call.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the bin is Asian but it is not a counterblast is not true.;
the fact that the quetzal is osteal is not incorrect.
sent12 -> int4: the bin is not a call and it is not meaningful if it is non-missionary.;
$hypothesis$ = the quetzal is not osteal. ; $context$ = sent1: the stay does welt if it is not non-missionary but non-meaningful. sent2: something that is a counterblast is a Korean. sent3: if the bin is Korean the stay is a missionary. sent4: the bin is muciferous but it does not punish wind. sent5: the stay is not meaningful. sent6: the fact that the bin does not call is not false. sent7: if the stay is a kind of a welt that is glorious then the quetzal is not osteal. sent8: the bin does call if it is a Asian and is not a kind of a counterblast. sent9: the bin is a kind of a Korean if it is a counterblast. sent10: that the stay is glorious hold. sent11: if the bin is not a call and is not meaningful then the quetzal does not call. sent12: if something is not missionary it is not a kind of a call and is not meaningful. ; $proof$ = 
void -> assump1: Let's assume that the bin is Asian but it is not a counterblast.; sent8 & assump1 -> int1: the bin is a kind of a call.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the bin is Asian but it is not a counterblast is not true.; __UNKNOWN__