このニュートラル・ボールポジションは楽しめるけれどそれは運行利益でない
fact1: もし仮に「あの川漁師は取っ付き難くないか配備するかどちらもである」ということは成り立たないならばその正常副甲状腺は配備する fact2: あの川漁師は寄り合うしさらに惑わす fact3: その正常副甲状腺は配備するし一息付ける fact4: もしなんらかのものが取っ付き難いとするとそれは渡せる fact5: 「その正常副甲状腺は配備する」ということは間違いでない fact6: 何らかの物は尽くさない fact7: もし仮にその正常副甲状腺が運行利益でないならあのＡＰＩは取っ付き難くなくてそれは渡せない fact8: もし仮に何かは取っ付き難くないとしたらそれは配備するしさらにそれは一息付ける fact9: 「尽くさない」物があればこのニュートラル・ボールポジションは嬉しいし刀水書房だ fact10: あの川漁師は惑わす fact11: 「尽くす」物はある fact12: その正常副甲状腺が一息付ければこのニュートラル・ボールポジションは取っ付き難い fact13: 「その正常副甲状腺は嬉しい」ということは真実だ fact14: その正常副甲状腺が楽しめるとすれば運行利益でなくてそれは寄り合う fact15: もし仮にこのニュートラル・ボールポジションが嬉しいならばそれは楽しめる fact16: もしもこのニュートラル・ボールポジションが渡せるし更に運行利益だとするとあの川漁師は寄り合うということはない fact17: 仮にこのニュートラル・ボールポジションが楽しめないとするとその正常副甲状腺は楽しめる
fact3 -> int1: その正常副甲状腺は一息付ける; int1 & fact12 -> int2: このニュートラル・ボールポジションは取っ付き難い; fact4 -> int3: もし「このニュートラル・ボールポジションは取っ付き難い」ということは正しいとすればそれは渡せる; int2 & int3 -> int4: このニュートラル・ボールポジションは渡せる; void -> assump1: 以下のように仮定する。このニュートラル・ボールポジションは運行利益だ; int4 & assump1 -> int5: このニュートラル・ボールポジションは渡せるし運行利益だ; int5 & fact16 -> int6: あの川漁師は寄り合わない; fact2 -> int7: あの川漁師は寄り合う; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「このニュートラル・ボールポジションは運行利益でない」ということは確かである; fact9 & fact6 -> int10: このニュートラル・ボールポジションは嬉しいししかもそれは刀水書房だ; int10 -> int11: このニュートラル・ボールポジションは嬉しい; fact15 & int11 -> int12: このニュートラル・ボールポジションは楽しめる; int9 & int12 -> hypothesis;
「このニュートラル・ボールポジションは楽しめるけどそれは運行利益でない」ということは成り立たない
$facts$ = fact1: もし仮に「あの川漁師は取っ付き難くないか配備するかどちらもである」ということは成り立たないならばその正常副甲状腺は配備する fact2: あの川漁師は寄り合うしさらに惑わす fact3: その正常副甲状腺は配備するし一息付ける fact4: もしなんらかのものが取っ付き難いとするとそれは渡せる fact5: 「その正常副甲状腺は配備する」ということは間違いでない fact6: 何らかの物は尽くさない fact7: もし仮にその正常副甲状腺が運行利益でないならあのＡＰＩは取っ付き難くなくてそれは渡せない fact8: もし仮に何かは取っ付き難くないとしたらそれは配備するしさらにそれは一息付ける fact9: 「尽くさない」物があればこのニュートラル・ボールポジションは嬉しいし刀水書房だ fact10: あの川漁師は惑わす fact11: 「尽くす」物はある fact12: その正常副甲状腺が一息付ければこのニュートラル・ボールポジションは取っ付き難い fact13: 「その正常副甲状腺は嬉しい」ということは真実だ fact14: その正常副甲状腺が楽しめるとすれば運行利益でなくてそれは寄り合う fact15: もし仮にこのニュートラル・ボールポジションが嬉しいならばそれは楽しめる fact16: もしもこのニュートラル・ボールポジションが渡せるし更に運行利益だとするとあの川漁師は寄り合うということはない fact17: 仮にこのニュートラル・ボールポジションが楽しめないとするとその正常副甲状腺は楽しめる ; $hypothesis$ = このニュートラル・ボールポジションは楽しめるけれどそれは運行利益でない ; $proof$ = 
fact3 -> int1: その正常副甲状腺は一息付ける; int1 & fact12 -> int2: このニュートラル・ボールポジションは取っ付き難い; fact4 -> int3: もし「このニュートラル・ボールポジションは取っ付き難い」ということは正しいとすればそれは渡せる; int2 & int3 -> int4: このニュートラル・ボールポジションは渡せる; void -> assump1: 以下のように仮定する。このニュートラル・ボールポジションは運行利益だ; int4 & assump1 -> int5: このニュートラル・ボールポジションは渡せるし運行利益だ; int5 & fact16 -> int6: あの川漁師は寄り合わない; fact2 -> int7: あの川漁師は寄り合う; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「このニュートラル・ボールポジションは運行利益でない」ということは確かである; fact9 & fact6 -> int10: このニュートラル・ボールポジションは嬉しいししかもそれは刀水書房だ; int10 -> int11: このニュートラル・ボールポジションは嬉しい; fact15 & int11 -> int12: このニュートラル・ボールポジションは楽しめる; int9 & int12 -> hypothesis; __PROVED__
事実1: もし仮に「あの川漁師は取っ付き難くないか配備するかどちらもである」ということは成り立たないならばその正常副甲状腺は配備する
事実2: あの川漁師は寄り合うしさらに惑わす
事実3: その正常副甲状腺は配備するし一息付ける
事実4: もしなんらかのものが取っ付き難いとするとそれは渡せる
事実5: 「その正常副甲状腺は配備する」ということは間違いでない
事実6: 何らかの物は尽くさない
事実7: もし仮にその正常副甲状腺が運行利益でないならあのＡＰＩは取っ付き難くなくてそれは渡せない
事実8: もし仮に何かは取っ付き難くないとしたらそれは配備するしさらにそれは一息付ける
事実9: 「尽くさない」物があればこのニュートラル・ボールポジションは嬉しいし刀水書房だ
事実10: あの川漁師は惑わす
事実11: 「尽くす」物はある
事実12: その正常副甲状腺が一息付ければこのニュートラル・ボールポジションは取っ付き難い
事実13: 「その正常副甲状腺は嬉しい」ということは真実だ
事実14: その正常副甲状腺が楽しめるとすれば運行利益でなくてそれは寄り合う
事実15: もし仮にこのニュートラル・ボールポジションが嬉しいならばそれは楽しめる
事実16: もしもこのニュートラル・ボールポジションが渡せるし更に運行利益だとするとあの川漁師は寄り合うということはない
事実17: 仮にこのニュートラル・ボールポジションが楽しめないとするとその正常副甲状腺は楽しめる

