その少佐は小煩い
fact1: なにがしかの物はサバイバルしない fact2: もしこの属州総督は密閉容器でないとしたら追記しない fact3: 「追記するし加えてサバイバルしない」ものはある fact4: もし「追記するということはないしサバイバルしない」物があるとしたらその少佐は小煩くない fact5: この属州総督は無し fact6: もしもその少佐が祗園女御だし更に小煩いなら密閉容器だということはない fact7: なにがしかのものが密閉容器でないとしたらそれは追記するということはないし加えてそれはサバイバルしない fact8: 仮に無し物は祗園女御であるとすればそれは密閉容器でない fact9: この属州総督は祗園女御である fact10: もしあるものは密閉容器であるということはないならそれは追記しない fact11: なんらかの物は追記しないけれどサバイバルする fact12: もし仮にその少佐が祗園女御でそれが失火するとしたらそれは薄汚くない fact13: 何らかのものは約束毎でないけどいらしゃる
fact5 & fact9 -> int1: この属州総督は無ししかつそれは祗園女御である; fact8 -> int2: この属州総督が無ししそれは祗園女御であるとするとそれは密閉容器でない; int1 & int2 -> int3: この属州総督は密閉容器でない; fact7 -> int4: 仮にこの属州総督は密閉容器でないとすると追記しないし更にサバイバルしない; int3 & int4 -> int5: 「この属州総督は追記するということはないしサバイバルしない」ということは成り立つ; int5 -> int6: 「追記しなくてサバイバルしない」物はある; int6 & fact4 -> hypothesis;
$facts$ = fact1: なにがしかの物はサバイバルしない fact2: もしこの属州総督は密閉容器でないとしたら追記しない fact3: 「追記するし加えてサバイバルしない」ものはある fact4: もし「追記するということはないしサバイバルしない」物があるとしたらその少佐は小煩くない fact5: この属州総督は無し fact6: もしもその少佐が祗園女御だし更に小煩いなら密閉容器だということはない fact7: なにがしかのものが密閉容器でないとしたらそれは追記するということはないし加えてそれはサバイバルしない fact8: 仮に無し物は祗園女御であるとすればそれは密閉容器でない fact9: この属州総督は祗園女御である fact10: もしあるものは密閉容器であるということはないならそれは追記しない fact11: なんらかの物は追記しないけれどサバイバルする fact12: もし仮にその少佐が祗園女御でそれが失火するとしたらそれは薄汚くない fact13: 何らかのものは約束毎でないけどいらしゃる ; $hypothesis$ = その少佐は小煩い ; $proof$ = 
fact5 & fact9 -> int1: この属州総督は無ししかつそれは祗園女御である; fact8 -> int2: この属州総督が無ししそれは祗園女御であるとするとそれは密閉容器でない; int1 & int2 -> int3: この属州総督は密閉容器でない; fact7 -> int4: 仮にこの属州総督は密閉容器でないとすると追記しないし更にサバイバルしない; int3 & int4 -> int5: 「この属州総督は追記するということはないしサバイバルしない」ということは成り立つ; int5 -> int6: 「追記しなくてサバイバルしない」物はある; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: なにがしかの物はサバイバルしない
事実2: もしこの属州総督は密閉容器でないとしたら追記しない
事実3: 「追記するし加えてサバイバルしない」ものはある
事実4: もし「追記するということはないしサバイバルしない」物があるとしたらその少佐は小煩くない
事実5: この属州総督は無し
事実6: もしもその少佐が祗園女御だし更に小煩いなら密閉容器だということはない
事実7: なにがしかのものが密閉容器でないとしたらそれは追記するということはないし加えてそれはサバイバルしない
事実8: 仮に無し物は祗園女御であるとすればそれは密閉容器でない
事実9: この属州総督は祗園女御である
事実10: もしあるものは密閉容器であるということはないならそれは追記しない
事実11: なんらかの物は追記しないけれどサバイバルする
事実12: もし仮にその少佐が祗園女御でそれが失火するとしたらそれは薄汚くない
事実13: 何らかのものは約束毎でないけどいらしゃる

仮説: その少佐は小煩い
1. 事実5と事実9から、推論1: "この属州総督は無ししかつそれは祗園女御である"が導かれる
2. 事実8から、推論2: "この属州総督が無ししそれは祗園女御であるとするとそれは密閉容器でない"が導かれる
3. 推論1と推論2から、推論3: "この属州総督は密閉容器でない"が導かれる
4. 事実7から、推論4: "仮にこの属州総督は密閉容器でないとすると追記しないし更にサバイバルしない"が導かれる
5. 推論3と推論4から、推論5: "「この属州総督は追記するということはないしサバイバルしない」ということは成り立つ"が導かれる
6. 推論5から、推論6: "「追記しなくてサバイバルしない」物はある"が導かれる
7. 推論6と事実4から、仮説が否定される

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