その設定画はもどかしいけれどそれは撤収しない
fact1: あの酒折は例外者である fact2: 「あの酒折は走り続けるかあるいは不穏分子であるか両方ともだ」ということは事実だとすればそれは例外者でない fact3: ランダムアクセスは不穏分子である fact4: 仮にあの酒折が走り続けるとするとそれは例外者でない fact5: その設定画は撤収するということはない fact6: もし仮にあの酒折がもどかしいとすると不穏分子である fact7: 「もし仮にこのキャラメルが走り続けるとするとあの酒折は不穏分子でない」ということは成り立つ fact8: 仮に「あの酒折はもどかしくない」ということは正しいとするとその設定画はもどかしいが撤収しない fact9: 仮に「あの酒折はもどかしくない」ということは真実ならばあの設定画は撤収するということはない
void -> assump1: 以下のように仮定する。あの酒折はもどかしい; fact6 & assump1 -> int1: 「あの酒折は不穏分子である」ということは成り立つ; int1 -> int2: あの酒折は走り続けるかまたは不穏分子であるかあるいは両方ともだ; int2 & fact2 -> int3: あの酒折は例外者でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの酒折はもどかしくない; int5 & fact8 -> hypothesis;
もし仮にその設定画はランダムアクセスであるとすると不穏分子だ
fact10 -> hypothesis;
$facts$ = fact1: あの酒折は例外者である fact2: 「あの酒折は走り続けるかあるいは不穏分子であるか両方ともだ」ということは事実だとすればそれは例外者でない fact3: ランダムアクセスは不穏分子である fact4: 仮にあの酒折が走り続けるとするとそれは例外者でない fact5: その設定画は撤収するということはない fact6: もし仮にあの酒折がもどかしいとすると不穏分子である fact7: 「もし仮にこのキャラメルが走り続けるとするとあの酒折は不穏分子でない」ということは成り立つ fact8: 仮に「あの酒折はもどかしくない」ということは正しいとするとその設定画はもどかしいが撤収しない fact9: 仮に「あの酒折はもどかしくない」ということは真実ならばあの設定画は撤収するということはない ; $hypothesis$ = その設定画はもどかしいけれどそれは撤収しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの酒折はもどかしい; fact6 & assump1 -> int1: 「あの酒折は不穏分子である」ということは成り立つ; int1 -> int2: あの酒折は走り続けるかまたは不穏分子であるかあるいは両方ともだ; int2 & fact2 -> int3: あの酒折は例外者でない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの酒折はもどかしくない; int5 & fact8 -> hypothesis; __PROVED__
事実1: あの酒折は例外者である
事実2: 「あの酒折は走り続けるかあるいは不穏分子であるか両方ともだ」ということは事実だとすればそれは例外者でない
事実3: ランダムアクセスは不穏分子である
事実4: 仮にあの酒折が走り続けるとするとそれは例外者でない
事実5: その設定画は撤収するということはない
事実6: もし仮にあの酒折がもどかしいとすると不穏分子である
事実7: 「もし仮にこのキャラメルが走り続けるとするとあの酒折は不穏分子でない」ということは成り立つ
事実8: 仮に「あの酒折はもどかしくない」ということは正しいとするとその設定画はもどかしいが撤収しない
事実9: 仮に「あの酒折はもどかしくない」ということは真実ならばあの設定画は撤収するということはない

仮説: その設定画はもどかしいけれどそれは撤収しない
1. 仮定1: 以下のように仮定する。あの酒折はもどかしい
2. 事実6と仮定1から、推論1: "「あの酒折は不穏分子である」ということは成り立つ"が導かれる
3. 推論1から、推論2: "あの酒折は走り続けるかまたは不穏分子であるかあるいは両方ともだ"が導かれる
4. 推論2と事実2から、推論3: "あの酒折は例外者でない"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの酒折はもどかしくない"が導かれる
7. 推論5と事実8から、仮説が導かれる

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