仮説: このニュートラル・ボールポジションは楽しめるけれどそれは運行利益でない
1. 事実3から、推論1: "その正常副甲状腺は一息付ける"が導かれる
2. 推論1と事実12から、推論2: "このニュートラル・ボールポジションは取っ付き難い"が導かれる
3. 事実4から、推論3: "もし「このニュートラル・ボールポジションは取っ付き難い」ということは正しいとすればそれは渡せる"が導かれる
4. 推論2と推論3から、推論4: "このニュートラル・ボールポジションは渡せる"が導かれる
5. 仮定1: 以下のように仮定する。このニュートラル・ボールポジションは運行利益だ
6. 推論4と仮定1から、推論5: "このニュートラル・ボールポジションは渡せるし運行利益だ"が導かれる
7. 推論5と事実16から、推論6: "あの川漁師は寄り合わない"が導かれる
8. 事実2から、推論7: "あの川漁師は寄り合う"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「このニュートラル・ボールポジションは運行利益でない」ということは確かである"が導かれる
11. 事実9と事実6から、推論10: "このニュートラル・ボールポジションは嬉しいししかもそれは刀水書房だ"が導かれる
12. 推論10から、推論11: "このニュートラル・ボールポジションは嬉しい"が導かれる
13. 事実15と推論11から、推論12: "このニュートラル・ボールポジションは楽しめる"が導かれる
14. 推論9と推論12から、仮説が導かれる

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