あの捜査官は胸襟でない
fact1: もしもある物が御理解頂かないとすればそれは分配するし悪賢い fact2: 「御理解頂く」物はある fact3: このパフェは繰り出す fact4: 仮にある物が繰り出せば転げ落ちる fact5: 仮にこのパフェが転げ落ちるとしたらこの指導者側は突入する fact6: 仮になんらかの物は分配するし悪賢いとすれば胸襟でない fact7: あの捜査官は御理解頂く fact8: 悪賢くないものは胸襟であるし分配する fact9: 仮に「分配するし御理解頂く」ものがあるとすればこのパフェは加温する fact10: もしもこの指導者側は由々しいとしたら「その硬直は御理解頂くがそれは加温しない」ということは偽である fact11: なにがしかのものが突入するなら由々しい fact12: この指導者側は分配するしおまけに悪賢い fact13: この指導者側は悪賢い fact14: 全ての物は御理解頂く fact15: 「もし仮にこのパフェが加温するとしたらあの捜査官は胸襟だ」ということは本当である
fact12 -> int1: この指導者側は分配する; fact14 -> int2: この指導者側は御理解頂く; int1 & int2 -> int3: この指導者側は分配するしまた御理解頂く; int3 -> int4: とある物は分配するしそれは御理解頂く; int4 & fact9 -> int5: このパフェは加温する; int5 & fact15 -> hypothesis;
その硬直は胸襟である
fact16 -> int6: 仮にその硬直が悪賢くないならそれが胸襟だし分配する; fact19 -> int7: もしもこの指導者側が突入するとしたら由々しい; fact21 -> int8: このパフェが繰り出せば転げ落ちる; int8 & fact17 -> int9: このパフェは転げ落ちる; fact20 & int9 -> int10: この指導者側は突入する; int7 & int10 -> int11: この指導者側は由々しい; fact18 & int11 -> int12: 「その硬直は御理解頂くけど加温しない」ということは偽である;
$facts$ = fact1: もしもある物が御理解頂かないとすればそれは分配するし悪賢い fact2: 「御理解頂く」物はある fact3: このパフェは繰り出す fact4: 仮にある物が繰り出せば転げ落ちる fact5: 仮にこのパフェが転げ落ちるとしたらこの指導者側は突入する fact6: 仮になんらかの物は分配するし悪賢いとすれば胸襟でない fact7: あの捜査官は御理解頂く fact8: 悪賢くないものは胸襟であるし分配する fact9: 仮に「分配するし御理解頂く」ものがあるとすればこのパフェは加温する fact10: もしもこの指導者側は由々しいとしたら「その硬直は御理解頂くがそれは加温しない」ということは偽である fact11: なにがしかのものが突入するなら由々しい fact12: この指導者側は分配するしおまけに悪賢い fact13: この指導者側は悪賢い fact14: 全ての物は御理解頂く fact15: 「もし仮にこのパフェが加温するとしたらあの捜査官は胸襟だ」ということは本当である ; $hypothesis$ = あの捜査官は胸襟でない ; $proof$ = 
fact12 -> int1: この指導者側は分配する; fact14 -> int2: この指導者側は御理解頂く; int1 & int2 -> int3: この指導者側は分配するしまた御理解頂く; int3 -> int4: とある物は分配するしそれは御理解頂く; int4 & fact9 -> int5: このパフェは加温する; int5 & fact15 -> hypothesis; __DISPROVED__
事実1: もしもある物が御理解頂かないとすればそれは分配するし悪賢い
事実2: 「御理解頂く」物はある
事実3: このパフェは繰り出す
事実4: 仮にある物が繰り出せば転げ落ちる
事実5: 仮にこのパフェが転げ落ちるとしたらこの指導者側は突入する
事実6: 仮になんらかの物は分配するし悪賢いとすれば胸襟でない
事実7: あの捜査官は御理解頂く
事実8: 悪賢くないものは胸襟であるし分配する
事実9: 仮に「分配するし御理解頂く」ものがあるとすればこのパフェは加温する
事実10: もしもこの指導者側は由々しいとしたら「その硬直は御理解頂くがそれは加温しない」ということは偽である
事実11: なにがしかのものが突入するなら由々しい
事実12: この指導者側は分配するしおまけに悪賢い
事実13: この指導者側は悪賢い
事実14: 全ての物は御理解頂く
事実15: 「もし仮にこのパフェが加温するとしたらあの捜査官は胸襟だ」ということは本当である

仮説: あの捜査官は胸襟でない
1. 事実12から、推論1: "この指導者側は分配する"が導かれる
2. 事実14から、推論2: "この指導者側は御理解頂く"が導かれる
3. 推論1と推論2から、推論3: "この指導者側は分配するしまた御理解頂く"が導かれる
4. 推論3から、推論4: "とある物は分配するしそれは御理解頂く"が導かれる
5. 推論4と事実9から、推論5: "このパフェは加温する"が導かれる
6. 推論5と事実15から、仮説が否定される

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