the sable is a kind of a firearm.
sent1: that the hatchel is unsavory and it is botanic is not right. sent2: if the Moselle is not a Riksmal the antiarrhythmic is not an engineering. sent3: there is something such that it does adduct Mamet. sent4: the Libyan does engineer if something is not unsavory. sent5: the Libyan is an engineering if there is something such that that that it is a kind of unsavory thing that is botanic is not incorrect is not right. sent6: the sable is a firearm if the fact that the Libyan is not a firearm but it is a kind of an engineering is false. sent7: the sable does not engineer. sent8: if the Libyan is not a Riksmal it is not a certificated and it adducts Mamet. sent9: the Libyan is not conjunct and it is not a Riksmal if it is a kind of an engineering. sent10: if something is not a certificated but it adducts Mamet then the sable is not a firearm.
sent1 -> int1: there exists something such that that it is unsavory and botanic is not correct.; int1 & sent5 -> int2: the Libyan engineers.; int2 & sent9 -> int3: the Libyan is non-conjunct thing that is not a kind of a Riksmal.; int3 -> int4: the Libyan is not a Riksmal.; int4 & sent8 -> int5: the Libyan is not a certificated and does adduct Mamet.; int5 -> int6: there exists something such that it does not certificate and does adduct Mamet.; int6 & sent10 -> hypothesis;
the sable is a firearm.
$hypothesis$ = the sable is a kind of a firearm. ; $context$ = sent1: that the hatchel is unsavory and it is botanic is not right. sent2: if the Moselle is not a Riksmal the antiarrhythmic is not an engineering. sent3: there is something such that it does adduct Mamet. sent4: the Libyan does engineer if something is not unsavory. sent5: the Libyan is an engineering if there is something such that that that it is a kind of unsavory thing that is botanic is not incorrect is not right. sent6: the sable is a firearm if the fact that the Libyan is not a firearm but it is a kind of an engineering is false. sent7: the sable does not engineer. sent8: if the Libyan is not a Riksmal it is not a certificated and it adducts Mamet. sent9: the Libyan is not conjunct and it is not a Riksmal if it is a kind of an engineering. sent10: if something is not a certificated but it adducts Mamet then the sable is not a firearm. ; $proof$ = 
sent1 -> int1: there exists something such that that it is unsavory and botanic is not correct.; int1 & sent5 -> int2: the Libyan engineers.; int2 & sent9 -> int3: the Libyan is non-conjunct thing that is not a kind of a Riksmal.; int3 -> int4: the Libyan is not a Riksmal.; int4 & sent8 -> int5: the Libyan is not a certificated and does adduct Mamet.; int5 -> int6: there exists something such that it does not certificate and does adduct Mamet.; int6 & sent10 -> hypothesis; __DISPROVED__