the upstart is non-intentional.
sent1: something is corrigible if it either is not a narrow-body or does not coordinate selectwoman or both. sent2: if something does not coordinate selectwoman the fact that it is not incorrigible is not false. sent3: if that the anomalopteryx is intentional is true the fact that the Berbers is a motorboat hold. sent4: the anomalopteryx is corrigible if it does not coordinate selectwoman. sent5: the anomalopteryx is not a narrow-body and/or it coordinates selectwoman. sent6: if something is a kind of a catfish then it is not a kind of a vocal and it is a kind of a Marxist. sent7: if the mediatrix motorboats and it is a vocal then the upstart is not intentional. sent8: if the fact that something is a kind of a motorboat that is not corrigible is incorrect it is theocratic. sent9: the upstart is not a kind of a vocal if the anomalopteryx is not a vocal but it is a Marxist. sent10: everything is vocal. sent11: the fact that something is both a motorboat and not corrigible does not hold if it is not a vocal. sent12: if the anomalopteryx is corrigible the mediatrix does motorboat. sent13: the upstart is a vocal. sent14: the anomalopteryx is not a narrow-body or it coordinates selectwoman or both if it is theocratic. sent15: the upstart does motorboat. sent16: everything does truss and/or it is a catfish. sent17: if the Berbers is a kind of a motorboat then it is both theocratic and not corrigible. sent18: if something is theocratic it is intentional. sent19: the anomalopteryx is not a narrow-body and/or it does not coordinate selectwoman if it is theocratic. sent20: if something that is a snootiness is not a truss it is not a kind of a catfish.
sent1 -> int1: the anomalopteryx is corrigible if it is not a narrow-body and/or it does not coordinate selectwoman.; sent10 -> int2: the mediatrix is a kind of a vocal.;
the upstart is intentional.
sent18 -> int3: the upstart is intentional if it is theocratic.; sent8 -> int4: if that the upstart is a motorboat and is not corrigible is incorrect then it is theocratic.; sent11 -> int5: the fact that the upstart is a kind of a motorboat but it is not corrigible is incorrect if the fact that it is not a vocal is correct.; sent6 -> int6: if the anomalopteryx is a catfish it is not a vocal and it is a Marxist.; sent16 -> int7: the mediatrix does truss or it is a catfish or both.;
$hypothesis$ = the upstart is non-intentional. ; $context$ = sent1: something is corrigible if it either is not a narrow-body or does not coordinate selectwoman or both. sent2: if something does not coordinate selectwoman the fact that it is not incorrigible is not false. sent3: if that the anomalopteryx is intentional is true the fact that the Berbers is a motorboat hold. sent4: the anomalopteryx is corrigible if it does not coordinate selectwoman. sent5: the anomalopteryx is not a narrow-body and/or it coordinates selectwoman. sent6: if something is a kind of a catfish then it is not a kind of a vocal and it is a kind of a Marxist. sent7: if the mediatrix motorboats and it is a vocal then the upstart is not intentional. sent8: if the fact that something is a kind of a motorboat that is not corrigible is incorrect it is theocratic. sent9: the upstart is not a kind of a vocal if the anomalopteryx is not a vocal but it is a Marxist. sent10: everything is vocal. sent11: the fact that something is both a motorboat and not corrigible does not hold if it is not a vocal. sent12: if the anomalopteryx is corrigible the mediatrix does motorboat. sent13: the upstart is a vocal. sent14: the anomalopteryx is not a narrow-body or it coordinates selectwoman or both if it is theocratic. sent15: the upstart does motorboat. sent16: everything does truss and/or it is a catfish. sent17: if the Berbers is a kind of a motorboat then it is both theocratic and not corrigible. sent18: if something is theocratic it is intentional. sent19: the anomalopteryx is not a narrow-body and/or it does not coordinate selectwoman if it is theocratic. sent20: if something that is a snootiness is not a truss it is not a kind of a catfish. ; $proof$ = 
sent1 -> int1: the anomalopteryx is corrigible if it is not a narrow-body and/or it does not coordinate selectwoman.; sent10 -> int2: the mediatrix is a kind of a vocal.; __UNKNOWN__