その三郎は御分かれするし更に茶色い
fact1: 仮にそのサンドバッグが毛深いということはないならその三郎は阿呆らしいしさらに御分かれする fact2: そのサンドバッグはバイブルだしさらに和英語林集成だ fact3: もしもなにがしかのものは疑義照会するけれど大島中将でないなら毛深くない fact4: もし仮になにがしかの物はバイブルであるとしたら「それは疑義照会しない」ということは成り立つということはない fact5: その三郎は茶色くて加えて見易い fact6: そのサンドバッグは辞職するが大島中将でない
fact4 -> int1: もしそのサンドバッグはバイブルであるならそれは疑義照会する; fact2 -> int2: そのサンドバッグはバイブルである; int1 & int2 -> int3: そのサンドバッグは疑義照会する; fact6 -> int4: そのサンドバッグは大島中将だということはない; int3 & int4 -> int5: そのサンドバッグは疑義照会するけど大島中将でない; fact3 -> int6: そのサンドバッグが疑義照会するがしかし大島中将でないとしたらそれは毛深いということはない; int5 & int6 -> int7: そのサンドバッグは毛深くない; int7 & fact1 -> int8: その三郎は阿呆らしいしおまけに御分かれする; int8 -> int9: その三郎は御分かれする; fact5 -> int10: その三郎は茶色い; int9 & int10 -> hypothesis;
$facts$ = fact1: 仮にそのサンドバッグが毛深いということはないならその三郎は阿呆らしいしさらに御分かれする fact2: そのサンドバッグはバイブルだしさらに和英語林集成だ fact3: もしもなにがしかのものは疑義照会するけれど大島中将でないなら毛深くない fact4: もし仮になにがしかの物はバイブルであるとしたら「それは疑義照会しない」ということは成り立つということはない fact5: その三郎は茶色くて加えて見易い fact6: そのサンドバッグは辞職するが大島中将でない ; $hypothesis$ = その三郎は御分かれするし更に茶色い ; $proof$ = 
fact4 -> int1: もしそのサンドバッグはバイブルであるならそれは疑義照会する; fact2 -> int2: そのサンドバッグはバイブルである; int1 & int2 -> int3: そのサンドバッグは疑義照会する; fact6 -> int4: そのサンドバッグは大島中将だということはない; int3 & int4 -> int5: そのサンドバッグは疑義照会するけど大島中将でない; fact3 -> int6: そのサンドバッグが疑義照会するがしかし大島中将でないとしたらそれは毛深いということはない; int5 & int6 -> int7: そのサンドバッグは毛深くない; int7 & fact1 -> int8: その三郎は阿呆らしいしおまけに御分かれする; int8 -> int9: その三郎は御分かれする; fact5 -> int10: その三郎は茶色い; int9 & int10 -> hypothesis; __PROVED__
事実1: 仮にそのサンドバッグが毛深いということはないならその三郎は阿呆らしいしさらに御分かれする
事実2: そのサンドバッグはバイブルだしさらに和英語林集成だ
事実3: もしもなにがしかのものは疑義照会するけれど大島中将でないなら毛深くない
事実4: もし仮になにがしかの物はバイブルであるとしたら「それは疑義照会しない」ということは成り立つということはない
事実5: その三郎は茶色くて加えて見易い
事実6: そのサンドバッグは辞職するが大島中将でない

仮説: その三郎は御分かれするし更に茶色い
1. 事実4から、推論1: "もしそのサンドバッグはバイブルであるならそれは疑義照会する"が導かれる
2. 事実2から、推論2: "そのサンドバッグはバイブルである"が導かれる
3. 推論1と推論2から、推論3: "そのサンドバッグは疑義照会する"が導かれる
4. 事実6から、推論4: "そのサンドバッグは大島中将だということはない"が導かれる
5. 推論3と推論4から、推論5: "そのサンドバッグは疑義照会するけど大島中将でない"が導かれる
6. 事実3から、推論6: "そのサンドバッグが疑義照会するがしかし大島中将でないとしたらそれは毛深いということはない"が導かれる
7. 推論5と推論6から、推論7: "そのサンドバッグは毛深くない"が導かれる
8. 推論7と事実1から、推論8: "その三郎は阿呆らしいしおまけに御分かれする"が導かれる
9. 推論8から、推論9: "その三郎は御分かれする"が導かれる
10. 事実5から、推論10: "その三郎は茶色い"が導かれる
11. 推論9と推論10から、仮説が導かれる

よって、仮説が証明されました。