the quinone is a tinsmith.
sent1: the archbishopric is not a kind of a shaitan if the fore-topmast does not crust Crotalidae and/or it is not a shaitan. sent2: something does dart. sent3: something that is not a shaitan is both not a dart and a varmint. sent4: the quinone is a tinsmith if there exists something such that it is not a shaitan. sent5: if there exists something such that it darts then that the archbishopric is a kind of a varmint and it is a shaitan is false. sent6: something is a varmint and/or it is a tinsmith if that it is not a shaitan hold. sent7: the quinone is a tinsmith if there is something such that that it is a varmint that is a shaitan is not right.
sent2 & sent5 -> int1: the fact that the archbishopric is a varmint and it is a shaitan is not true.; int1 -> int2: there exists something such that that it is a varmint and is a shaitan is not right.; int2 & sent7 -> hypothesis;
the quinone is not a tinsmith.
sent3 -> int3: the archbishopric does not dart and is a varmint if it is not a shaitan.;
$hypothesis$ = the quinone is a tinsmith. ; $context$ = sent1: the archbishopric is not a kind of a shaitan if the fore-topmast does not crust Crotalidae and/or it is not a shaitan. sent2: something does dart. sent3: something that is not a shaitan is both not a dart and a varmint. sent4: the quinone is a tinsmith if there exists something such that it is not a shaitan. sent5: if there exists something such that it darts then that the archbishopric is a kind of a varmint and it is a shaitan is false. sent6: something is a varmint and/or it is a tinsmith if that it is not a shaitan hold. sent7: the quinone is a tinsmith if there is something such that that it is a varmint that is a shaitan is not right. ; $proof$ = 
sent2 & sent5 -> int1: the fact that the archbishopric is a varmint and it is a shaitan is not true.; int1 -> int2: there exists something such that that it is a varmint and is a shaitan is not right.; int2 & sent7 -> hypothesis; __PROVED__