the sorter is a debut.
sent1: if something does touch it is a eightpence. sent2: something does rap scull but it is not ebracteate if it debuts. sent3: if the donna does scoff then the Blucher does not scoff. sent4: if the fact that the gnu is a raffinose that does not rap scull is not right then that it is not a plexus is not incorrect. sent5: the donna does not scoff if it raps scull and is non-ebracteate. sent6: if something is not inspiratory then it is not a debut. sent7: the sump is not a touch if the fact that the donna is not a plexus and/or it is not a kind of a touch does not hold. sent8: the sump is inspiratory. sent9: the sorter is a debut if the donna does rap scull. sent10: the timbale scoffs and/or is ebracteate if there is something such that it is not a kind of a plexus. sent11: the donna scoffs if the timbale does scoffs. sent12: the sump is inspiratory if the Blucher touches. sent13: if there is something such that it is not a kind of a touch then the Blucher is a eightpence and inspiratory. sent14: if the Blucher scoffs it is ebracteate. sent15: that the Blucher does not scoff is correct. sent16: the sump is inspiratory and it is a touch. sent17: the Blucher is not a plexus if the sump is a eightpence and does not scoff. sent18: the fact that the donna does not rap scull is incorrect if the Blucher is ebracteate. sent19: the fact that the gnu is a raffinose but it does not rap scull is not right. sent20: something is ebracteate if it is not a plexus. sent21: the sump does not scoff.
sent16 -> int1: the sump touches.; sent1 -> int2: if the sump does touch then it is a eightpence.; int1 & int2 -> int3: the fact that the sump is a eightpence is not incorrect.; int3 & sent21 -> int4: the sump is a eightpence but it does not scoff.; int4 & sent17 -> int5: the Blucher is not a plexus.; sent20 -> int6: the Blucher is ebracteate if that it is not a plexus is correct.; int5 & int6 -> int7: the Blucher is ebracteate.; int7 & sent18 -> int8: the donna raps scull.; int8 & sent9 -> hypothesis;
the Blucher is a kind of a eightpence.
sent2 -> int9: the sorter raps scull and is not ebracteate if it is a debut.;
$hypothesis$ = the sorter is a debut. ; $context$ = sent1: if something does touch it is a eightpence. sent2: something does rap scull but it is not ebracteate if it debuts. sent3: if the donna does scoff then the Blucher does not scoff. sent4: if the fact that the gnu is a raffinose that does not rap scull is not right then that it is not a plexus is not incorrect. sent5: the donna does not scoff if it raps scull and is non-ebracteate. sent6: if something is not inspiratory then it is not a debut. sent7: the sump is not a touch if the fact that the donna is not a plexus and/or it is not a kind of a touch does not hold. sent8: the sump is inspiratory. sent9: the sorter is a debut if the donna does rap scull. sent10: the timbale scoffs and/or is ebracteate if there is something such that it is not a kind of a plexus. sent11: the donna scoffs if the timbale does scoffs. sent12: the sump is inspiratory if the Blucher touches. sent13: if there is something such that it is not a kind of a touch then the Blucher is a eightpence and inspiratory. sent14: if the Blucher scoffs it is ebracteate. sent15: that the Blucher does not scoff is correct. sent16: the sump is inspiratory and it is a touch. sent17: the Blucher is not a plexus if the sump is a eightpence and does not scoff. sent18: the fact that the donna does not rap scull is incorrect if the Blucher is ebracteate. sent19: the fact that the gnu is a raffinose but it does not rap scull is not right. sent20: something is ebracteate if it is not a plexus. sent21: the sump does not scoff. ; $proof$ = 
sent16 -> int1: the sump touches.; sent1 -> int2: if the sump does touch then it is a eightpence.; int1 & int2 -> int3: the fact that the sump is a eightpence is not incorrect.; int3 & sent21 -> int4: the sump is a eightpence but it does not scoff.; int4 & sent17 -> int5: the Blucher is not a plexus.; sent20 -> int6: the Blucher is ebracteate if that it is not a plexus is correct.; int5 & int6 -> int7: the Blucher is ebracteate.; int7 & sent18 -> int8: the donna raps scull.; int8 & sent9 -> hypothesis; __PROVED__