このＡＧＰスロットは戦わない
fact1: この相互依存関係は仮想する fact2: 仮になんらかの物が干し若布であるし放流だとすればそれは人らしくない fact3: その対抗手段は隠棲するしそれはおもろい fact4: 「このＡＧＰスロットは干し若布である」ということは本当だ fact5: あの御愛は判断し難くないしかつ憎らしくない fact6: もしもこのＡＧＰスロットは関数名でないなら「それは人らしいししかも千数百年前だ」ということは偽である fact7: もしこの相互依存関係が関数名であるならばこの雄テリアは人らしい fact8: もし「なにがしかのものは獲得出来ないが嘘っぽい」ということは誤りだとするとそれは獲得出来る fact9: 「その対抗手段は千数百年前でない」ということは事実である fact10: もしもその対抗手段が獲得出来るしそれが干し若布ならばそれは窺えない fact11: もしこの相互依存関係は仮想するとしたら「それは戦う」ということは正しい fact12: あの稽古は上げ易いし干し若布である fact13: 「その対抗手段はきょとんとしない」ということは成り立つなら「この雄テリアはきょとんとしない」ということは成り立つ fact14: 「この相互依存関係は人らしいけれどそれは関数名でない」ということは成り立たない fact15: もし何かは放流でないならそれは干し若布で戦う fact16: その対抗手段が窺えなくて加えて千数百年前でないとすればあのＡＧＰスロットは戦うということはない fact17: この雄テリアは放流だ fact18: もしこの雄テリアが干し若布でないとするとその対抗手段は干し若布である fact19: この雄テリアは窺えない fact20: 仮にこの雄テリアが干し若布でないならその対抗手段は獲得出来るし干し若布だ fact21: このＡＧＰスロットが干し若布でなくてまた人らしくないとすればその対抗手段は戦わない fact22: もしも「この相互依存関係は人らしいがそれは関数名でない」ということは成り立たないとすればこの雄テリアは人らしい fact23: その対抗手段は干し若布である fact24: 「この相互依存関係は人らしいし関数名である」ということは偽だ fact25: もし仮にこの相互依存関係は窺えるということはないなら「その対抗手段は放流だ一方できょとんとしない」ということは確かである fact26: 「このＡＧＰスロットは人らしいしかつそれは千数百年前である」ということは確かでないとするとそれは人らしくない fact27: このＡＧＰスロットは関数名でない fact28: この相互依存関係は戦うとすると「それは獲得出来ないけれど嘘っぽい」ということは成り立つということはない
void -> assump1: 以下のように仮定する。この雄テリアは干し若布である; assump1 & fact17 -> int1: この雄テリアは干し若布でまた放流である; fact2 -> int2: もし仮にこの雄テリアが干し若布であるし加えて放流であるとしたらそれは人らしくない; int1 & int2 -> int3: この雄テリアは人らしいということはない; fact22 & fact14 -> int4: この雄テリアは人らしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この雄テリアは干し若布でない; int6 & fact20 -> int7: その対抗手段は獲得出来るしおまけにそれは干し若布だ; int7 & fact10 -> int8: その対抗手段は窺えない; int8 & fact9 -> int9: その対抗手段は窺えないしその上千数百年前であるということはない; int9 & fact16 -> hypothesis;
このＡＧＰスロットは戦う
fact29 -> int10: もし仮にこのＡＧＰスロットが放流でないとしたら干し若布で更に戦う;
$facts$ = fact1: この相互依存関係は仮想する fact2: 仮になんらかの物が干し若布であるし放流だとすればそれは人らしくない fact3: その対抗手段は隠棲するしそれはおもろい fact4: 「このＡＧＰスロットは干し若布である」ということは本当だ fact5: あの御愛は判断し難くないしかつ憎らしくない fact6: もしもこのＡＧＰスロットは関数名でないなら「それは人らしいししかも千数百年前だ」ということは偽である fact7: もしこの相互依存関係が関数名であるならばこの雄テリアは人らしい fact8: もし「なにがしかのものは獲得出来ないが嘘っぽい」ということは誤りだとするとそれは獲得出来る fact9: 「その対抗手段は千数百年前でない」ということは事実である fact10: もしもその対抗手段が獲得出来るしそれが干し若布ならばそれは窺えない fact11: もしこの相互依存関係は仮想するとしたら「それは戦う」ということは正しい fact12: あの稽古は上げ易いし干し若布である fact13: 「その対抗手段はきょとんとしない」ということは成り立つなら「この雄テリアはきょとんとしない」ということは成り立つ fact14: 「この相互依存関係は人らしいけれどそれは関数名でない」ということは成り立たない fact15: もし何かは放流でないならそれは干し若布で戦う fact16: その対抗手段が窺えなくて加えて千数百年前でないとすればあのＡＧＰスロットは戦うということはない fact17: この雄テリアは放流だ fact18: もしこの雄テリアが干し若布でないとするとその対抗手段は干し若布である fact19: この雄テリアは窺えない fact20: 仮にこの雄テリアが干し若布でないならその対抗手段は獲得出来るし干し若布だ fact21: このＡＧＰスロットが干し若布でなくてまた人らしくないとすればその対抗手段は戦わない fact22: もしも「この相互依存関係は人らしいがそれは関数名でない」ということは成り立たないとすればこの雄テリアは人らしい fact23: その対抗手段は干し若布である fact24: 「この相互依存関係は人らしいし関数名である」ということは偽だ fact25: もし仮にこの相互依存関係は窺えるということはないなら「その対抗手段は放流だ一方できょとんとしない」ということは確かである fact26: 「このＡＧＰスロットは人らしいしかつそれは千数百年前である」ということは確かでないとするとそれは人らしくない fact27: このＡＧＰスロットは関数名でない fact28: この相互依存関係は戦うとすると「それは獲得出来ないけれど嘘っぽい」ということは成り立つということはない ; $hypothesis$ = このＡＧＰスロットは戦わない ; $proof$ = 
void -> assump1: 以下のように仮定する。この雄テリアは干し若布である; assump1 & fact17 -> int1: この雄テリアは干し若布でまた放流である; fact2 -> int2: もし仮にこの雄テリアが干し若布であるし加えて放流であるとしたらそれは人らしくない; int1 & int2 -> int3: この雄テリアは人らしいということはない; fact22 & fact14 -> int4: この雄テリアは人らしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この雄テリアは干し若布でない; int6 & fact20 -> int7: その対抗手段は獲得出来るしおまけにそれは干し若布だ; int7 & fact10 -> int8: その対抗手段は窺えない; int8 & fact9 -> int9: その対抗手段は窺えないしその上千数百年前であるということはない; int9 & fact16 -> hypothesis; __PROVED__
事実1: この相互依存関係は仮想する
事実2: 仮になんらかの物が干し若布であるし放流だとすればそれは人らしくない
事実3: その対抗手段は隠棲するしそれはおもろい
事実4: 「このＡＧＰスロットは干し若布である」ということは本当だ
事実5: あの御愛は判断し難くないしかつ憎らしくない
事実6: もしもこのＡＧＰスロットは関数名でないなら「それは人らしいししかも千数百年前だ」ということは偽である
事実7: もしこの相互依存関係が関数名であるならばこの雄テリアは人らしい
事実8: もし「なにがしかのものは獲得出来ないが嘘っぽい」ということは誤りだとするとそれは獲得出来る
事実9: 「その対抗手段は千数百年前でない」ということは事実である
事実10: もしもその対抗手段が獲得出来るしそれが干し若布ならばそれは窺えない
事実11: もしこの相互依存関係は仮想するとしたら「それは戦う」ということは正しい
事実12: あの稽古は上げ易いし干し若布である
事実13: 「その対抗手段はきょとんとしない」ということは成り立つなら「この雄テリアはきょとんとしない」ということは成り立つ
事実14: 「この相互依存関係は人らしいけれどそれは関数名でない」ということは成り立たない
事実15: もし何かは放流でないならそれは干し若布で戦う
事実16: その対抗手段が窺えなくて加えて千数百年前でないとすればあのＡＧＰスロットは戦うということはない
事実17: この雄テリアは放流だ
事実18: もしこの雄テリアが干し若布でないとするとその対抗手段は干し若布である
事実19: この雄テリアは窺えない
事実20: 仮にこの雄テリアが干し若布でないならその対抗手段は獲得出来るし干し若布だ
事実21: このＡＧＰスロットが干し若布でなくてまた人らしくないとすればその対抗手段は戦わない
事実22: もしも「この相互依存関係は人らしいがそれは関数名でない」ということは成り立たないとすればこの雄テリアは人らしい
事実23: その対抗手段は干し若布である
事実24: 「この相互依存関係は人らしいし関数名である」ということは偽だ
事実25: もし仮にこの相互依存関係は窺えるということはないなら「その対抗手段は放流だ一方できょとんとしない」ということは確かである
事実26: 「このＡＧＰスロットは人らしいしかつそれは千数百年前である」ということは確かでないとするとそれは人らしくない
事実27: このＡＧＰスロットは関数名でない
事実28: この相互依存関係は戦うとすると「それは獲得出来ないけれど嘘っぽい」ということは成り立つということはない

仮説: このＡＧＰスロットは戦わない
1. 仮定1: 以下のように仮定する。この雄テリアは干し若布である
2. 仮定1と事実17から、推論1: "この雄テリアは干し若布でまた放流である"が導かれる
3. 事実2から、推論2: "もし仮にこの雄テリアが干し若布であるし加えて放流であるとしたらそれは人らしくない"が導かれる
4. 推論1と推論2から、推論3: "この雄テリアは人らしいということはない"が導かれる
5. 事実22と事実14から、推論4: "この雄テリアは人らしい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この雄テリアは干し若布でない"が導かれる
8. 推論6と事実20から、推論7: "その対抗手段は獲得出来るしおまけにそれは干し若布だ"が導かれる
9. 推論7と事実10から、推論8: "その対抗手段は窺えない"が導かれる
10. 推論8と事実9から、推論9: "その対抗手段は窺えないしその上千数百年前であるということはない"が導かれる
11. 推論9と事実16から、仮説が導かれる

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