「あの随筆は憎くないけどフェニックス公園である」ということは成り立たない
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: 何かは信託するとするとそれは立派過ぎる
fact15 & fact20 -> int1: あのアズライトは信託しない; int1 & fact4 -> int2: あの記号学は立派過ぎなくて信託しない; int2 -> int3: あの記号学は信託しない; void -> assump1: 以下のように仮定する。あの記号学は関与する; int3 & assump1 -> int4: あの記号学は関与するがしかし信託しない; int4 & fact11 -> int5: この熟達度は恫喝するということはない; fact16 & fact23 -> int6: この職人さんは仁和寺だ; fact2 -> int7: 仮にこの職人さんは仁和寺であるとするとそれは恫喝する; int6 & int7 -> int8: 「この職人さんは恫喝しない」ということは誤っている; int8 & fact19 -> int9: この熟達度は恫喝する; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの記号学は関与しない; int11 & fact13 -> hypothesis;
その木曜日は遮断しない
$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: 何かは信託するとするとそれは立派過ぎる ; $hypothesis$ = 「あの随筆は憎くないけどフェニックス公園である」ということは成り立たない ; $proof$ = 
fact15 & fact20 -> int1: あのアズライトは信託しない; int1 & fact4 -> int2: あの記号学は立派過ぎなくて信託しない; int2 -> int3: あの記号学は信託しない; void -> assump1: 以下のように仮定する。あの記号学は関与する; int3 & assump1 -> int4: あの記号学は関与するがしかし信託しない; int4 & fact11 -> int5: この熟達度は恫喝するということはない; fact16 & fact23 -> int6: この職人さんは仁和寺だ; fact2 -> int7: 仮にこの職人さんは仁和寺であるとするとそれは恫喝する; int6 & int7 -> int8: 「この職人さんは恫喝しない」ということは誤っている; int8 & fact19 -> int9: この熟達度は恫喝する; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの記号学は関与しない; int11 & fact13 -> 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: 何かは信託するとするとそれは立派過ぎる

仮説: 「あの随筆は憎くないけどフェニックス公園である」ということは成り立たない
1. 事実15と事実20から、推論1: "あのアズライトは信託しない"が導かれる
2. 推論1と事実4から、推論2: "あの記号学は立派過ぎなくて信託しない"が導かれる
3. 推論2から、推論3: "あの記号学は信託しない"が導かれる
4. 仮定1: 以下のように仮定する。あの記号学は関与する
5. 推論3と仮定1から、推論4: "あの記号学は関与するがしかし信託しない"が導かれる
6. 推論4と事実11から、推論5: "この熟達度は恫喝するということはない"が導かれる
7. 事実16と事実23から、推論6: "この職人さんは仁和寺だ"が導かれる
8. 事実2から、推論7: "仮にこの職人さんは仁和寺であるとするとそれは恫喝する"が導かれる
9. 推論6と推論7から、推論8: "「この職人さんは恫喝しない」ということは誤っている"が導かれる
10. 推論8と事実19から、推論9: "この熟達度は恫喝する"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの記号学は関与しない"が導かれる
13. 推論11と事実13から、仮説が導かれる

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