その四．一は聞き辛いということはない
fact1: この脳機能は上場であるししかも第五特殊部隊群だ fact2: その胎児性癌は食い尽くす fact3: もしも何かは沈み掛けないしそれが二分するということはないならばそれは気忙しくない fact4: あの生存期間が気忙しくないならばあの四．一は気忙しいしそれに醜い fact5: もし仮に「とあるものは第五特殊部隊群でない」ということは確かだとすれば上場であるしおまけに聞き辛い fact6: もしもあるものが食い尽くせばそれは小部屋である fact7: その四．一は食い尽くす fact8: もしもこの脳機能が上場であるとしたらあの生存期間は食い尽くす fact9: 仮になにがしかのものは沈み掛けるがしかし二分しないとすると「それは気忙しくない」ということは偽でない fact10: もし第五特殊部隊群があるとしたらあの生存期間は沈み掛けないし更に二分しない fact11: あの生存期間は沈み掛けない fact12: もしその四．一は小部屋で気忙しいとしたら「それは聞き辛くない」ということは真実だ fact13: もしも「第五特殊部隊群な」ものはあるとしたら「あの生存期間は沈み掛けるということはない」ということは真実である
fact1 -> int1: この脳機能は第五特殊部隊群だ; int1 -> int2: 第五特殊部隊群はある; int2 & fact10 -> int3: あの生存期間は沈み掛けるということはないしおまけにそれは二分しない; fact3 -> int4: あの生存期間は沈み掛けるということはないし二分しないとすると「気忙しくない」ということは成り立つ; int3 & int4 -> int5: あの生存期間は気忙しくない; int5 & fact4 -> int6: その四．一は気忙しいしかつ醜い; int6 -> int7: その四．一は気忙しい; fact6 -> int8: もし仮にその四．一が食い尽くすとすればそれは小部屋である; fact7 & int8 -> int9: その四．一は小部屋だ; int7 & int9 -> int10: その四．一は小部屋であるしさらにそれは気忙しい; int10 & fact12 -> hypothesis;
あの生存期間は食い尽くす
$facts$ = fact1: この脳機能は上場であるししかも第五特殊部隊群だ fact2: その胎児性癌は食い尽くす fact3: もしも何かは沈み掛けないしそれが二分するということはないならばそれは気忙しくない fact4: あの生存期間が気忙しくないならばあの四．一は気忙しいしそれに醜い fact5: もし仮に「とあるものは第五特殊部隊群でない」ということは確かだとすれば上場であるしおまけに聞き辛い fact6: もしもあるものが食い尽くせばそれは小部屋である fact7: その四．一は食い尽くす fact8: もしもこの脳機能が上場であるとしたらあの生存期間は食い尽くす fact9: 仮になにがしかのものは沈み掛けるがしかし二分しないとすると「それは気忙しくない」ということは偽でない fact10: もし第五特殊部隊群があるとしたらあの生存期間は沈み掛けないし更に二分しない fact11: あの生存期間は沈み掛けない fact12: もしその四．一は小部屋で気忙しいとしたら「それは聞き辛くない」ということは真実だ fact13: もしも「第五特殊部隊群な」ものはあるとしたら「あの生存期間は沈み掛けるということはない」ということは真実である ; $hypothesis$ = その四．一は聞き辛いということはない ; $proof$ = 
fact1 -> int1: この脳機能は第五特殊部隊群だ; int1 -> int2: 第五特殊部隊群はある; int2 & fact10 -> int3: あの生存期間は沈み掛けるということはないしおまけにそれは二分しない; fact3 -> int4: あの生存期間は沈み掛けるということはないし二分しないとすると「気忙しくない」ということは成り立つ; int3 & int4 -> int5: あの生存期間は気忙しくない; int5 & fact4 -> int6: その四．一は気忙しいしかつ醜い; int6 -> int7: その四．一は気忙しい; fact6 -> int8: もし仮にその四．一が食い尽くすとすればそれは小部屋である; fact7 & int8 -> int9: その四．一は小部屋だ; int7 & int9 -> int10: その四．一は小部屋であるしさらにそれは気忙しい; int10 & fact12 -> hypothesis; __PROVED__
事実1: この脳機能は上場であるししかも第五特殊部隊群だ
事実2: その胎児性癌は食い尽くす
事実3: もしも何かは沈み掛けないしそれが二分するということはないならばそれは気忙しくない
事実4: あの生存期間が気忙しくないならばあの四．一は気忙しいしそれに醜い
事実5: もし仮に「とあるものは第五特殊部隊群でない」ということは確かだとすれば上場であるしおまけに聞き辛い
事実6: もしもあるものが食い尽くせばそれは小部屋である
事実7: その四．一は食い尽くす
事実8: もしもこの脳機能が上場であるとしたらあの生存期間は食い尽くす
事実9: 仮になにがしかのものは沈み掛けるがしかし二分しないとすると「それは気忙しくない」ということは偽でない
事実10: もし第五特殊部隊群があるとしたらあの生存期間は沈み掛けないし更に二分しない
事実11: あの生存期間は沈み掛けない
事実12: もしその四．一は小部屋で気忙しいとしたら「それは聞き辛くない」ということは真実だ
事実13: もしも「第五特殊部隊群な」ものはあるとしたら「あの生存期間は沈み掛けるということはない」ということは真実である

仮説: その四．一は聞き辛いということはない
1. 事実1から、推論1: "この脳機能は第五特殊部隊群だ"が導かれる
2. 推論1から、推論2: "第五特殊部隊群はある"が導かれる
3. 推論2と事実10から、推論3: "あの生存期間は沈み掛けるということはないしおまけにそれは二分しない"が導かれる
4. 事実3から、推論4: "あの生存期間は沈み掛けるということはないし二分しないとすると「気忙しくない」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "あの生存期間は気忙しくない"が導かれる
6. 推論5と事実4から、推論6: "その四．一は気忙しいしかつ醜い"が導かれる
7. 推論6から、推論7: "その四．一は気忙しい"が導かれる
8. 事実6から、推論8: "もし仮にその四．一が食い尽くすとすればそれは小部屋である"が導かれる
9. 事実7と推論8から、推論9: "その四．一は小部屋だ"が導かれる
10. 推論7と推論9から、推論10: "その四．一は小部屋であるしさらにそれは気忙しい"が導かれる
11. 推論10と事実12から、仮説が導かれる

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