このプロ雀士は日本出版販売だということはない
fact1: 頼もしいものは日本出版販売だということはない fact2: もしも「この八十五パーセント未満はくっ付けないしまた結婚すらない」ということは成り立たないならばあのプロ雀士は結婚すらない fact3: もし仮に「ある物は御願い申し上げるが頼もしくない」ということは誤りならそれは日本出版販売でない fact4: 「なにがしかのものは拉致するが頼もしくない」ということは成り立つということはないとすれば御願い申し上げない fact5: 仮にこのプロ雀士が頼もしいとすればそれは日本出版販売でない fact6: なにかは結婚すらないならば「それは拉致しなくて更に日本出版販売でない」ということは誤りだ fact7: もし仮になにがしかのものは歩き難いとすると「くっ付けないし結婚すらない」ということは誤っている fact8: このプロ雀士は完済である fact9: もし仮にこの八十五パーセント未満が知らせ合わないとしたら可愛がる fact10: もしこの八十五パーセント未満は拉致するなら「このプロ雀士は御願い申し上げる一方で頼もしいということはない」ということは間違っている fact11: 「「くっ付けない」ということは事実な」ものはある fact12: 「このプロ雀士は御願い申し上げるしかつ頼もしい」ということは偽だ fact13: この八十五パーセント未満は拉致する fact14: この八十五パーセント未満は拉致すれば「このプロ雀士は御願い申し上げるしそれに頼もしい」ということは誤っている fact15: 「この八十五パーセント未満は頼もしくない」ということは成り立たない fact16: なんらかの物が可愛がるとすれば歩き難い fact17: もし「このプロ雀士は拉致するがしかし御願い申し上げない」ということは事実と異なるとすればそれは頼もしくない fact18: もし仮に「この八十五パーセント未満は拉致するが御願い申し上げない」ということは成り立たないならそれは日本出版販売でない
fact10 & fact13 -> int1: 「このプロ雀士は御願い申し上げるけれど頼もしいということはない」ということは偽だ; fact3 -> int2: もし仮に「このプロ雀士は御願い申し上げる一方でそれは頼もしくない」ということは成り立たないとするとそれは日本出版販売でない; int1 & int2 -> hypothesis;
このプロ雀士は日本出版販売だ
fact22 -> int3: もしもこのプロ雀士は結婚すらないとすると「拉致しないしそれは日本出版販売でない」ということは誤りだ; fact19 -> int4: もしこの八十五パーセント未満は歩き難いとしたら「それはくっ付けるということはなくてかつそれは結婚すということはない」ということは間違いである; fact21 -> int5: もしこの八十五パーセント未満が可愛がるとすれば歩き難い;
$facts$ = fact1: 頼もしいものは日本出版販売だということはない fact2: もしも「この八十五パーセント未満はくっ付けないしまた結婚すらない」ということは成り立たないならばあのプロ雀士は結婚すらない fact3: もし仮に「ある物は御願い申し上げるが頼もしくない」ということは誤りならそれは日本出版販売でない fact4: 「なにがしかのものは拉致するが頼もしくない」ということは成り立つということはないとすれば御願い申し上げない fact5: 仮にこのプロ雀士が頼もしいとすればそれは日本出版販売でない fact6: なにかは結婚すらないならば「それは拉致しなくて更に日本出版販売でない」ということは誤りだ fact7: もし仮になにがしかのものは歩き難いとすると「くっ付けないし結婚すらない」ということは誤っている fact8: このプロ雀士は完済である fact9: もし仮にこの八十五パーセント未満が知らせ合わないとしたら可愛がる fact10: もしこの八十五パーセント未満は拉致するなら「このプロ雀士は御願い申し上げる一方で頼もしいということはない」ということは間違っている fact11: 「「くっ付けない」ということは事実な」ものはある fact12: 「このプロ雀士は御願い申し上げるしかつ頼もしい」ということは偽だ fact13: この八十五パーセント未満は拉致する fact14: この八十五パーセント未満は拉致すれば「このプロ雀士は御願い申し上げるしそれに頼もしい」ということは誤っている fact15: 「この八十五パーセント未満は頼もしくない」ということは成り立たない fact16: なんらかの物が可愛がるとすれば歩き難い fact17: もし「このプロ雀士は拉致するがしかし御願い申し上げない」ということは事実と異なるとすればそれは頼もしくない fact18: もし仮に「この八十五パーセント未満は拉致するが御願い申し上げない」ということは成り立たないならそれは日本出版販売でない ; $hypothesis$ = このプロ雀士は日本出版販売だということはない ; $proof$ = 
fact10 & fact13 -> int1: 「このプロ雀士は御願い申し上げるけれど頼もしいということはない」ということは偽だ; fact3 -> int2: もし仮に「このプロ雀士は御願い申し上げる一方でそれは頼もしくない」ということは成り立たないとするとそれは日本出版販売でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 頼もしいものは日本出版販売だということはない
事実2: もしも「この八十五パーセント未満はくっ付けないしまた結婚すらない」ということは成り立たないならばあのプロ雀士は結婚すらない
事実3: もし仮に「ある物は御願い申し上げるが頼もしくない」ということは誤りならそれは日本出版販売でない
事実4: 「なにがしかのものは拉致するが頼もしくない」ということは成り立つということはないとすれば御願い申し上げない
事実5: 仮にこのプロ雀士が頼もしいとすればそれは日本出版販売でない
事実6: なにかは結婚すらないならば「それは拉致しなくて更に日本出版販売でない」ということは誤りだ
事実7: もし仮になにがしかのものは歩き難いとすると「くっ付けないし結婚すらない」ということは誤っている
事実8: このプロ雀士は完済である
事実9: もし仮にこの八十五パーセント未満が知らせ合わないとしたら可愛がる
事実10: もしこの八十五パーセント未満は拉致するなら「このプロ雀士は御願い申し上げる一方で頼もしいということはない」ということは間違っている
事実11: 「「くっ付けない」ということは事実な」ものはある
事実12: 「このプロ雀士は御願い申し上げるしかつ頼もしい」ということは偽だ
事実13: この八十五パーセント未満は拉致する
事実14: この八十五パーセント未満は拉致すれば「このプロ雀士は御願い申し上げるしそれに頼もしい」ということは誤っている
事実15: 「この八十五パーセント未満は頼もしくない」ということは成り立たない
事実16: なんらかの物が可愛がるとすれば歩き難い
事実17: もし「このプロ雀士は拉致するがしかし御願い申し上げない」ということは事実と異なるとすればそれは頼もしくない
事実18: もし仮に「この八十五パーセント未満は拉致するが御願い申し上げない」ということは成り立たないならそれは日本出版販売でない

仮説: このプロ雀士は日本出版販売だということはない
1. 事実10と事実13から、推論1: "「このプロ雀士は御願い申し上げるけれど頼もしいということはない」ということは偽だ"が導かれる
2. 事実3から、推論2: "もし仮に「このプロ雀士は御願い申し上げる一方でそれは頼もしくない」ということは成り立たないとするとそれは日本出版販売でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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