あの親衛隊は我欲だ
fact1: 掃除し易い物は我欲である fact2: あの講談社現代新書は豊後国だ fact3: もしも「その大問題は感受する」ということは嘘でないとするとあの親衛隊は掃除し易い fact4: 「あの古代国家は編集バーだがしかしそれはＨＩＣＫＳでない」ということは嘘だ fact5: 「あの古代国家は楼主でないしＨＩＣＫＳでない」ということは成り立たないならば「楼主である」ということは成り立つ fact6: あの古代国家は感受しない fact7: あの親衛隊は湿気易くない fact8: もし仮にあの古代国家が掃除し易いならあの親衛隊はＨＩＣＫＳである fact9: 何らかの物が我欲ならそれは編集バーである fact10: あの親衛隊は豊後国である fact11: 「あの古代国家は楼主だしさらに我欲である」ということは確かでない fact12: 「あの古代国家は楼主でなくて更にＨＩＣＫＳでない」ということは事実でない fact13: その大問題は編集バーであるなら「この御館は感受しない」ということは正しい fact14: もしも「その大問題は楼主である一方でそれは感受しない」ということは嘘であるとしたらあの古代国家は掃除し易くない fact15: 「この御館は感受するがしかし編集バーでない」ということは事実でない fact16: もし「あの古代国家はＨＩＣＫＳでないし豊後国でない」ということは誤りならばそれはＨＩＣＫＳである fact17: その大問題は豊後国でない fact18: 仮にあの親衛隊がＨＩＣＫＳだとするとあの古代国家は掃除し易い fact19: もし「この御館が豊後国だけど編集バーでない」ということは間違いだとするとあの古代国家は楼主でない fact20: 「あの古代国家は折り合うし出来易い」ということは偽である fact21: この御館は楼主である fact22: もしもこの御館が豊後国であるならばその大問題は感受する
void -> assump1: 以下のように仮定する。「この御館は豊後国だが編集バーでない」ということは間違っている; fact19 & assump1 -> int1: あの古代国家は楼主でない; fact5 & fact12 -> int2: あの古代国家は楼主だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この御館は豊後国だけれど編集バーでない; int4 -> int5: この御館は豊後国である; int5 & fact22 -> int6: その大問題は感受する; int6 & fact3 -> int7: あの親衛隊は掃除し易い; fact1 -> int8: 仮にあの親衛隊が掃除し易いならそれは我欲である; int7 & int8 -> 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$ = 
void -> assump1: 以下のように仮定する。「この御館は豊後国だが編集バーでない」ということは間違っている; fact19 & assump1 -> int1: あの古代国家は楼主でない; fact5 & fact12 -> int2: あの古代国家は楼主だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この御館は豊後国だけれど編集バーでない; int4 -> int5: この御館は豊後国である; int5 & fact22 -> int6: その大問題は感受する; int6 & fact3 -> int7: あの親衛隊は掃除し易い; fact1 -> int8: 仮にあの親衛隊が掃除し易いならそれは我欲である; int7 & int8 -> 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. 仮定1: 以下のように仮定する。「この御館は豊後国だが編集バーでない」ということは間違っている
2. 事実19と仮定1から、推論1: "あの古代国家は楼主でない"が導かれる
3. 事実5と事実12から、推論2: "あの古代国家は楼主だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この御館は豊後国だけれど編集バーでない"が導かれる
6. 推論4から、推論5: "この御館は豊後国である"が導かれる
7. 推論5と事実22から、推論6: "その大問題は感受する"が導かれる
8. 推論6と事実3から、推論7: "あの親衛隊は掃除し易い"が導かれる
9. 事実1から、推論8: "仮にあの親衛隊が掃除し易いならそれは我欲である"が導かれる
10. 推論7と推論8から、仮説が導かれる

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