そのサイン会は果実重量でない
fact1: 仮に「なにがしかの物はツールオプションであるけれど付け足すということはない」ということは事実と異なるとしたらそれは付け足す fact2: もし「その長岡宮式瓦は完成出来ない」ということは確かであるなら「この世界都市は完成出来るかまたはそれはツールオプションでないかもしくは両方だ」ということは間違っている fact3: なんらかのものは批判出来るとすると「サドであるし加えてそれは長期計画策定でない」ということは成り立たない fact4: その八ミリフィルムは笑い飛ばす fact5: あの印刷媒体は付け足さない fact6: 仮に何かは付け足さないならば篦鹿である fact7: 日本人らしいものは望ましくらなくてかつテープ状でない fact8: この世界都市はツールオプションだ fact9: その中小都市は出頭だ fact10: もし仮に「その長岡宮式瓦は果実重量であるかもしくは篦鹿である」ということは偽であるとするとそのサイン会は出頭だ fact11: もしその長岡宮式瓦が完成出来ないとすればあの世界都市はツールオプションである fact12: もし何かは付け足さないならば篦鹿であるけど完成出来るということはない fact13: 「なんらかの物はサドだけれど長期計画策定でない」ということは偽であるとしたら「それはサドでない」ということは確かである fact14: 仮に「その八ミリフィルムは笑い飛ばす」ということは確かだとすれば「それは見られ易くてかつそれは備蓄しない」ということは成り立たない fact15: 仮に「この世界都市は完成出来るかまたはツールオプションだということはない」ということは事実と異なるとしたらその中小都市は哀願する fact16: その長岡宮式瓦は付け足さない fact17: この世界都市は哀願するとすれば「「そのサイン会はツールオプションである一方で付け足さない」ということは偽だ」ということは間違いでない fact18: もしも「ある物は見られ易いけれど備蓄しない」ということは事実でないとするとそれは日本人らしい fact19: もし仮にその中小都市が三十人であるとするとこの世界都市は批判出来る fact20: もし仮にとあるものが付け足せば果実重量だ fact21: とあるものはサドだということはないとすれば「哀願するしさらに出頭だ」ということは事実である fact22: その中小都市が哀願するし出頭だとするとそのサイン会は果実重量でない
fact12 -> int1: もしその長岡宮式瓦が付け足さないとすれば篦鹿だ一方で完成出来ない; int1 & fact16 -> int2: その長岡宮式瓦は篦鹿だけれどそれは完成出来ない; int2 -> int3: その長岡宮式瓦は完成出来ない; int3 & fact2 -> int4: 「この世界都市は完成出来るかまたはツールオプションであるということはない」ということは嘘である; int4 & fact15 -> int5: その中小都市は哀願する; int5 & fact9 -> int6: その中小都市は哀願するしさらに出頭である; int6 & fact22 -> hypothesis;
そのサイン会は果実重量である
fact30 -> int7: そのサイン会が付け足すとすれば果実重量である; fact23 -> int8: もしも「そのサイン会はツールオプションだがそれは付け足さない」ということは誤っているとすれば付け足す; fact32 -> int9: もしこの世界都市はサドだということはないなら「それは哀願するし出頭だ」ということは成り立つ; fact27 -> int10: もしも「この世界都市はサドだがそれは長期計画策定でない」ということは成り立つということはないとするとそれはサドでない; fact33 -> int11: この世界都市は批判出来るとすると「サドであるがしかし長期計画策定でない」ということは事実と異なる; fact31 -> int12: 仮にその八ミリフィルムが日本人らしいとすればそれは望ましくらないしそれにテープ状でない; fact26 -> int13: もし仮に「その八ミリフィルムは見られ易いけどそれは備蓄しない」ということは間違いだとしたら日本人らしい; fact29 & fact28 -> int14: 「その八ミリフィルムは見られ易いがしかしそれは備蓄しない」ということは成り立たない; int13 & int14 -> int15: その八ミリフィルムは日本人らしい; int12 & int15 -> int16: その八ミリフィルムは望ましくらないしかつテープ状だということはない; int16 -> int17: なにかは望ましくらなくてしかもテープ状でない;
$facts$ = fact1: 仮に「なにがしかの物はツールオプションであるけれど付け足すということはない」ということは事実と異なるとしたらそれは付け足す fact2: もし「その長岡宮式瓦は完成出来ない」ということは確かであるなら「この世界都市は完成出来るかまたはそれはツールオプションでないかもしくは両方だ」ということは間違っている fact3: なんらかのものは批判出来るとすると「サドであるし加えてそれは長期計画策定でない」ということは成り立たない fact4: その八ミリフィルムは笑い飛ばす fact5: あの印刷媒体は付け足さない fact6: 仮に何かは付け足さないならば篦鹿である fact7: 日本人らしいものは望ましくらなくてかつテープ状でない fact8: この世界都市はツールオプションだ fact9: その中小都市は出頭だ fact10: もし仮に「その長岡宮式瓦は果実重量であるかもしくは篦鹿である」ということは偽であるとするとそのサイン会は出頭だ fact11: もしその長岡宮式瓦が完成出来ないとすればあの世界都市はツールオプションである fact12: もし何かは付け足さないならば篦鹿であるけど完成出来るということはない fact13: 「なんらかの物はサドだけれど長期計画策定でない」ということは偽であるとしたら「それはサドでない」ということは確かである fact14: 仮に「その八ミリフィルムは笑い飛ばす」ということは確かだとすれば「それは見られ易くてかつそれは備蓄しない」ということは成り立たない fact15: 仮に「この世界都市は完成出来るかまたはツールオプションだということはない」ということは事実と異なるとしたらその中小都市は哀願する fact16: その長岡宮式瓦は付け足さない fact17: この世界都市は哀願するとすれば「「そのサイン会はツールオプションである一方で付け足さない」ということは偽だ」ということは間違いでない fact18: もしも「ある物は見られ易いけれど備蓄しない」ということは事実でないとするとそれは日本人らしい fact19: もし仮にその中小都市が三十人であるとするとこの世界都市は批判出来る fact20: もし仮にとあるものが付け足せば果実重量だ fact21: とあるものはサドだということはないとすれば「哀願するしさらに出頭だ」ということは事実である fact22: その中小都市が哀願するし出頭だとするとそのサイン会は果実重量でない ; $hypothesis$ = そのサイン会は果実重量でない ; $proof$ = 
fact12 -> int1: もしその長岡宮式瓦が付け足さないとすれば篦鹿だ一方で完成出来ない; int1 & fact16 -> int2: その長岡宮式瓦は篦鹿だけれどそれは完成出来ない; int2 -> int3: その長岡宮式瓦は完成出来ない; int3 & fact2 -> int4: 「この世界都市は完成出来るかまたはツールオプションであるということはない」ということは嘘である; int4 & fact15 -> int5: その中小都市は哀願する; int5 & fact9 -> int6: その中小都市は哀願するしさらに出頭である; int6 & fact22 -> hypothesis; __PROVED__
事実1: 仮に「なにがしかの物はツールオプションであるけれど付け足すということはない」ということは事実と異なるとしたらそれは付け足す
事実2: もし「その長岡宮式瓦は完成出来ない」ということは確かであるなら「この世界都市は完成出来るかまたはそれはツールオプションでないかもしくは両方だ」ということは間違っている
事実3: なんらかのものは批判出来るとすると「サドであるし加えてそれは長期計画策定でない」ということは成り立たない
事実4: その八ミリフィルムは笑い飛ばす
事実5: あの印刷媒体は付け足さない
事実6: 仮に何かは付け足さないならば篦鹿である
事実7: 日本人らしいものは望ましくらなくてかつテープ状でない
事実8: この世界都市はツールオプションだ
事実9: その中小都市は出頭だ
事実10: もし仮に「その長岡宮式瓦は果実重量であるかもしくは篦鹿である」ということは偽であるとするとそのサイン会は出頭だ
事実11: もしその長岡宮式瓦が完成出来ないとすればあの世界都市はツールオプションである
事実12: もし何かは付け足さないならば篦鹿であるけど完成出来るということはない
事実13: 「なんらかの物はサドだけれど長期計画策定でない」ということは偽であるとしたら「それはサドでない」ということは確かである
事実14: 仮に「その八ミリフィルムは笑い飛ばす」ということは確かだとすれば「それは見られ易くてかつそれは備蓄しない」ということは成り立たない
事実15: 仮に「この世界都市は完成出来るかまたはツールオプションだということはない」ということは事実と異なるとしたらその中小都市は哀願する
事実16: その長岡宮式瓦は付け足さない
事実17: この世界都市は哀願するとすれば「「そのサイン会はツールオプションである一方で付け足さない」ということは偽だ」ということは間違いでない
事実18: もしも「ある物は見られ易いけれど備蓄しない」ということは事実でないとするとそれは日本人らしい
事実19: もし仮にその中小都市が三十人であるとするとこの世界都市は批判出来る
事実20: もし仮にとあるものが付け足せば果実重量だ
事実21: とあるものはサドだということはないとすれば「哀願するしさらに出頭だ」ということは事実である
事実22: その中小都市が哀願するし出頭だとするとそのサイン会は果実重量でない

仮説: そのサイン会は果実重量でない
1. 事実12から、推論1: "もしその長岡宮式瓦が付け足さないとすれば篦鹿だ一方で完成出来ない"が導かれる
2. 推論1と事実16から、推論2: "その長岡宮式瓦は篦鹿だけれどそれは完成出来ない"が導かれる
3. 推論2から、推論3: "その長岡宮式瓦は完成出来ない"が導かれる
4. 推論3と事実2から、推論4: "「この世界都市は完成出来るかまたはツールオプションであるということはない」ということは嘘である"が導かれる
5. 推論4と事実15から、推論5: "その中小都市は哀願する"が導かれる
6. 推論5と事実9から、推論6: "その中小都市は哀願するしさらに出頭である"が導かれる
7. 推論6と事実22から、仮説が導かれる

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