そのリンガ泊地は確定金額である
fact1: もしあの海石榴市が疑い深いとしたらそのリンガ泊地は逮捕・勾留である fact2: 仮になにがしかの物は停泊しないとしたら「この四区は下落しないし更にそれは銀河鉄道でない」ということは成り立つ fact3: 仮に「とあるものが下落しないしさらに銀河鉄道でない」ということは成り立つとしたらそれは逮捕・勾留だ fact4: もしもとある物は先取りしないとすれば「素早いということはない」ということは事実だ fact5: もしもこの四区は素早くないなら「三川艦隊であるしその上野太い」ということは正しい fact6: 確定金額は梟だ fact7: なんらかのものは原発無月経だとすると「それは野太いし先取りしない」ということは嘘だ fact8: その民訴は人口規模でない fact9: もし仮にあの海石榴市が疑い深くないならばあのリンガ泊地は確定金額でなくてその上梟であるということはない fact10: もし仮にあの海石榴市は梟であるとすると「この持ち切りは逮捕・勾留である」ということは成り立つ fact11: 仮にこの四区が野太いしそれに疑い深いとするとそのリンガ泊地は疑い深いということはない fact12: そのリンガ泊地は疑い深くないとしたら「あの海石榴市は梟でなくて確定金額でない」ということは間違いである fact13: 「なんらかの物は梟でなくて加えて確定金額でない」ということは成り立つということはないなら梟だ fact14: あの書伝は原発無月経だ fact15: 仮に「あの書伝は野太いが先取りするということはない」ということは成り立つということはないとしたらこの四区は野太い fact16: その民訴は人口規模でないなら「この四区は原発無月経であるということはなくてそれは儚くない」ということは成り立たない fact17: 仮に「この四区は原発無月経でなくて加えてそれは儚いということはない」ということは成り立たないとすればそれは先取りしない fact18: 「停泊するということはない」ものはある fact19: あの海石榴市は梟だし疑い深い fact20: 仮にあの海石榴市は逮捕・勾留であるならば「それは疑い深い」ということは正しい fact21: なんらかのものは逮捕・勾留であるならばそれは確定金額だ
fact19 -> int1: あの海石榴市は疑い深い; int1 & fact1 -> int2: そのリンガ泊地は逮捕・勾留である; fact21 -> int3: もしそのリンガ泊地は逮捕・勾留であるならばそれは確定金額である; int2 & int3 -> hypothesis;
この持ち切りは逮捕・勾留だ
fact22 -> int4: もしも「あの海石榴市は梟でないし更にそれは確定金額でない」ということは誤っているとすれば「それは梟だ」ということは確かだ; fact24 -> int5: 仮にあの書伝は原発無月経であるとしたら「野太い一方で先取りしない」ということは間違っている; int5 & fact23 -> int6: 「あの書伝は野太いがしかし先取りしない」ということは間違いだ; fact28 & int6 -> int7: この四区は野太い;
$facts$ = fact1: もしあの海石榴市が疑い深いとしたらそのリンガ泊地は逮捕・勾留である fact2: 仮になにがしかの物は停泊しないとしたら「この四区は下落しないし更にそれは銀河鉄道でない」ということは成り立つ fact3: 仮に「とあるものが下落しないしさらに銀河鉄道でない」ということは成り立つとしたらそれは逮捕・勾留だ fact4: もしもとある物は先取りしないとすれば「素早いということはない」ということは事実だ fact5: もしもこの四区は素早くないなら「三川艦隊であるしその上野太い」ということは正しい fact6: 確定金額は梟だ fact7: なんらかのものは原発無月経だとすると「それは野太いし先取りしない」ということは嘘だ fact8: その民訴は人口規模でない fact9: もし仮にあの海石榴市が疑い深くないならばあのリンガ泊地は確定金額でなくてその上梟であるということはない fact10: もし仮にあの海石榴市は梟であるとすると「この持ち切りは逮捕・勾留である」ということは成り立つ fact11: 仮にこの四区が野太いしそれに疑い深いとするとそのリンガ泊地は疑い深いということはない fact12: そのリンガ泊地は疑い深くないとしたら「あの海石榴市は梟でなくて確定金額でない」ということは間違いである fact13: 「なんらかの物は梟でなくて加えて確定金額でない」ということは成り立つということはないなら梟だ fact14: あの書伝は原発無月経だ fact15: 仮に「あの書伝は野太いが先取りするということはない」ということは成り立つということはないとしたらこの四区は野太い fact16: その民訴は人口規模でないなら「この四区は原発無月経であるということはなくてそれは儚くない」ということは成り立たない fact17: 仮に「この四区は原発無月経でなくて加えてそれは儚いということはない」ということは成り立たないとすればそれは先取りしない fact18: 「停泊するということはない」ものはある fact19: あの海石榴市は梟だし疑い深い fact20: 仮にあの海石榴市は逮捕・勾留であるならば「それは疑い深い」ということは正しい fact21: なんらかのものは逮捕・勾留であるならばそれは確定金額だ ; $hypothesis$ = そのリンガ泊地は確定金額である ; $proof$ = 
fact19 -> int1: あの海石榴市は疑い深い; int1 & fact1 -> int2: そのリンガ泊地は逮捕・勾留である; fact21 -> int3: もしそのリンガ泊地は逮捕・勾留であるならばそれは確定金額である; int2 & int3 -> hypothesis; __PROVED__
事実1: もしあの海石榴市が疑い深いとしたらそのリンガ泊地は逮捕・勾留である
事実2: 仮になにがしかの物は停泊しないとしたら「この四区は下落しないし更にそれは銀河鉄道でない」ということは成り立つ
事実3: 仮に「とあるものが下落しないしさらに銀河鉄道でない」ということは成り立つとしたらそれは逮捕・勾留だ
事実4: もしもとある物は先取りしないとすれば「素早いということはない」ということは事実だ
事実5: もしもこの四区は素早くないなら「三川艦隊であるしその上野太い」ということは正しい
事実6: 確定金額は梟だ
事実7: なんらかのものは原発無月経だとすると「それは野太いし先取りしない」ということは嘘だ
事実8: その民訴は人口規模でない
事実9: もし仮にあの海石榴市が疑い深くないならばあのリンガ泊地は確定金額でなくてその上梟であるということはない
事実10: もし仮にあの海石榴市は梟であるとすると「この持ち切りは逮捕・勾留である」ということは成り立つ
事実11: 仮にこの四区が野太いしそれに疑い深いとするとそのリンガ泊地は疑い深いということはない
事実12: そのリンガ泊地は疑い深くないとしたら「あの海石榴市は梟でなくて確定金額でない」ということは間違いである
事実13: 「なんらかの物は梟でなくて加えて確定金額でない」ということは成り立つということはないなら梟だ
事実14: あの書伝は原発無月経だ
事実15: 仮に「あの書伝は野太いが先取りするということはない」ということは成り立つということはないとしたらこの四区は野太い
事実16: その民訴は人口規模でないなら「この四区は原発無月経であるということはなくてそれは儚くない」ということは成り立たない
事実17: 仮に「この四区は原発無月経でなくて加えてそれは儚いということはない」ということは成り立たないとすればそれは先取りしない
事実18: 「停泊するということはない」ものはある
事実19: あの海石榴市は梟だし疑い深い
事実20: 仮にあの海石榴市は逮捕・勾留であるならば「それは疑い深い」ということは正しい
事実21: なんらかのものは逮捕・勾留であるならばそれは確定金額だ

仮説: そのリンガ泊地は確定金額である
1. 事実19から、推論1: "あの海石榴市は疑い深い"が導かれる
2. 推論1と事実1から、推論2: "そのリンガ泊地は逮捕・勾留である"が導かれる
3. 事実21から、推論3: "もしそのリンガ泊地は逮捕・勾留であるならばそれは確定金額である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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