if the SLS does garner jejunum the crank is a Ptilocercus.
sent1: the rhizopod garners jejunum. sent2: the crank does garner jejunum. sent3: the crank is a glue if the rhizopod is a kind of a Ptilocercus. sent4: the crank is a glue. sent5: if the crank does garner jejunum the SLS is a Ptilocercus. sent6: the rhizopod does consider. sent7: the foot does garner jejunum. sent8: if the rhizopod does garner jejunum then the SLS is a kind of a glue. sent9: the inamorata does garner jejunum. sent10: if the SLS is a kind of a Ptilocercus that the crank does garner jejunum hold. sent11: the Stellite is a kind of a glue. sent12: if the crank is a kind of a glue the rhizopod is a Ptilocercus. sent13: the SLS is a glue. sent14: the rhizopod is Prussian. sent15: the fact that the crank does garner jejunum is not false if the SLS is a glue. sent16: the rhizopod does garner jejunum if the SLS is a glue. sent17: if the rhizopod is a glue then the crank is a Ptilocercus. sent18: the rhizopod is a kind of a glue if the SLS does garner jejunum.
void -> assump1: Let's assume that the SLS garners jejunum.; sent18 & assump1 -> int1: the rhizopod is a glue.; sent17 & int1 -> int2: the crank is a Ptilocercus.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the SLS does garner jejunum the crank is a Ptilocercus. ; $context$ = sent1: the rhizopod garners jejunum. sent2: the crank does garner jejunum. sent3: the crank is a glue if the rhizopod is a kind of a Ptilocercus. sent4: the crank is a glue. sent5: if the crank does garner jejunum the SLS is a Ptilocercus. sent6: the rhizopod does consider. sent7: the foot does garner jejunum. sent8: if the rhizopod does garner jejunum then the SLS is a kind of a glue. sent9: the inamorata does garner jejunum. sent10: if the SLS is a kind of a Ptilocercus that the crank does garner jejunum hold. sent11: the Stellite is a kind of a glue. sent12: if the crank is a kind of a glue the rhizopod is a Ptilocercus. sent13: the SLS is a glue. sent14: the rhizopod is Prussian. sent15: the fact that the crank does garner jejunum is not false if the SLS is a glue. sent16: the rhizopod does garner jejunum if the SLS is a glue. sent17: if the rhizopod is a glue then the crank is a Ptilocercus. sent18: the rhizopod is a kind of a glue if the SLS does garner jejunum. ; $proof$ = 
void -> assump1: Let's assume that the SLS garners jejunum.; sent18 & assump1 -> int1: the rhizopod is a glue.; sent17 & int1 -> int2: the crank is a Ptilocercus.; [assump1] & int2 -> hypothesis; __PROVED__