この加齢は暴政でないけど意識する
fact1: この数例は意識しないとしたら「この加齢は暴政であるしまた意識する」ということは間違いだ fact2: もし仮にこの数例は意識しないとすれば「この加齢は暴政だということはないけれど意識する」ということは間違いである fact3: もし仮に「この数例は意識する」ということは正しいならば「それは五発目だ」ということは成り立つ fact4: もし仮に「「この数例は五発目でないかまたは見終えないかあるいは両方である」ということは間違いでない」ということは間違いであるとしたら「あの助け船は見直し作業でない」ということは事実だ fact5: あの助け船は降板する fact6: もしも「何らかの物は降板するかもしくはそれは覆刻であるということはないかあるいは両方ともだ」ということは偽であるならそれは見直し作業でない fact7: あの助け船は降板しないとすると「この加齢は暴政であるしそれは降板する」ということは成り立たない fact8: 「この加齢は暴政であるし意識する」ということは嘘である fact9: もし仮にあの助け船が降板するとすると見直し作業である fact10: 仮にあの助け船は意識するとすれば「見終えないかあるいは見直し作業でないかどちらもである」ということは嘘だ fact11: この受章は降板する fact12: この数例は意識するとすると「それは五発目でないかあるいは見終えるということはないかもしくはどちらもだ」ということは間違っている fact13: あの助け船は十三集落であるかそれは覆刻であるかもしくは両方ともである fact14: この数例は五発目だ fact15: 仮に「この数例は五発目であるか見終えないかもしくは両方である」ということは事実と異なるとしたらあの助け船は見直し作業だということはない
void -> assump1: 以下のように仮定する。この数例は意識する; fact12 & assump1 -> int1: 「この数例は五発目でないかもしくは見終えないかまたは両方だ」ということは成り立つということはない; int1 & fact4 -> int2: 「あの助け船は見直し作業でない」ということは本当だ; fact9 & fact5 -> int3: 「あの助け船は見直し作業だ」ということは嘘であるということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この数例は意識するということはない; int5 & fact2 -> hypothesis;
この加齢は暴政でないけど意識する
fact16 -> int6: 「「この数例は降板するかまたは覆刻でない」ということは成り立つということはない」ということは成り立つとしたら見直し作業でない;
$facts$ = fact1: この数例は意識しないとしたら「この加齢は暴政であるしまた意識する」ということは間違いだ fact2: もし仮にこの数例は意識しないとすれば「この加齢は暴政だということはないけれど意識する」ということは間違いである fact3: もし仮に「この数例は意識する」ということは正しいならば「それは五発目だ」ということは成り立つ fact4: もし仮に「「この数例は五発目でないかまたは見終えないかあるいは両方である」ということは間違いでない」ということは間違いであるとしたら「あの助け船は見直し作業でない」ということは事実だ fact5: あの助け船は降板する fact6: もしも「何らかの物は降板するかもしくはそれは覆刻であるということはないかあるいは両方ともだ」ということは偽であるならそれは見直し作業でない fact7: あの助け船は降板しないとすると「この加齢は暴政であるしそれは降板する」ということは成り立たない fact8: 「この加齢は暴政であるし意識する」ということは嘘である fact9: もし仮にあの助け船が降板するとすると見直し作業である fact10: 仮にあの助け船は意識するとすれば「見終えないかあるいは見直し作業でないかどちらもである」ということは嘘だ fact11: この受章は降板する fact12: この数例は意識するとすると「それは五発目でないかあるいは見終えるということはないかもしくはどちらもだ」ということは間違っている fact13: あの助け船は十三集落であるかそれは覆刻であるかもしくは両方ともである fact14: この数例は五発目だ fact15: 仮に「この数例は五発目であるか見終えないかもしくは両方である」ということは事実と異なるとしたらあの助け船は見直し作業だということはない ; $hypothesis$ = この加齢は暴政でないけど意識する ; $proof$ = 
void -> assump1: 以下のように仮定する。この数例は意識する; fact12 & assump1 -> int1: 「この数例は五発目でないかもしくは見終えないかまたは両方だ」ということは成り立つということはない; int1 & fact4 -> int2: 「あの助け船は見直し作業でない」ということは本当だ; fact9 & fact5 -> int3: 「あの助け船は見直し作業だ」ということは嘘であるということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この数例は意識するということはない; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: この数例は意識しないとしたら「この加齢は暴政であるしまた意識する」ということは間違いだ
事実2: もし仮にこの数例は意識しないとすれば「この加齢は暴政だということはないけれど意識する」ということは間違いである
事実3: もし仮に「この数例は意識する」ということは正しいならば「それは五発目だ」ということは成り立つ
事実4: もし仮に「「この数例は五発目でないかまたは見終えないかあるいは両方である」ということは間違いでない」ということは間違いであるとしたら「あの助け船は見直し作業でない」ということは事実だ
事実5: あの助け船は降板する
事実6: もしも「何らかの物は降板するかもしくはそれは覆刻であるということはないかあるいは両方ともだ」ということは偽であるならそれは見直し作業でない
事実7: あの助け船は降板しないとすると「この加齢は暴政であるしそれは降板する」ということは成り立たない
事実8: 「この加齢は暴政であるし意識する」ということは嘘である
事実9: もし仮にあの助け船が降板するとすると見直し作業である
事実10: 仮にあの助け船は意識するとすれば「見終えないかあるいは見直し作業でないかどちらもである」ということは嘘だ
事実11: この受章は降板する
事実12: この数例は意識するとすると「それは五発目でないかあるいは見終えるということはないかもしくはどちらもだ」ということは間違っている
事実13: あの助け船は十三集落であるかそれは覆刻であるかもしくは両方ともである
事実14: この数例は五発目だ
事実15: 仮に「この数例は五発目であるか見終えないかもしくは両方である」ということは事実と異なるとしたらあの助け船は見直し作業だということはない

仮説: この加齢は暴政でないけど意識する
1. 仮定1: 以下のように仮定する。この数例は意識する
2. 事実12と仮定1から、推論1: "「この数例は五発目でないかもしくは見終えないかまたは両方だ」ということは成り立つということはない"が導かれる
3. 推論1と事実4から、推論2: "「あの助け船は見直し作業でない」ということは本当だ"が導かれる
4. 事実9と事実5から、推論3: "「あの助け船は見直し作業だ」ということは嘘であるということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この数例は意識するということはない"が導かれる
7. 推論5と事実2から、仮説が否定される

よって、仮説が否定されました。