あの画像所見は御献上である
fact1: もし仮に「その少年小説大系は素晴らしくないけどベースクリッパだ」ということは成り立つならばあの本降りはきつい fact2: もし「「把握し辛くない」ということは成り立つ」物があるとしたらそのビデオメモリは甜菜糖でそれはＭＰＵだ fact3: 「あの画像所見は人間っぽくないがしかしそれはきつい」ということは成り立たない fact4: そのビデオメモリは気持ち良い fact5: 「敵戦艦は人間っぽい」ということは正しい fact6: 仮になにかは気持ち良くないならば「きついか敵戦艦だ」ということは成り立つということはない fact7: もし仮にその少年小説大系が素晴らしくないけど敵戦艦ならこの本降りはきつい fact8: もしもそのビデオメモリは甜菜糖であるとすれば「その少年小説大系は人間っぽいが御献上でない」ということは成り立つということはない fact9: もし「なにがしかのものは勝らないけれど第二次整理案だ」ということは成り立つということはないとすると把握し辛くない fact10: もし仮にあの画像所見は人間っぽいとすれば「それは御献上だ」ということは成り立つ fact11: あの精神障害者グループホームは下手する fact12: あの精神障害者グループホームが下手するならあの画像所見は下手する fact13: もし仮にあの画像所見は下手すれば「この本降りは勝らないが第二次整理案だ」ということは事実と異なる fact14: その少年小説大系は人間っぽい fact15: 仮に「その少年小説大系はきついかあるいはそれは敵戦艦である」ということは嘘であるならばあの千年王国は敵戦艦でない fact16: もしその少年小説大系はきつくないとすればあの画像所見は御献上でない fact17: もし仮に「その少年小説大系は素晴らしくないがしかしベースクリッパだ」ということは間違いであるなら「そのビデオメモリは気持ち良くない」ということは確かである fact18: 仮にこの本降りがきついとしたらあの画像所見は敵戦艦だ
void -> assump1: 以下のように仮定する。「その少年小説大系は素晴らしくないけれどベースクリッパだ」ということは成り立たない; fact17 & assump1 -> int1: そのビデオメモリは気持ち良くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: その少年小説大系は素晴らしくないけれどベースクリッパである; int3 & fact1 -> int4: 「この本降りはきつい」ということは確かである; int4 & fact18 -> int5: あの画像所見は敵戦艦だ; fact5 -> int6: もしもあの画像所見は敵戦艦であるとしたら「人間っぽくない」ということは誤っている; int5 & int6 -> int7: あの画像所見は人間っぽい; int7 & fact10 -> hypothesis;
あの画像所見は御献上でない
$facts$ = fact1: もし仮に「その少年小説大系は素晴らしくないけどベースクリッパだ」ということは成り立つならばあの本降りはきつい fact2: もし「「把握し辛くない」ということは成り立つ」物があるとしたらそのビデオメモリは甜菜糖でそれはＭＰＵだ fact3: 「あの画像所見は人間っぽくないがしかしそれはきつい」ということは成り立たない fact4: そのビデオメモリは気持ち良い fact5: 「敵戦艦は人間っぽい」ということは正しい fact6: 仮になにかは気持ち良くないならば「きついか敵戦艦だ」ということは成り立つということはない fact7: もし仮にその少年小説大系が素晴らしくないけど敵戦艦ならこの本降りはきつい fact8: もしもそのビデオメモリは甜菜糖であるとすれば「その少年小説大系は人間っぽいが御献上でない」ということは成り立つということはない fact9: もし「なにがしかのものは勝らないけれど第二次整理案だ」ということは成り立つということはないとすると把握し辛くない fact10: もし仮にあの画像所見は人間っぽいとすれば「それは御献上だ」ということは成り立つ fact11: あの精神障害者グループホームは下手する fact12: あの精神障害者グループホームが下手するならあの画像所見は下手する fact13: もし仮にあの画像所見は下手すれば「この本降りは勝らないが第二次整理案だ」ということは事実と異なる fact14: その少年小説大系は人間っぽい fact15: 仮に「その少年小説大系はきついかあるいはそれは敵戦艦である」ということは嘘であるならばあの千年王国は敵戦艦でない fact16: もしその少年小説大系はきつくないとすればあの画像所見は御献上でない fact17: もし仮に「その少年小説大系は素晴らしくないがしかしベースクリッパだ」ということは間違いであるなら「そのビデオメモリは気持ち良くない」ということは確かである fact18: 仮にこの本降りがきついとしたらあの画像所見は敵戦艦だ ; $hypothesis$ = あの画像所見は御献上である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その少年小説大系は素晴らしくないけれどベースクリッパだ」ということは成り立たない; fact17 & assump1 -> int1: そのビデオメモリは気持ち良くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: その少年小説大系は素晴らしくないけれどベースクリッパである; int3 & fact1 -> int4: 「この本降りはきつい」ということは確かである; int4 & fact18 -> int5: あの画像所見は敵戦艦だ; fact5 -> int6: もしもあの画像所見は敵戦艦であるとしたら「人間っぽくない」ということは誤っている; int5 & int6 -> int7: あの画像所見は人間っぽい; int7 & fact10 -> hypothesis; __PROVED__
事実1: もし仮に「その少年小説大系は素晴らしくないけどベースクリッパだ」ということは成り立つならばあの本降りはきつい
事実2: もし「「把握し辛くない」ということは成り立つ」物があるとしたらそのビデオメモリは甜菜糖でそれはＭＰＵだ
事実3: 「あの画像所見は人間っぽくないがしかしそれはきつい」ということは成り立たない
事実4: そのビデオメモリは気持ち良い
事実5: 「敵戦艦は人間っぽい」ということは正しい
事実6: 仮になにかは気持ち良くないならば「きついか敵戦艦だ」ということは成り立つということはない
事実7: もし仮にその少年小説大系が素晴らしくないけど敵戦艦ならこの本降りはきつい
事実8: もしもそのビデオメモリは甜菜糖であるとすれば「その少年小説大系は人間っぽいが御献上でない」ということは成り立つということはない
事実9: もし「なにがしかのものは勝らないけれど第二次整理案だ」ということは成り立つということはないとすると把握し辛くない
事実10: もし仮にあの画像所見は人間っぽいとすれば「それは御献上だ」ということは成り立つ
事実11: あの精神障害者グループホームは下手する
事実12: あの精神障害者グループホームが下手するならあの画像所見は下手する
事実13: もし仮にあの画像所見は下手すれば「この本降りは勝らないが第二次整理案だ」ということは事実と異なる
事実14: その少年小説大系は人間っぽい
事実15: 仮に「その少年小説大系はきついかあるいはそれは敵戦艦である」ということは嘘であるならばあの千年王国は敵戦艦でない
事実16: もしその少年小説大系はきつくないとすればあの画像所見は御献上でない
事実17: もし仮に「その少年小説大系は素晴らしくないがしかしベースクリッパだ」ということは間違いであるなら「そのビデオメモリは気持ち良くない」ということは確かである
事実18: 仮にこの本降りがきついとしたらあの画像所見は敵戦艦だ

仮説: あの画像所見は御献上である
1. 仮定1: 以下のように仮定する。「その少年小説大系は素晴らしくないけれどベースクリッパだ」ということは成り立たない
2. 事実17と仮定1から、推論1: "そのビデオメモリは気持ち良くない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その少年小説大系は素晴らしくないけれどベースクリッパである"が導かれる
5. 推論3と事実1から、推論4: "「この本降りはきつい」ということは確かである"が導かれる
6. 推論4と事実18から、推論5: "あの画像所見は敵戦艦だ"が導かれる
7. 事実5から、推論6: "もしもあの画像所見は敵戦艦であるとしたら「人間っぽくない」ということは誤っている"が導かれる
8. 推論5と推論6から、推論7: "あの画像所見は人間っぽい"が導かれる
9. 推論7と事実10から、仮説が導かれる

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