あのイミダゾリルはこっ酷いということはない
fact1: あのイミダゾリルはドラゴンズである fact2: もし仮に何らかの物が配れるしまたそれが迷信深いとするとこっ酷いということはない fact3: あのコンピュータ戦は御忙しくてそれに迷信深い fact4: あるものはドラゴンズなら「御忙しい一方で追い回さない」ということは成り立つ fact5: この山荘は不適当であるか迷信深いかあるいは両方だ fact6: その理系は追い回さない fact7: あのコンピュータ戦は裏切れるなら「その理系はセッションデータでないしさらに疎ましくらない」ということは成り立たない fact8: もし「その理系はセッションデータでないし疎ましくらない」ということは嘘ならばそれは舞い踊る fact9: もし「その理系は舞い踊る」ということは成り立つとすればあのイミダゾリルは配れる fact10: もしその設定用紙が配れるし加えてそれが疎ましいならあの世界経済概観は疎ましかない fact11: 「その理系はセッションデータだ一方で疎ましいということはない」ということは間違いである fact12: あのコンピュータ戦が舞い踊るならそれは裏切れる fact13: もしもあのイミダゾリルが配れれば舞い踊る fact14: あのコンピュータ戦がドラゴンズだしそれは不適当である fact15: もし仮にその理系がセッションデータでないとすればあのイミダゾリルはドラゴンズであるし加えてそれは裏切れる fact16: あの大飢饉はザワーブラーテンでない fact17: あらゆる物は迷信深い fact18: もしもあのコンピュータ戦は御忙しいがしかし追い回さないとすればそれは裏切れる fact19: もし「あの世界経済概観は舞い踊るかセッションデータでない」ということは事実と異なるとするとその理系はセッションデータでない fact20: もし仮にあのイミダゾリルは裏切れるなら「あのコンピュータ戦は追い回さないしこっ酷くない」ということは成り立つということはない fact21: なにかは用心深いとするとそれは運び易い fact22: その設定用紙は配れる
fact4 -> int1: もしもあのコンピュータ戦がドラゴンズだとすればそれは御忙しいししかもそれは追い回さない; fact14 -> int2: あのコンピュータ戦はドラゴンズである; int1 & int2 -> int3: あのコンピュータ戦は御忙しいけれどそれは追い回さない; int3 & fact18 -> int4: あのコンピュータ戦は裏切れる; int4 & fact7 -> int5: 「その理系はセッションデータでなくて疎ましくらない」ということは成り立つということはない; int5 & fact8 -> int6: その理系は舞い踊る; int6 & fact9 -> int7: あのイミダゾリルは配れる; fact17 -> int8: あのイミダゾリルは迷信深い; int7 & int8 -> int9: あのイミダゾリルは配れるしかつそれは迷信深い; fact2 -> int10: あのイミダゾリルは配れるしそれに迷信深いとしたらこっ酷くない; int9 & int10 -> hypothesis;
あのイミダゾリルはこっ酷い
$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$ = 
fact4 -> int1: もしもあのコンピュータ戦がドラゴンズだとすればそれは御忙しいししかもそれは追い回さない; fact14 -> int2: あのコンピュータ戦はドラゴンズである; int1 & int2 -> int3: あのコンピュータ戦は御忙しいけれどそれは追い回さない; int3 & fact18 -> int4: あのコンピュータ戦は裏切れる; int4 & fact7 -> int5: 「その理系はセッションデータでなくて疎ましくらない」ということは成り立つということはない; int5 & fact8 -> int6: その理系は舞い踊る; int6 & fact9 -> int7: あのイミダゾリルは配れる; fact17 -> int8: あのイミダゾリルは迷信深い; int7 & int8 -> int9: あのイミダゾリルは配れるしかつそれは迷信深い; fact2 -> int10: あのイミダゾリルは配れるしそれに迷信深いとしたらこっ酷くない; int9 & int10 -> 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. 事実4から、推論1: "もしもあのコンピュータ戦がドラゴンズだとすればそれは御忙しいししかもそれは追い回さない"が導かれる
2. 事実14から、推論2: "あのコンピュータ戦はドラゴンズである"が導かれる
3. 推論1と推論2から、推論3: "あのコンピュータ戦は御忙しいけれどそれは追い回さない"が導かれる
4. 推論3と事実18から、推論4: "あのコンピュータ戦は裏切れる"が導かれる
5. 推論4と事実7から、推論5: "「その理系はセッションデータでなくて疎ましくらない」ということは成り立つということはない"が導かれる
6. 推論5と事実8から、推論6: "その理系は舞い踊る"が導かれる
7. 推論6と事実9から、推論7: "あのイミダゾリルは配れる"が導かれる
8. 事実17から、推論8: "あのイミダゾリルは迷信深い"が導かれる
9. 推論7と推論8から、推論9: "あのイミダゾリルは配れるしかつそれは迷信深い"が導かれる
10. 事実2から、推論10: "あのイミダゾリルは配れるしそれに迷信深いとしたらこっ酷くない"が導かれる
11. 推論9と推論10から、仮説が導かれる

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