the fact that the Solomon's-seal is clausal hold if the Daniel does rate.
sent1: the Solomon's-seal is clausal if the Daniel is not antimonic. sent2: the have is not a Decalogue. sent3: the ascidian does not backstop uppityness. sent4: that the have does not backstop MArch and is not a Baraka is wrong. sent5: the have backstops MArch if the fact that it does not backstops MArch and is not a Baraka is false. sent6: the ascidian is not a configuration if that the Daniel is a rate that is antimonic is true. sent7: if the ascidian is not a configuration the have is not a Decalogue. sent8: the have is clausal. sent9: the fact that the have is a kind of a Decalogue that is not a configuration does not hold. sent10: that the have is not a Decalogue and not a configuration is not right. sent11: that the plasmin does rate is not wrong. sent12: if the ascidian is not a configuration then the have is not a Decalogue and is not a kind of a configuration. sent13: if the ascidian is both antimonic and clausal then the Daniel is not a configuration. sent14: the ascidian is a kind of a transponder that is a Decalogue. sent15: the fact that the ascidian is a Decalogue but it is not clausal does not hold if there exists something such that it does backstop MArch. sent16: the ascidian is antimonic. sent17: the have is aecial and it is a kind of a disguise.
void -> assump1: Let's assume that the Daniel does rate.; void -> assump2: Let's assume that the Daniel is antimonic.; assump1 & assump2 -> int1: the Daniel does rate and it is antimonic.; int1 & sent6 -> int2: the ascidian is not a configuration.; int2 & sent12 -> int3: the have is not a Decalogue and is not a configuration.; int3 & sent10 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Daniel is not antimonic.; int5 & sent1 -> int6: the Solomon's-seal is clausal.; [assump1] & int6 -> hypothesis;
the Solomon's-seal is antimonic.
sent5 & sent4 -> int7: the have backstops MArch.; int7 -> int8: there exists something such that it backstops MArch.; int8 & sent15 -> int9: that the ascidian is a Decalogue but it is not clausal does not hold.; int9 -> int10: there is something such that that it is a Decalogue but not clausal does not hold.;
$hypothesis$ = the fact that the Solomon's-seal is clausal hold if the Daniel does rate. ; $context$ = sent1: the Solomon's-seal is clausal if the Daniel is not antimonic. sent2: the have is not a Decalogue. sent3: the ascidian does not backstop uppityness. sent4: that the have does not backstop MArch and is not a Baraka is wrong. sent5: the have backstops MArch if the fact that it does not backstops MArch and is not a Baraka is false. sent6: the ascidian is not a configuration if that the Daniel is a rate that is antimonic is true. sent7: if the ascidian is not a configuration the have is not a Decalogue. sent8: the have is clausal. sent9: the fact that the have is a kind of a Decalogue that is not a configuration does not hold. sent10: that the have is not a Decalogue and not a configuration is not right. sent11: that the plasmin does rate is not wrong. sent12: if the ascidian is not a configuration then the have is not a Decalogue and is not a kind of a configuration. sent13: if the ascidian is both antimonic and clausal then the Daniel is not a configuration. sent14: the ascidian is a kind of a transponder that is a Decalogue. sent15: the fact that the ascidian is a Decalogue but it is not clausal does not hold if there exists something such that it does backstop MArch. sent16: the ascidian is antimonic. sent17: the have is aecial and it is a kind of a disguise. ; $proof$ = 
void -> assump1: Let's assume that the Daniel does rate.; void -> assump2: Let's assume that the Daniel is antimonic.; assump1 & assump2 -> int1: the Daniel does rate and it is antimonic.; int1 & sent6 -> int2: the ascidian is not a configuration.; int2 & sent12 -> int3: the have is not a Decalogue and is not a configuration.; int3 & sent10 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Daniel is not antimonic.; int5 & sent1 -> int6: the Solomon's-seal is clausal.; [assump1] & int6 -> hypothesis; __PROVED__