the DSL is a gumdrop and it is exacta.
sent1: if the trochanter is not noble then it is argentous or is not phrenological or both. sent2: the trochanter does radio blue. sent3: the fact that something is not noble and not argentous is not correct if it is not phrenological. sent4: a Jesuitical stowaway is a kind of a gumdrop. sent5: the trochanter is Jesuitical thing that is phrenological. sent6: if that either the trochanter is not unjust or it is not noble or both is not true the fact that the Malian is not unjust hold. sent7: The blue does radio trochanter. sent8: the DSL is an agate. sent9: the DSL is an agate and/or it is not argentous. sent10: something is a dissolve if it is unjust. sent11: if the microbalance is Jesuitical the DSL is not a stowaway but it is Jesuitical. sent12: the DSL is exacta thing that is a kind of an agate. sent13: if the microbalance is noble then the trochanter is unjust but it does not radio blue. sent14: the DSL radios blue. sent15: the microbalance is noble if that the Parisian is not noble and not argentous is not correct. sent16: the fact that the microbalance is Jesuitical hold if there is something such that it either is argentous or is not phrenological or both. sent17: the trochanter is unjust. sent18: if an unjust thing radios blue it is not noble. sent19: the boisterousness is non-Jesuitical thing that is not a stowaway. sent20: if something that is not a kind of a stowaway is Jesuitical then it is a gumdrop.
sent17 & sent2 -> int1: the trochanter is unjust and it does radio blue.; sent18 -> int2: the trochanter is not noble if it is a kind of unjust thing that radios blue.; int1 & int2 -> int3: the trochanter is not noble.; int3 & sent1 -> int4: the trochanter either is argentous or is not phrenological or both.; int4 -> int5: there exists something such that it is not non-argentous and/or it is not phrenological.; int5 & sent16 -> int6: the microbalance is Jesuitical.; int6 & sent11 -> int7: the DSL is not a stowaway and is Jesuitical.; sent20 -> int8: if the DSL is not a stowaway but it is Jesuitical then the fact that it is a gumdrop hold.; int7 & int8 -> int9: the DSL is a kind of a gumdrop.; sent12 -> int10: the DSL is exacta.; int9 & int10 -> hypothesis;
the Malian is a dissolve and a Hygeia.
sent10 -> int11: if the Malian is unjust then it dissolves.;
$hypothesis$ = the DSL is a gumdrop and it is exacta. ; $context$ = sent1: if the trochanter is not noble then it is argentous or is not phrenological or both. sent2: the trochanter does radio blue. sent3: the fact that something is not noble and not argentous is not correct if it is not phrenological. sent4: a Jesuitical stowaway is a kind of a gumdrop. sent5: the trochanter is Jesuitical thing that is phrenological. sent6: if that either the trochanter is not unjust or it is not noble or both is not true the fact that the Malian is not unjust hold. sent7: The blue does radio trochanter. sent8: the DSL is an agate. sent9: the DSL is an agate and/or it is not argentous. sent10: something is a dissolve if it is unjust. sent11: if the microbalance is Jesuitical the DSL is not a stowaway but it is Jesuitical. sent12: the DSL is exacta thing that is a kind of an agate. sent13: if the microbalance is noble then the trochanter is unjust but it does not radio blue. sent14: the DSL radios blue. sent15: the microbalance is noble if that the Parisian is not noble and not argentous is not correct. sent16: the fact that the microbalance is Jesuitical hold if there is something such that it either is argentous or is not phrenological or both. sent17: the trochanter is unjust. sent18: if an unjust thing radios blue it is not noble. sent19: the boisterousness is non-Jesuitical thing that is not a stowaway. sent20: if something that is not a kind of a stowaway is Jesuitical then it is a gumdrop. ; $proof$ = 
sent17 & sent2 -> int1: the trochanter is unjust and it does radio blue.; sent18 -> int2: the trochanter is not noble if it is a kind of unjust thing that radios blue.; int1 & int2 -> int3: the trochanter is not noble.; int3 & sent1 -> int4: the trochanter either is argentous or is not phrenological or both.; int4 -> int5: there exists something such that it is not non-argentous and/or it is not phrenological.; int5 & sent16 -> int6: the microbalance is Jesuitical.; int6 & sent11 -> int7: the DSL is not a stowaway and is Jesuitical.; sent20 -> int8: if the DSL is not a stowaway but it is Jesuitical then the fact that it is a gumdrop hold.; int7 & int8 -> int9: the DSL is a kind of a gumdrop.; sent12 -> int10: the DSL is exacta.; int9 & int10 -> hypothesis; __PROVED__