the magazine is not a Blackfoot.
sent1: the fact that the Parsee is holozoic and is not a maildrop does not hold if it is a crab. sent2: the fabulist is either a Vlaminck or not a trombiculid or both if there is something such that it is not worst. sent3: the fact that the Parsee does crab is not false if it is a kind of a shoot-'em-up. sent4: the Capricorn is not a lumen if it is uppercase. sent5: the fact that something jars clianthus but it is not a Blackfoot is not right if it is a kind of a oxacillin. sent6: something is a coastguard if it is a kind of a Vlaminck or is not a kind of a trombiculid or both. sent7: something is not uppercase if that it is holozoic and it is not a maildrop is false. sent8: the Capricorn is a trombiculid and/or it is not a kind of a campaign. sent9: the fabulist is not a kind of a coastguard if the Parsee is not uppercase. sent10: the Parsee is a shoot-'em-up if the Capricorn is a lumen. sent11: there is something such that that it is not a worst hold. sent12: the magazine is not a Blackfoot if the fact that it is a lumen and an accommodation is not true.
void -> assump1: Let's assume that that the Capricorn is a lumen is true.; sent10 & assump1 -> int1: the Parsee is a shoot-'em-up.; int1 & sent3 -> int2: the Parsee is a crab.; int2 & sent1 -> int3: that the fact that the Parsee is both not non-holozoic and not a maildrop is not false does not hold.; sent7 -> int4: the Parsee is not uppercase if the fact that it is holozoic and is not a kind of a maildrop is not correct.; int3 & int4 -> int5: the Parsee is not uppercase.; int5 & sent9 -> int6: the fabulist is not a coastguard.; sent6 -> int7: if the fabulist is a Vlaminck or it is not a trombiculid or both it is a coastguard.; sent11 & sent2 -> int8: the fabulist either is a Vlaminck or is not a trombiculid or both.; int7 & int8 -> int9: the fact that the fabulist is a coastguard is true.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the Capricorn is not a lumen.;
the fact that the showboat does jar clianthus and is not a Blackfoot is false if it is a oxacillin.
sent5 -> hypothesis;
$hypothesis$ = the magazine is not a Blackfoot. ; $context$ = sent1: the fact that the Parsee is holozoic and is not a maildrop does not hold if it is a crab. sent2: the fabulist is either a Vlaminck or not a trombiculid or both if there is something such that it is not worst. sent3: the fact that the Parsee does crab is not false if it is a kind of a shoot-'em-up. sent4: the Capricorn is not a lumen if it is uppercase. sent5: the fact that something jars clianthus but it is not a Blackfoot is not right if it is a kind of a oxacillin. sent6: something is a coastguard if it is a kind of a Vlaminck or is not a kind of a trombiculid or both. sent7: something is not uppercase if that it is holozoic and it is not a maildrop is false. sent8: the Capricorn is a trombiculid and/or it is not a kind of a campaign. sent9: the fabulist is not a kind of a coastguard if the Parsee is not uppercase. sent10: the Parsee is a shoot-'em-up if the Capricorn is a lumen. sent11: there is something such that that it is not a worst hold. sent12: the magazine is not a Blackfoot if the fact that it is a lumen and an accommodation is not true. ; $proof$ = 
void -> assump1: Let's assume that that the Capricorn is a lumen is true.; sent10 & assump1 -> int1: the Parsee is a shoot-'em-up.; int1 & sent3 -> int2: the Parsee is a crab.; int2 & sent1 -> int3: that the fact that the Parsee is both not non-holozoic and not a maildrop is not false does not hold.; sent7 -> int4: the Parsee is not uppercase if the fact that it is holozoic and is not a kind of a maildrop is not correct.; int3 & int4 -> int5: the Parsee is not uppercase.; int5 & sent9 -> int6: the fabulist is not a coastguard.; sent6 -> int7: if the fabulist is a Vlaminck or it is not a trombiculid or both it is a coastguard.; sent11 & sent2 -> int8: the fabulist either is a Vlaminck or is not a trombiculid or both.; int7 & int8 -> int9: the fact that the fabulist is a coastguard is true.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the Capricorn is not a lumen.; __UNKNOWN__