その節前線維はレストレイナーだ
fact1: 悪賢い物はレストレイナーでない fact2: あの退職給与引き当て金は諦め掛けない fact3: どれもこれもは悪賢い
fact3 -> int1: その節前線維は悪賢い; fact1 -> int2: もしも「その節前線維は悪賢い」ということは事実であるとしたらそれはレストレイナーでない; int1 & int2 -> hypothesis;
$facts$ = fact1: 悪賢い物はレストレイナーでない fact2: あの退職給与引き当て金は諦め掛けない fact3: どれもこれもは悪賢い ; $hypothesis$ = その節前線維はレストレイナーだ ; $proof$ = 
fact3 -> int1: その節前線維は悪賢い; fact1 -> int2: もしも「その節前線維は悪賢い」ということは事実であるとしたらそれはレストレイナーでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 悪賢い物はレストレイナーでない
事実2: あの退職給与引き当て金は諦め掛けない
事実3: どれもこれもは悪賢い

仮説: その節前線維はレストレイナーだ
1. 事実3から、推論1: "その節前線維は悪賢い"が導かれる
2. 事実1から、推論2: "もしも「その節前線維は悪賢い」ということは事実であるとしたらそれはレストレイナーでない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。