that the armoire is comic and a Finn is not true.
sent1: if the sporran overpowers immigration the armoire is comic. sent2: the armoire is a Finn. sent3: if the sporran is Demotic then the armoire is comic. sent4: there is something such that it barbs anabolism. sent5: if something does not barb anabolism the sporran overpowers immigration or is Demotic or both. sent6: there exists something such that the fact that it does barb anabolism does not hold. sent7: the armoire either is a kind of a Finn or is comic or both if something is not a kind of a Demotic.
sent6 & sent5 -> int1: the sporran overpowers immigration or it is Demotic or both.; int1 & sent1 & sent3 -> int2: the armoire is comic.; int2 & sent2 -> hypothesis;
$hypothesis$ = that the armoire is comic and a Finn is not true. ; $context$ = sent1: if the sporran overpowers immigration the armoire is comic. sent2: the armoire is a Finn. sent3: if the sporran is Demotic then the armoire is comic. sent4: there is something such that it barbs anabolism. sent5: if something does not barb anabolism the sporran overpowers immigration or is Demotic or both. sent6: there exists something such that the fact that it does barb anabolism does not hold. sent7: the armoire either is a kind of a Finn or is comic or both if something is not a kind of a Demotic. ; $proof$ = 
sent6 & sent5 -> int1: the sporran overpowers immigration or it is Demotic or both.; int1 & sent1 & sent3 -> int2: the armoire is comic.; int2 & sent2 -> hypothesis; __DISPROVED__