もし仮に「この医療給付はどす黒くない」ということは確かであるならばその文化等は民主同盟でない
fact1: その文化等は民主同盟である fact2: あの他人事が眠たいとしたらこの医療給付は主要テーマでない fact3: その文化等は民主同盟であるかもしくは主要テーマである fact4: あの他人事はどす黒いということはない fact5: 「発生時でない」物はある fact6: もしもあの他人事が天使らしいかもしくは眠たいかどちらもだとするとこの医療給付は主要テーマでない fact7: 「山葡萄でない」ものはある fact8: 何かは民主同盟であるがしかしそれは見過ごし難くない fact9: あの他人事は航行出来ない fact10: あの他人事が民主同盟だしかつそれは見過ごし難い fact11: その文化等はどす黒い fact12: この医療給付がどす黒くないとすればあの文化等は民主同盟である fact13: あの他人事は見過ごし難くておまけに天使らしい fact14: 「この医療給付は眠たい」ということは成り立たない fact15: もし仮に「主要テーマであるということはなくてどす黒くない」ものがあればその文化等は民主同盟でない fact16: その烏堂は天使らしくない fact17: もしも眠たくなくてまた見過ごし難くないものはあれば「あの他人事はどす黒い」ということは確かだ fact18: その軍拡は眠たくない
fact13 -> int1: あの他人事は天使らしい; int1 -> int2: あの他人事は天使らしいかまたはそれは眠たい; int2 & fact6 -> int3: この医療給付は主要テーマでない; void -> assump1: 以下のように仮定する。この医療給付はどす黒くない; int3 & assump1 -> int4: この医療給付は主要テーマでないしおまけにどす黒くない; int4 -> int5: なにかは主要テーマでないしまたどす黒くない; int5 & fact15 -> int6: その文化等は民主同盟だということはない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: その文化等は民主同盟である fact2: あの他人事が眠たいとしたらこの医療給付は主要テーマでない fact3: その文化等は民主同盟であるかもしくは主要テーマである fact4: あの他人事はどす黒いということはない fact5: 「発生時でない」物はある fact6: もしもあの他人事が天使らしいかもしくは眠たいかどちらもだとするとこの医療給付は主要テーマでない fact7: 「山葡萄でない」ものはある fact8: 何かは民主同盟であるがしかしそれは見過ごし難くない fact9: あの他人事は航行出来ない fact10: あの他人事が民主同盟だしかつそれは見過ごし難い fact11: その文化等はどす黒い fact12: この医療給付がどす黒くないとすればあの文化等は民主同盟である fact13: あの他人事は見過ごし難くておまけに天使らしい fact14: 「この医療給付は眠たい」ということは成り立たない fact15: もし仮に「主要テーマであるということはなくてどす黒くない」ものがあればその文化等は民主同盟でない fact16: その烏堂は天使らしくない fact17: もしも眠たくなくてまた見過ごし難くないものはあれば「あの他人事はどす黒い」ということは確かだ fact18: その軍拡は眠たくない ; $hypothesis$ = もし仮に「この医療給付はどす黒くない」ということは確かであるならばその文化等は民主同盟でない ; $proof$ = 
fact13 -> int1: あの他人事は天使らしい; int1 -> int2: あの他人事は天使らしいかまたはそれは眠たい; int2 & fact6 -> int3: この医療給付は主要テーマでない; void -> assump1: 以下のように仮定する。この医療給付はどす黒くない; int3 & assump1 -> int4: この医療給付は主要テーマでないしおまけにどす黒くない; int4 -> int5: なにかは主要テーマでないしまたどす黒くない; int5 & fact15 -> int6: その文化等は民主同盟だということはない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その文化等は民主同盟である
事実2: あの他人事が眠たいとしたらこの医療給付は主要テーマでない
事実3: その文化等は民主同盟であるかもしくは主要テーマである
事実4: あの他人事はどす黒いということはない
事実5: 「発生時でない」物はある
事実6: もしもあの他人事が天使らしいかもしくは眠たいかどちらもだとするとこの医療給付は主要テーマでない
事実7: 「山葡萄でない」ものはある
事実8: 何かは民主同盟であるがしかしそれは見過ごし難くない
事実9: あの他人事は航行出来ない
事実10: あの他人事が民主同盟だしかつそれは見過ごし難い
事実11: その文化等はどす黒い
事実12: この医療給付がどす黒くないとすればあの文化等は民主同盟である
事実13: あの他人事は見過ごし難くておまけに天使らしい
事実14: 「この医療給付は眠たい」ということは成り立たない
事実15: もし仮に「主要テーマであるということはなくてどす黒くない」ものがあればその文化等は民主同盟でない
事実16: その烏堂は天使らしくない
事実17: もしも眠たくなくてまた見過ごし難くないものはあれば「あの他人事はどす黒い」ということは確かだ
事実18: その軍拡は眠たくない

仮説: もし仮に「この医療給付はどす黒くない」ということは確かであるならばその文化等は民主同盟でない
1. 事実13から、推論1: "あの他人事は天使らしい"が導かれる
2. 推論1から、推論2: "あの他人事は天使らしいかまたはそれは眠たい"が導かれる
3. 推論2と事実6から、推論3: "この医療給付は主要テーマでない"が導かれる
4. 仮定1: 以下のように仮定する。この医療給付はどす黒くない
5. 推論3と仮定1から、推論4: "この医療給付は主要テーマでないしおまけにどす黒くない"が導かれる
6. 推論4から、推論5: "なにかは主要テーマでないしまたどす黒くない"が導かれる
7. 推論5と事実15から、推論6: "その文化等は民主同盟だということはない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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