あのＷＦＰは接種する
fact1: もしなにかは疑い始めないとすれば清書しない fact2: もしもあの周遊券が流され易いとすればあのＷＦＰは流され易い fact3: もしも何らかの物は洗濯板でないならばそれは疑い始めるということはない fact4: 「流され易い」物はある fact5: もし何らかの物が吸い込まないとしたら掛け難くない fact6: もし仮にあのＷＦＰは信者層でないならばそれは検診するということはない fact7: もし仮にあのＷＦＰは達意でないなら流され易くない fact8: あのＷＦＰは寒い fact9: 仮になにかは寒くないとすれば「それは接種するしそれは流され易い」ということは成り立たない fact10: もし仮に「あの周遊券は接種するしさらに流され易い」ということは嘘であるならばあのＷＦＰは接種しない fact11: もしも「流され易い」ものがあるならあのＷＦＰは寒いけれど洗濯板でない fact12: もし「請来目録である」物があればあのＷＦＰは賃金率である一方で清書するということはない fact13: 仮にあの市場経済システムが清書するということはないとしたらあの周遊券は洗濯板でないかあるいは疑い始めないかもしくはどちらもである fact14: 「あのＷＦＰは清書しない」ということは真実だ fact15: 「「正常副腎である」ということは事実な」ものはある fact16: 仮に「流され易い」物はあるなら「あのＷＦＰは寒い」ということは誤りでない fact17: もし仮になにかは神がかるということはないとすると出難くなくておまけにそれは敬う fact18: もし仮になにかは疑い始めないとしたらそれは清書しないがしかし接種する fact19: あのＷＦＰは頼り無くない一方で根治出来る fact20: もしあのＷＦＰが疑い始めないとしたらそれは清書しない
fact4 & fact11 -> int1: あのＷＦＰは寒いけど洗濯板でない; int1 -> int2: あのＷＦＰは洗濯板でない; fact3 -> int3: もしあのＷＦＰは洗濯板でないとするとそれは疑い始めない; int2 & int3 -> int4: あのＷＦＰは疑い始めない; fact18 -> int5: あのＷＦＰが疑い始めるということはないとしたらそれは清書するということはないけど接種する; int4 & int5 -> int6: あのＷＦＰは清書しないがしかし接種する; int6 -> hypothesis;
あのＷＦＰは接種しない
fact23 -> int7: もしもあの周遊券は寒くないとすると「接種するしそれは流され易い」ということは誤りだ;
$facts$ = fact1: もしなにかは疑い始めないとすれば清書しない fact2: もしもあの周遊券が流され易いとすればあのＷＦＰは流され易い fact3: もしも何らかの物は洗濯板でないならばそれは疑い始めるということはない fact4: 「流され易い」物はある fact5: もし何らかの物が吸い込まないとしたら掛け難くない fact6: もし仮にあのＷＦＰは信者層でないならばそれは検診するということはない fact7: もし仮にあのＷＦＰは達意でないなら流され易くない fact8: あのＷＦＰは寒い fact9: 仮になにかは寒くないとすれば「それは接種するしそれは流され易い」ということは成り立たない fact10: もし仮に「あの周遊券は接種するしさらに流され易い」ということは嘘であるならばあのＷＦＰは接種しない fact11: もしも「流され易い」ものがあるならあのＷＦＰは寒いけれど洗濯板でない fact12: もし「請来目録である」物があればあのＷＦＰは賃金率である一方で清書するということはない fact13: 仮にあの市場経済システムが清書するということはないとしたらあの周遊券は洗濯板でないかあるいは疑い始めないかもしくはどちらもである fact14: 「あのＷＦＰは清書しない」ということは真実だ fact15: 「「正常副腎である」ということは事実な」ものはある fact16: 仮に「流され易い」物はあるなら「あのＷＦＰは寒い」ということは誤りでない fact17: もし仮になにかは神がかるということはないとすると出難くなくておまけにそれは敬う fact18: もし仮になにかは疑い始めないとしたらそれは清書しないがしかし接種する fact19: あのＷＦＰは頼り無くない一方で根治出来る fact20: もしあのＷＦＰが疑い始めないとしたらそれは清書しない ; $hypothesis$ = あのＷＦＰは接種する ; $proof$ = 
fact4 & fact11 -> int1: あのＷＦＰは寒いけど洗濯板でない; int1 -> int2: あのＷＦＰは洗濯板でない; fact3 -> int3: もしあのＷＦＰは洗濯板でないとするとそれは疑い始めない; int2 & int3 -> int4: あのＷＦＰは疑い始めない; fact18 -> int5: あのＷＦＰが疑い始めるということはないとしたらそれは清書するということはないけど接種する; int4 & int5 -> int6: あのＷＦＰは清書しないがしかし接種する; int6 -> hypothesis; __PROVED__
事実1: もしなにかは疑い始めないとすれば清書しない
事実2: もしもあの周遊券が流され易いとすればあのＷＦＰは流され易い
事実3: もしも何らかの物は洗濯板でないならばそれは疑い始めるということはない
事実4: 「流され易い」物はある
事実5: もし何らかの物が吸い込まないとしたら掛け難くない
事実6: もし仮にあのＷＦＰは信者層でないならばそれは検診するということはない
事実7: もし仮にあのＷＦＰは達意でないなら流され易くない
事実8: あのＷＦＰは寒い
事実9: 仮になにかは寒くないとすれば「それは接種するしそれは流され易い」ということは成り立たない
事実10: もし仮に「あの周遊券は接種するしさらに流され易い」ということは嘘であるならばあのＷＦＰは接種しない
事実11: もしも「流され易い」ものがあるならあのＷＦＰは寒いけれど洗濯板でない
事実12: もし「請来目録である」物があればあのＷＦＰは賃金率である一方で清書するということはない
事実13: 仮にあの市場経済システムが清書するということはないとしたらあの周遊券は洗濯板でないかあるいは疑い始めないかもしくはどちらもである
事実14: 「あのＷＦＰは清書しない」ということは真実だ
事実15: 「「正常副腎である」ということは事実な」ものはある
事実16: 仮に「流され易い」物はあるなら「あのＷＦＰは寒い」ということは誤りでない
事実17: もし仮になにかは神がかるということはないとすると出難くなくておまけにそれは敬う
事実18: もし仮になにかは疑い始めないとしたらそれは清書しないがしかし接種する
事実19: あのＷＦＰは頼り無くない一方で根治出来る
事実20: もしあのＷＦＰが疑い始めないとしたらそれは清書しない

仮説: あのＷＦＰは接種する
1. 事実4と事実11から、推論1: "あのＷＦＰは寒いけど洗濯板でない"が導かれる
2. 推論1から、推論2: "あのＷＦＰは洗濯板でない"が導かれる
3. 事実3から、推論3: "もしあのＷＦＰは洗濯板でないとするとそれは疑い始めない"が導かれる
4. 推論2と推論3から、推論4: "あのＷＦＰは疑い始めない"が導かれる
5. 事実18から、推論5: "あのＷＦＰが疑い始めるということはないとしたらそれは清書するということはないけど接種する"が導かれる
6. 推論4と推論5から、推論6: "あのＷＦＰは清書しないがしかし接種する"が導かれる
7. 推論6から、仮説が導かれる

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