the daredevil does glom re and it does clatter.
sent1: the sipunculid is a wraparound if the fact that the icetray does appropriate balsam is true. sent2: there exists something such that it is not a going. sent3: the daredevil is not testamentary but a Hazardia. sent4: the supercargo is a veloute but it is not a going. sent5: the supercargo is a veloute. sent6: the Luger is not a kind of a Hazardia if something that is not testamentary does not power. sent7: if there exists something such that it is a Hazardia and it is not a going the daredevil gloms re. sent8: the machicolation does glom re and it is prognathous. sent9: the wag is a kind of a going but it is not a syndicate. sent10: something is a clatter if it is not sepulchral. sent11: if the Luger is testamentary the nucleon is not sepulchral but it is a Hazardia. sent12: something is both a veloute and a going. sent13: if the nucleon is not sepulchral then that the daredevil gloms re and is a clatter does not hold. sent14: if the daredevil is both not testamentary and a Hazardia it is not sepulchral. sent15: the daredevil is unstoppable. sent16: if there exists something such that it is a kind of a veloute and it does not go the daredevil does glom re. sent17: the daredevil is a Hazardia. sent18: if something is not a Hazardia it is sepulchral and it does clatter. sent19: the icetray does appropriate balsam if the blue is a kind of a consumptive. sent20: something is a kind of a veloute if it does glom re. sent21: if that the blue does subtilize lighted is true then it is a consumptive. sent22: the daredevil is a veloute if the nucleon is a veloute. sent23: the chipmunk is a clatter. sent24: the re is both not testamentary and not a power. sent25: there is something such that the fact that it is a kind of a veloute is true.
sent4 -> int1: there is something such that it is a kind of a veloute and it is non-going.; int1 & sent16 -> int2: the daredevil gloms re.; sent10 -> int3: if the daredevil is not sepulchral then it clatters.; sent14 & sent3 -> int4: the fact that the daredevil is not sepulchral hold.; int3 & int4 -> int5: the fact that the daredevil clatters hold.; int2 & int5 -> hypothesis;
that the daredevil gloms re and it is a clatter is not correct.
$hypothesis$ = the daredevil does glom re and it does clatter. ; $context$ = sent1: the sipunculid is a wraparound if the fact that the icetray does appropriate balsam is true. sent2: there exists something such that it is not a going. sent3: the daredevil is not testamentary but a Hazardia. sent4: the supercargo is a veloute but it is not a going. sent5: the supercargo is a veloute. sent6: the Luger is not a kind of a Hazardia if something that is not testamentary does not power. sent7: if there exists something such that it is a Hazardia and it is not a going the daredevil gloms re. sent8: the machicolation does glom re and it is prognathous. sent9: the wag is a kind of a going but it is not a syndicate. sent10: something is a clatter if it is not sepulchral. sent11: if the Luger is testamentary the nucleon is not sepulchral but it is a Hazardia. sent12: something is both a veloute and a going. sent13: if the nucleon is not sepulchral then that the daredevil gloms re and is a clatter does not hold. sent14: if the daredevil is both not testamentary and a Hazardia it is not sepulchral. sent15: the daredevil is unstoppable. sent16: if there exists something such that it is a kind of a veloute and it does not go the daredevil does glom re. sent17: the daredevil is a Hazardia. sent18: if something is not a Hazardia it is sepulchral and it does clatter. sent19: the icetray does appropriate balsam if the blue is a kind of a consumptive. sent20: something is a kind of a veloute if it does glom re. sent21: if that the blue does subtilize lighted is true then it is a consumptive. sent22: the daredevil is a veloute if the nucleon is a veloute. sent23: the chipmunk is a clatter. sent24: the re is both not testamentary and not a power. sent25: there is something such that the fact that it is a kind of a veloute is true. ; $proof$ = 
sent4 -> int1: there is something such that it is a kind of a veloute and it is non-going.; int1 & sent16 -> int2: the daredevil gloms re.; sent10 -> int3: if the daredevil is not sepulchral then it clatters.; sent14 & sent3 -> int4: the fact that the daredevil is not sepulchral hold.; int3 & int4 -> int5: the fact that the daredevil clatters hold.; int2 & int5 -> hypothesis; __PROVED__