the fact that the scabious is a kind of articulatory thing that does not blacklist neckpiece is incorrect.
sent1: if the neckpiece is either articulatory or an upright or both the bibliopole is not a village. sent2: that the peregrine blacklists swimmer but it does not impinge neocolonialism is incorrect if the bibliopole is not a village. sent3: if the neckpiece is not articulatory the fact that the scabious is articulatory but it does not blacklist neckpiece is wrong. sent4: the peregrine is a kind of a Psittacus if it does grin. sent5: the scabious is articulatory. sent6: if the melosa is not fishy and it does not welcome then the peregrine is a welcome. sent7: the melosa is not fishy and it is not a kind of a welcome. sent8: a welcome thing grins. sent9: if the fact that something blacklists swimmer and does not impinge neocolonialism is not right it is not a kind of a Psittacus.
void -> assump1: Let's assume that the neckpiece is articulatory.; assump1 -> int1: the neckpiece is articulatory and/or it is a kind of an upright.; int1 & sent1 -> int2: the bibliopole is not a village.; int2 & sent2 -> int3: that the peregrine does blacklist swimmer and does not impinge neocolonialism is incorrect.; sent9 -> int4: the peregrine is not a kind of a Psittacus if that it does blacklist swimmer and does not impinge neocolonialism is not right.; int3 & int4 -> int5: the peregrine is not a Psittacus.; sent8 -> int6: the peregrine grins if it is a welcome.; sent6 & sent7 -> int7: the peregrine is a welcome.; int6 & int7 -> int8: the peregrine grins.; sent4 & int8 -> int9: the peregrine is a Psittacus.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the neckpiece is not articulatory.; int11 & sent3 -> hypothesis;
the scabious is articulatory but it does not blacklist neckpiece.
$hypothesis$ = the fact that the scabious is a kind of articulatory thing that does not blacklist neckpiece is incorrect. ; $context$ = sent1: if the neckpiece is either articulatory or an upright or both the bibliopole is not a village. sent2: that the peregrine blacklists swimmer but it does not impinge neocolonialism is incorrect if the bibliopole is not a village. sent3: if the neckpiece is not articulatory the fact that the scabious is articulatory but it does not blacklist neckpiece is wrong. sent4: the peregrine is a kind of a Psittacus if it does grin. sent5: the scabious is articulatory. sent6: if the melosa is not fishy and it does not welcome then the peregrine is a welcome. sent7: the melosa is not fishy and it is not a kind of a welcome. sent8: a welcome thing grins. sent9: if the fact that something blacklists swimmer and does not impinge neocolonialism is not right it is not a kind of a Psittacus. ; $proof$ = 
void -> assump1: Let's assume that the neckpiece is articulatory.; assump1 -> int1: the neckpiece is articulatory and/or it is a kind of an upright.; int1 & sent1 -> int2: the bibliopole is not a village.; int2 & sent2 -> int3: that the peregrine does blacklist swimmer and does not impinge neocolonialism is incorrect.; sent9 -> int4: the peregrine is not a kind of a Psittacus if that it does blacklist swimmer and does not impinge neocolonialism is not right.; int3 & int4 -> int5: the peregrine is not a Psittacus.; sent8 -> int6: the peregrine grins if it is a welcome.; sent6 & sent7 -> int7: the peregrine is a welcome.; int6 & int7 -> int8: the peregrine grins.; sent4 & int8 -> int9: the peregrine is a Psittacus.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the neckpiece is not articulatory.; int11 & sent3 -> hypothesis; __PROVED__