the stapler is a percussionist.
sent1: if there is something such that that it is both bibliographic and a Gehrig is not right the walkie-talkie is a rootlet. sent2: if the walkie-talkie is a rootlet then the stapler shillyshallies birdfeeder. sent3: the fact that the acinus is a kind of bibliographic a Gehrig is false. sent4: if something is not a kind of a rootlet and it does not shillyshally birdfeeder then it is not a percussionist. sent5: something is a kind of a percussionist if it does shillyshally birdfeeder.
sent3 -> int1: there exists something such that that it is a kind of bibliographic thing that is a Gehrig is incorrect.; int1 & sent1 -> int2: the walkie-talkie is a kind of a rootlet.; int2 & sent2 -> int3: the stapler shillyshallies birdfeeder.; sent5 -> int4: the fact that the stapler is a kind of a percussionist hold if it shillyshallies birdfeeder.; int3 & int4 -> hypothesis;
the stapler is not a kind of a percussionist.
sent4 -> int5: if the stapler is not a rootlet and it does not shillyshally birdfeeder then it is not a percussionist.;
$hypothesis$ = the stapler is a percussionist. ; $context$ = sent1: if there is something such that that it is both bibliographic and a Gehrig is not right the walkie-talkie is a rootlet. sent2: if the walkie-talkie is a rootlet then the stapler shillyshallies birdfeeder. sent3: the fact that the acinus is a kind of bibliographic a Gehrig is false. sent4: if something is not a kind of a rootlet and it does not shillyshally birdfeeder then it is not a percussionist. sent5: something is a kind of a percussionist if it does shillyshally birdfeeder. ; $proof$ = 
sent3 -> int1: there exists something such that that it is a kind of bibliographic thing that is a Gehrig is incorrect.; int1 & sent1 -> int2: the walkie-talkie is a kind of a rootlet.; int2 & sent2 -> int3: the stapler shillyshallies birdfeeder.; sent5 -> int4: the fact that the stapler is a kind of a percussionist hold if it shillyshallies birdfeeder.; int3 & int4 -> hypothesis; __PROVED__