何らかのものはアナウンスする
fact1: 「あのヨウ化物イオンは馳せる一方で儚しない」ということは成り立つということはない fact2: もし「「あのヨウ化物イオンはアナウンスしなくてしかも前著でない」ということは本当である」ということは成り立つということはないとすればその切り裂き魔は眩まない fact3: 「馳せる」ものはある fact4: 「あの島根原発は眩むということはないし慈愛深くない」ということは成り立たない fact5: もし「前著な」ものはあるとしたら「この法治国家は儚ししどす黒い」ということは嘘である fact6: もしあのヨウ化物イオンがどす黒くないけどそれが眩むとすると儚し fact7: その切り裂き魔は馳せる fact8: あの島根原発がアナウンスするとするとそれは前著だ fact9: 「あの島根原発は慈愛深くないがしかし馳せる」ということは成り立たない fact10: 仮にあの島根原発が馳せるならあのヨウ化物イオンはどす黒くない fact11: もしもその切り裂き魔がアナウンスしないがしかしそれが馳せるとするとどす黒い fact12: もしもあのヨウ化物イオンがバシレイアだとすれば眩む fact13: 何かはアナウンスすればそれはバシレイアだ fact14: 「あのヨウ化物イオンは働き難いけどバシレイアでない」ということは成り立たないならばそれは眩む fact15: 仮に「あのヨウ化物イオンはバシレイアであるということはないかあるいはそれはアナウンスしない」ということは間違っているならあの島根原発はアナウンスする fact16: もしあのヨウ化物イオンが前著ならばその切り裂き魔はアナウンスする fact17: 「「あのヨウ化物イオンは働き難いがバシレイアでない」ということは成り立たない」ということは確かだ fact18: 「あの島根原発は慈愛深くないし更に馳せない」ということは事実と異なるとするとあのヨウ化物イオンはどす黒くない fact19: 「し易い」ものはある fact20: 「あの島根原発は慈愛深くないし馳せない」ということは間違いだ fact21: 「その切り裂き魔は特筆する一方で働き難いということはない」ということは間違いだ fact22: もしもなんらかのものが儚しとするとそれは前著である fact23: もしあの島根原発が働き難いならそれは馳せる fact24: 「「「あのヨウ化物イオンは働き難くてまたバシレイアである」ということは確かである」ということは本当だということはない」ということは成り立つ
fact18 & fact20 -> int1: あのヨウ化物イオンはどす黒くない; fact17 & fact14 -> int2: あのヨウ化物イオンは眩む; int1 & int2 -> int3: あのヨウ化物イオンはどす黒いということはない一方で眩む; int3 & fact6 -> int4: あのヨウ化物イオンは儚し; fact22 -> int5: もしもあのヨウ化物イオンが儚しとすると前著だ; int4 & int5 -> int6: あのヨウ化物イオンは前著である; int6 & fact16 -> int7: その切り裂き魔はアナウンスする; int7 -> 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: 「「「あのヨウ化物イオンは働き難くてまたバシレイアである」ということは確かである」ということは本当だということはない」ということは成り立つ ; $hypothesis$ = 何らかのものはアナウンスする ; $proof$ = 
fact18 & fact20 -> int1: あのヨウ化物イオンはどす黒くない; fact17 & fact14 -> int2: あのヨウ化物イオンは眩む; int1 & int2 -> int3: あのヨウ化物イオンはどす黒いということはない一方で眩む; int3 & fact6 -> int4: あのヨウ化物イオンは儚し; fact22 -> int5: もしもあのヨウ化物イオンが儚しとすると前著だ; int4 & int5 -> int6: あのヨウ化物イオンは前著である; int6 & fact16 -> int7: その切り裂き魔はアナウンスする; int7 -> 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: 「「「あのヨウ化物イオンは働き難くてまたバシレイアである」ということは確かである」ということは本当だということはない」ということは成り立つ

仮説: 何らかのものはアナウンスする
1. 事実18と事実20から、推論1: "あのヨウ化物イオンはどす黒くない"が導かれる
2. 事実17と事実14から、推論2: "あのヨウ化物イオンは眩む"が導かれる
3. 推論1と推論2から、推論3: "あのヨウ化物イオンはどす黒いということはない一方で眩む"が導かれる
4. 推論3と事実6から、推論4: "あのヨウ化物イオンは儚し"が導かれる
5. 事実22から、推論5: "もしもあのヨウ化物イオンが儚しとすると前著だ"が導かれる
6. 推論4と推論5から、推論6: "あのヨウ化物イオンは前著である"が導かれる
7. 推論6と事実16から、推論7: "その切り裂き魔はアナウンスする"が導かれる
8. 推論7から、仮説が導かれる

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