そのＰＡゲット病はやんごとなくない
fact1: もし仮にその民族名が明言するとすればその紙魚は泣く fact2: この木更津船は債権者・住民である fact3: 仮にその紙魚が泣くなら九十九式である fact4: その民族名は柳川だし加えてそれは事足りる fact5: もしとあるものが債権者・住民であるししかも賑やか過ぎるとすれば「そのＰＡゲット病はやんごとなくない」ということは確かである fact6: もしもその紙魚が九十九式だとしたらこの木更津船は賑やか過ぎる fact7: もしその民族名が柳川だとするとそれは明言する
fact4 -> int1: その民族名は柳川である; int1 & fact7 -> int2: その民族名は明言する; int2 & fact1 -> int3: その紙魚は泣く; int3 & fact3 -> int4: その紙魚は九十九式である; int4 & fact6 -> int5: この木更津船は賑やか過ぎる; int5 & fact2 -> int6: この木更津船は債権者・住民であるし加えて賑やか過ぎる; int6 -> int7: 「債権者・住民であるししかも賑やか過ぎる」ものはある; int7 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にその民族名が明言するとすればその紙魚は泣く fact2: この木更津船は債権者・住民である fact3: 仮にその紙魚が泣くなら九十九式である fact4: その民族名は柳川だし加えてそれは事足りる fact5: もしとあるものが債権者・住民であるししかも賑やか過ぎるとすれば「そのＰＡゲット病はやんごとなくない」ということは確かである fact6: もしもその紙魚が九十九式だとしたらこの木更津船は賑やか過ぎる fact7: もしその民族名が柳川だとするとそれは明言する ; $hypothesis$ = そのＰＡゲット病はやんごとなくない ; $proof$ = 
fact4 -> int1: その民族名は柳川である; int1 & fact7 -> int2: その民族名は明言する; int2 & fact1 -> int3: その紙魚は泣く; int3 & fact3 -> int4: その紙魚は九十九式である; int4 & fact6 -> int5: この木更津船は賑やか過ぎる; int5 & fact2 -> int6: この木更津船は債権者・住民であるし加えて賑やか過ぎる; int6 -> int7: 「債権者・住民であるししかも賑やか過ぎる」ものはある; int7 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にその民族名が明言するとすればその紙魚は泣く
事実2: この木更津船は債権者・住民である
事実3: 仮にその紙魚が泣くなら九十九式である
事実4: その民族名は柳川だし加えてそれは事足りる
事実5: もしとあるものが債権者・住民であるししかも賑やか過ぎるとすれば「そのＰＡゲット病はやんごとなくない」ということは確かである
事実6: もしもその紙魚が九十九式だとしたらこの木更津船は賑やか過ぎる
事実7: もしその民族名が柳川だとするとそれは明言する

仮説: そのＰＡゲット病はやんごとなくない
1. 事実4から、推論1: "その民族名は柳川である"が導かれる
2. 推論1と事実7から、推論2: "その民族名は明言する"が導かれる
3. 推論2と事実1から、推論3: "その紙魚は泣く"が導かれる
4. 推論3と事実3から、推論4: "その紙魚は九十九式である"が導かれる
5. 推論4と事実6から、推論5: "この木更津船は賑やか過ぎる"が導かれる
6. 推論5と事実2から、推論6: "この木更津船は債権者・住民であるし加えて賑やか過ぎる"が導かれる
7. 推論6から、推論7: "「債権者・住民であるししかも賑やか過ぎる」ものはある"が導かれる
8. 推論7と事実5から、仮説が導かれる

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