「その発言者は進水するしおまけに額装する」ということは真実だ
fact1: この蛋白石が難詰しないならそれは甲斐甲斐しくて更に剣法だ fact2: この蛋白石は仮払い金であるしかつそそっかしい fact3: もし何かは仮払い金でないなら「進水するし更に額装する」ということは誤っている fact4: その発言者は剣法だ fact5: この蛋白石は仮払い金である fact6: もし仮にこの蛋白石がそそっかしいとしたらその発言者は進水する fact7: 「その発言者は甲斐甲斐しいということはない」ということは誤りでないならそれは額装するしそれに剣法である fact8: あの御精神は寒々しくてさらにそれは悍ましい fact9: この蛋白石は進水するということはない fact10: その発言者は甲斐甲斐しかない fact11: その発言者は別居状態であるしそれはそそっかしい fact12: 「もし仮になにがしかの物は剣法であるとすると「それはそそっかしくないが仮払い金である」ということは誤っている」ということは成り立つ fact13: この蛋白石が額装しないとすればそれは仮払い金であるしそれは甲斐甲斐しい fact14: この蛋白石は岩山基地でまた昼夜逆転する fact15: もし仮にその発言者が甲斐甲斐しかないならそれは剣法である
fact2 -> int1: この蛋白石はそそっかしい; int1 & fact6 -> int2: 「その発言者は進水する」ということは事実だ; fact7 & fact10 -> int3: その発言者は額装するし剣法である; int3 -> int4: その発言者は額装する; int2 & int4 -> hypothesis;
「その発言者は進水するし額装する」ということは誤りだ
fact18 -> int5: もし「その発言者は仮払い金である」ということは成り立つということはないとしたら「それは進水するし更に額装する」ということは成り立たない; fact16 -> int6: もしもこの蛋白石は剣法なら「それはそそっかしくなくてしかもそれは仮払い金である」ということは偽である;
$facts$ = fact1: この蛋白石が難詰しないならそれは甲斐甲斐しくて更に剣法だ fact2: この蛋白石は仮払い金であるしかつそそっかしい fact3: もし何かは仮払い金でないなら「進水するし更に額装する」ということは誤っている fact4: その発言者は剣法だ fact5: この蛋白石は仮払い金である fact6: もし仮にこの蛋白石がそそっかしいとしたらその発言者は進水する fact7: 「その発言者は甲斐甲斐しいということはない」ということは誤りでないならそれは額装するしそれに剣法である fact8: あの御精神は寒々しくてさらにそれは悍ましい fact9: この蛋白石は進水するということはない fact10: その発言者は甲斐甲斐しかない fact11: その発言者は別居状態であるしそれはそそっかしい fact12: 「もし仮になにがしかの物は剣法であるとすると「それはそそっかしくないが仮払い金である」ということは誤っている」ということは成り立つ fact13: この蛋白石が額装しないとすればそれは仮払い金であるしそれは甲斐甲斐しい fact14: この蛋白石は岩山基地でまた昼夜逆転する fact15: もし仮にその発言者が甲斐甲斐しかないならそれは剣法である ; $hypothesis$ = 「その発言者は進水するしおまけに額装する」ということは真実だ ; $proof$ = 
fact2 -> int1: この蛋白石はそそっかしい; int1 & fact6 -> int2: 「その発言者は進水する」ということは事実だ; fact7 & fact10 -> int3: その発言者は額装するし剣法である; int3 -> int4: その発言者は額装する; int2 & int4 -> hypothesis; __PROVED__
事実1: この蛋白石が難詰しないならそれは甲斐甲斐しくて更に剣法だ
事実2: この蛋白石は仮払い金であるしかつそそっかしい
事実3: もし何かは仮払い金でないなら「進水するし更に額装する」ということは誤っている
事実4: その発言者は剣法だ
事実5: この蛋白石は仮払い金である
事実6: もし仮にこの蛋白石がそそっかしいとしたらその発言者は進水する
事実7: 「その発言者は甲斐甲斐しいということはない」ということは誤りでないならそれは額装するしそれに剣法である
事実8: あの御精神は寒々しくてさらにそれは悍ましい
事実9: この蛋白石は進水するということはない
事実10: その発言者は甲斐甲斐しかない
事実11: その発言者は別居状態であるしそれはそそっかしい
事実12: 「もし仮になにがしかの物は剣法であるとすると「それはそそっかしくないが仮払い金である」ということは誤っている」ということは成り立つ
事実13: この蛋白石が額装しないとすればそれは仮払い金であるしそれは甲斐甲斐しい
事実14: この蛋白石は岩山基地でまた昼夜逆転する
事実15: もし仮にその発言者が甲斐甲斐しかないならそれは剣法である

仮説: 「その発言者は進水するしおまけに額装する」ということは真実だ
1. 事実2から、推論1: "この蛋白石はそそっかしい"が導かれる
2. 推論1と事実6から、推論2: "「その発言者は進水する」ということは事実だ"が導かれる
3. 事実7と事実10から、推論3: "その発言者は額装するし剣法である"が導かれる
4. 推論3から、推論4: "その発言者は額装する"が導かれる
5. 推論2と推論4から、仮説が導かれる

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