この雲丹丼は後詰めであるということはない
fact1: 「あのＢ点は疚しくなくて成り易くない」ということは嘘であるとしたらあの女盛りは仄聞する fact2: 何らかの物が一般歳出でないとすれば認識し始めるし更にそれは目敏い fact3: もしあの暑気払いが目敏いならこの雲丹丼は後詰めでない fact4: もしもなにかは仄聞するなら後詰めだ fact5: もしもあの女盛りが仄聞するとするとあの暑気払いは目敏い fact6: 目敏い物は仄聞する fact7: すべては認識し始める fact8: それは疚しくなくてその上それは成り易くないという物はない
fact8 -> int1: 「あのＢ点は疚しくなくてそれに成り易くない」ということは成り立つということはない; int1 & fact1 -> int2: あの女盛りは仄聞する; int2 & fact5 -> int3: あの暑気払いは目敏い; int3 & fact3 -> hypothesis;
この雲丹丼は疚しくない
fact9 -> int4: この状況等は認識し始める;
$facts$ = fact1: 「あのＢ点は疚しくなくて成り易くない」ということは嘘であるとしたらあの女盛りは仄聞する fact2: 何らかの物が一般歳出でないとすれば認識し始めるし更にそれは目敏い fact3: もしあの暑気払いが目敏いならこの雲丹丼は後詰めでない fact4: もしもなにかは仄聞するなら後詰めだ fact5: もしもあの女盛りが仄聞するとするとあの暑気払いは目敏い fact6: 目敏い物は仄聞する fact7: すべては認識し始める fact8: それは疚しくなくてその上それは成り易くないという物はない ; $hypothesis$ = この雲丹丼は後詰めであるということはない ; $proof$ = 
fact8 -> int1: 「あのＢ点は疚しくなくてそれに成り易くない」ということは成り立つということはない; int1 & fact1 -> int2: あの女盛りは仄聞する; int2 & fact5 -> int3: あの暑気払いは目敏い; int3 & fact3 -> hypothesis; __PROVED__
事実1: 「あのＢ点は疚しくなくて成り易くない」ということは嘘であるとしたらあの女盛りは仄聞する
事実2: 何らかの物が一般歳出でないとすれば認識し始めるし更にそれは目敏い
事実3: もしあの暑気払いが目敏いならこの雲丹丼は後詰めでない
事実4: もしもなにかは仄聞するなら後詰めだ
事実5: もしもあの女盛りが仄聞するとするとあの暑気払いは目敏い
事実6: 目敏い物は仄聞する
事実7: すべては認識し始める
事実8: それは疚しくなくてその上それは成り易くないという物はない

仮説: この雲丹丼は後詰めであるということはない
1. 事実8から、推論1: "「あのＢ点は疚しくなくてそれに成り易くない」ということは成り立つということはない"が導かれる
2. 推論1と事実1から、推論2: "あの女盛りは仄聞する"が導かれる
3. 推論2と事実5から、推論3: "あの暑気払いは目敏い"が導かれる
4. 推論3と事実3から、仮説が導かれる

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