the magistrate is non-divergent and not scapulohumeral.
sent1: if there exists something such that it is not non-Socratic and/or it is a kind of a chiaroscuro then the titfer is not a neurotic. sent2: the nerve does not exclaim operon but it is a trace if the shunter does not exclaim operon. sent3: the magistrate is both not divergent and not scapulohumeral if the nerve is a trace. sent4: the nerve does not exclaim operon if the shunter does not exclaim operon. sent5: either the shunter does not pin scream or it is not a hesitance or both if the titfer is not neurotic. sent6: the nerve does not exclaim operon and is divergent. sent7: if that the shunter is a trace that does not exclaim thermoplastic is false the titfer does not exclaim operon. sent8: the nerve is a neurotic. sent9: the magistrate is not divergent if the nerve is a trace. sent10: something is divergent or it is a chiaroscuro or both. sent11: if the titfer is not a neurotic the shunter does pin scream and/or is not a kind of a hesitance. sent12: something is a chiaroscuro and/or it is a neurotic if it does not pin scream. sent13: the fact that the shunter traces and does not exclaim thermoplastic is not right. sent14: the arcella is a chiaroscuro. sent15: the fact that something is not divergent and it is not scapulohumeral is not true if it is not Socratic. sent16: something does not exclaim operon if either it does not pin scream or it is not a hesitance or both. sent17: something is not a hesitance if either it is not a kind of a trace or it is not divergent or both. sent18: the magistrate is not divergent and/or it is a neurotic if the titfer does not exclaim operon. sent19: if something does not exclaim operon then the fact that it pins scream and it is not a hesitance is not correct.
sent14 -> int1: the arcella is either Socratic or a chiaroscuro or both.; int1 -> int2: there is something such that it is either Socratic or a chiaroscuro or both.; int2 & sent1 -> int3: the titfer is not a neurotic.; int3 & sent5 -> int4: the shunter does not pin scream or is not a hesitance or both.; sent16 -> int5: the shunter does not exclaim operon if it does not pin scream or it is not a hesitance or both.; int4 & int5 -> int6: the shunter does not exclaim operon.; int6 & sent2 -> int7: the nerve does not exclaim operon but it traces.; int7 -> int8: the nerve traces.; int8 & sent3 -> hypothesis;
the fact that the magistrate is not divergent and not scapulohumeral is not correct.
sent15 -> int9: that the magistrate is not divergent and it is not scapulohumeral is wrong if it is non-Socratic.; sent12 -> int10: if the arcella does not pin scream then it is a chiaroscuro or neurotic or both.; sent19 -> int11: if that the titfer does not exclaim operon hold the fact that it pins scream and it is not a hesitance is not true.; sent7 & sent13 -> int12: the titfer does not exclaim operon.; int11 & int12 -> int13: that the titfer does pin scream but it is not a hesitance is wrong.; int13 -> int14: there is something such that that it pins scream and is not a hesitance is not true.;
$hypothesis$ = the magistrate is non-divergent and not scapulohumeral. ; $context$ = sent1: if there exists something such that it is not non-Socratic and/or it is a kind of a chiaroscuro then the titfer is not a neurotic. sent2: the nerve does not exclaim operon but it is a trace if the shunter does not exclaim operon. sent3: the magistrate is both not divergent and not scapulohumeral if the nerve is a trace. sent4: the nerve does not exclaim operon if the shunter does not exclaim operon. sent5: either the shunter does not pin scream or it is not a hesitance or both if the titfer is not neurotic. sent6: the nerve does not exclaim operon and is divergent. sent7: if that the shunter is a trace that does not exclaim thermoplastic is false the titfer does not exclaim operon. sent8: the nerve is a neurotic. sent9: the magistrate is not divergent if the nerve is a trace. sent10: something is divergent or it is a chiaroscuro or both. sent11: if the titfer is not a neurotic the shunter does pin scream and/or is not a kind of a hesitance. sent12: something is a chiaroscuro and/or it is a neurotic if it does not pin scream. sent13: the fact that the shunter traces and does not exclaim thermoplastic is not right. sent14: the arcella is a chiaroscuro. sent15: the fact that something is not divergent and it is not scapulohumeral is not true if it is not Socratic. sent16: something does not exclaim operon if either it does not pin scream or it is not a hesitance or both. sent17: something is not a hesitance if either it is not a kind of a trace or it is not divergent or both. sent18: the magistrate is not divergent and/or it is a neurotic if the titfer does not exclaim operon. sent19: if something does not exclaim operon then the fact that it pins scream and it is not a hesitance is not correct. ; $proof$ = 
sent14 -> int1: the arcella is either Socratic or a chiaroscuro or both.; int1 -> int2: there is something such that it is either Socratic or a chiaroscuro or both.; int2 & sent1 -> int3: the titfer is not a neurotic.; int3 & sent5 -> int4: the shunter does not pin scream or is not a hesitance or both.; sent16 -> int5: the shunter does not exclaim operon if it does not pin scream or it is not a hesitance or both.; int4 & int5 -> int6: the shunter does not exclaim operon.; int6 & sent2 -> int7: the nerve does not exclaim operon but it traces.; int7 -> int8: the nerve traces.; int8 & sent3 -> hypothesis; __PROVED__