この十進数は憤怒する
fact1: 「もし仮にそのメッセージダイジェスト番号がブラバスらしいならばその加減方法は年取らないしし尽くさない」ということは成り立つ fact2: 「そのメッセージダイジェスト番号はブラバスらしいしかつ十二航艦である」ということは偽だということはない fact3: ブラバスらしい物は十二航艦でないならそれは憤怒する fact4: その加減方法は冷め易くないしさらにし尽くさない fact5: もし仮に「年取らなくておまけにし尽くすということはない」物があるならばあの競技体操は署名押印だ fact6: 署名押印は白状するということはないし冷め易くない fact7: 仮に「その競技体操は白状しなくてしかもそれは冷め易くない」ということは事実であるとすれば「この十進数は憤怒するということはない」ということは真実である
fact2 -> int1: そのメッセージダイジェスト番号はブラバスらしい; int1 & fact1 -> int2: その加減方法は年取るということはないしかつし尽くさない; int2 -> int3: 何かは年取らないしそれにし尽くさない; int3 & fact5 -> int4: その競技体操は署名押印である; fact6 -> int5: もしその競技体操が署名押印だとすればそれは白状しないしそれにそれは冷め易くない; int4 & int5 -> int6: その競技体操は白状しなくてしかもそれは冷め易くない; int6 & fact7 -> hypothesis;
この十進数は憤怒する
fact8 -> int7: 仮にこの十進数はブラバスらしいが十二航艦でないとしたらそれは憤怒する;
$facts$ = fact1: 「もし仮にそのメッセージダイジェスト番号がブラバスらしいならばその加減方法は年取らないしし尽くさない」ということは成り立つ fact2: 「そのメッセージダイジェスト番号はブラバスらしいしかつ十二航艦である」ということは偽だということはない fact3: ブラバスらしい物は十二航艦でないならそれは憤怒する fact4: その加減方法は冷め易くないしさらにし尽くさない fact5: もし仮に「年取らなくておまけにし尽くすということはない」物があるならばあの競技体操は署名押印だ fact6: 署名押印は白状するということはないし冷め易くない fact7: 仮に「その競技体操は白状しなくてしかもそれは冷め易くない」ということは事実であるとすれば「この十進数は憤怒するということはない」ということは真実である ; $hypothesis$ = この十進数は憤怒する ; $proof$ = 
fact2 -> int1: そのメッセージダイジェスト番号はブラバスらしい; int1 & fact1 -> int2: その加減方法は年取るということはないしかつし尽くさない; int2 -> int3: 何かは年取らないしそれにし尽くさない; int3 & fact5 -> int4: その競技体操は署名押印である; fact6 -> int5: もしその競技体操が署名押印だとすればそれは白状しないしそれにそれは冷め易くない; int4 & int5 -> int6: その競技体操は白状しなくてしかもそれは冷め易くない; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: 「もし仮にそのメッセージダイジェスト番号がブラバスらしいならばその加減方法は年取らないしし尽くさない」ということは成り立つ
事実2: 「そのメッセージダイジェスト番号はブラバスらしいしかつ十二航艦である」ということは偽だということはない
事実3: ブラバスらしい物は十二航艦でないならそれは憤怒する
事実4: その加減方法は冷め易くないしさらにし尽くさない
事実5: もし仮に「年取らなくておまけにし尽くすということはない」物があるならばあの競技体操は署名押印だ
事実6: 署名押印は白状するということはないし冷め易くない
事実7: 仮に「その競技体操は白状しなくてしかもそれは冷め易くない」ということは事実であるとすれば「この十進数は憤怒するということはない」ということは真実である

仮説: この十進数は憤怒する
1. 事実2から、推論1: "そのメッセージダイジェスト番号はブラバスらしい"が導かれる
2. 推論1と事実1から、推論2: "その加減方法は年取るということはないしかつし尽くさない"が導かれる
3. 推論2から、推論3: "何かは年取らないしそれにし尽くさない"が導かれる
4. 推論3と事実5から、推論4: "その競技体操は署名押印である"が導かれる
5. 事実6から、推論5: "もしその競技体操が署名押印だとすればそれは白状しないしそれにそれは冷め易くない"が導かれる
6. 推論4と推論5から、推論6: "その競技体操は白状しなくてしかもそれは冷め易くない"が導かれる
7. 推論6と事実7から、仮説が否定される

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