「その博打打ちは最もらしいということはない」ということは成り立つ
fact1: もし仮に「この鸚鵡ガイは乗組員達だ」ということは本当ならこの当該受け取り利子は粘稠である fact2: なにがしかのものは大学講師でないとすれば「それは御教示下さらないけど拡散反射光だ」ということは間違いだ fact3: その手櫛は整列する fact4: もしもなんらかのものが離散しないとすれば乗組員達でないけど当該特約だ fact5: 仮にあの団体数が乗組員達でないがそれが当該特約ならばあの当該受け取り利子は推進出来るということはない fact6: 仮になにがしかのものが推敲すれば離散する fact7: 仮にこの当該受け取り利子は転職すれば「あの団体数は推進出来る」ということは正しい fact8: この当該受け取り利子は推進出来ない fact9: もし「とある物は御教示下さらない一方で拡散反射光だ」ということは間違いであるとすれば「それは推敲する」ということは真実である fact10: もし仮にあの団体数が当該特約であるかまたは推進出来るとすればその博打打ちは最もらしくない fact11: 「ある物は転職しないししかも粘稠だということはない」ということは成り立たないとすると「それは最もらしい」ということは正しい fact12: 「その手櫛は戦い取る」ということは真実である fact13: 仮にこの鸚鵡ガイは乗組員達でないならそれは最もらしくない fact14: 仮にこの当該受け取り利子が転職するということはないとしたらそれは粘稠でない fact15: もしその手櫛が戦い取るし整列するならこの鸚鵡ガイは大学講師でない fact16: あの団体数は最もらしい fact17: この鸚鵡ガイが当該特約ならあの団体数は乗組員達である fact18: あの団体数が当該特約であるならその博打打ちは最もらしくない fact19: もし「あの団体数は離散しない」ということは正しいとすればこの当該受け取り利子は最もらしいということはないしかつ当該特約でない fact20: この鸚鵡ガイは乗組員達だ fact21: この当該受け取り利子が当該特約でないとするとあの探照灯は粘稠であるということはないが推進出来る
void -> assump1: 以下のように仮定する。この当該受け取り利子は転職しない; fact14 & assump1 -> int1: この当該受け取り利子は粘稠でない; fact20 & fact1 -> int2: 「この当該受け取り利子は粘稠である」ということは確かである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この当該受け取り利子は転職する; int4 & fact7 -> int5: あの団体数は推進出来る; int5 -> int6: あの団体数は当該特約であるかもしくは推進出来るかもしくは両方ともだ; int6 & fact10 -> hypothesis;
あの探照灯は乗組員達である
$facts$ = fact1: もし仮に「この鸚鵡ガイは乗組員達だ」ということは本当ならこの当該受け取り利子は粘稠である fact2: なにがしかのものは大学講師でないとすれば「それは御教示下さらないけど拡散反射光だ」ということは間違いだ fact3: その手櫛は整列する fact4: もしもなんらかのものが離散しないとすれば乗組員達でないけど当該特約だ fact5: 仮にあの団体数が乗組員達でないがそれが当該特約ならばあの当該受け取り利子は推進出来るということはない fact6: 仮になにがしかのものが推敲すれば離散する fact7: 仮にこの当該受け取り利子は転職すれば「あの団体数は推進出来る」ということは正しい fact8: この当該受け取り利子は推進出来ない fact9: もし「とある物は御教示下さらない一方で拡散反射光だ」ということは間違いであるとすれば「それは推敲する」ということは真実である fact10: もし仮にあの団体数が当該特約であるかまたは推進出来るとすればその博打打ちは最もらしくない fact11: 「ある物は転職しないししかも粘稠だということはない」ということは成り立たないとすると「それは最もらしい」ということは正しい fact12: 「その手櫛は戦い取る」ということは真実である fact13: 仮にこの鸚鵡ガイは乗組員達でないならそれは最もらしくない fact14: 仮にこの当該受け取り利子が転職するということはないとしたらそれは粘稠でない fact15: もしその手櫛が戦い取るし整列するならこの鸚鵡ガイは大学講師でない fact16: あの団体数は最もらしい fact17: この鸚鵡ガイが当該特約ならあの団体数は乗組員達である fact18: あの団体数が当該特約であるならその博打打ちは最もらしくない fact19: もし「あの団体数は離散しない」ということは正しいとすればこの当該受け取り利子は最もらしいということはないしかつ当該特約でない fact20: この鸚鵡ガイは乗組員達だ fact21: この当該受け取り利子が当該特約でないとするとあの探照灯は粘稠であるということはないが推進出来る ; $hypothesis$ = 「その博打打ちは最もらしいということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この当該受け取り利子は転職しない; fact14 & assump1 -> int1: この当該受け取り利子は粘稠でない; fact20 & fact1 -> int2: 「この当該受け取り利子は粘稠である」ということは確かである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この当該受け取り利子は転職する; int4 & fact7 -> int5: あの団体数は推進出来る; int5 -> int6: あの団体数は当該特約であるかもしくは推進出来るかもしくは両方ともだ; int6 & fact10 -> hypothesis; __PROVED__
事実1: もし仮に「この鸚鵡ガイは乗組員達だ」ということは本当ならこの当該受け取り利子は粘稠である
事実2: なにがしかのものは大学講師でないとすれば「それは御教示下さらないけど拡散反射光だ」ということは間違いだ
事実3: その手櫛は整列する
事実4: もしもなんらかのものが離散しないとすれば乗組員達でないけど当該特約だ
事実5: 仮にあの団体数が乗組員達でないがそれが当該特約ならばあの当該受け取り利子は推進出来るということはない
事実6: 仮になにがしかのものが推敲すれば離散する
事実7: 仮にこの当該受け取り利子は転職すれば「あの団体数は推進出来る」ということは正しい
事実8: この当該受け取り利子は推進出来ない
事実9: もし「とある物は御教示下さらない一方で拡散反射光だ」ということは間違いであるとすれば「それは推敲する」ということは真実である
事実10: もし仮にあの団体数が当該特約であるかまたは推進出来るとすればその博打打ちは最もらしくない
事実11: 「ある物は転職しないししかも粘稠だということはない」ということは成り立たないとすると「それは最もらしい」ということは正しい
事実12: 「その手櫛は戦い取る」ということは真実である
事実13: 仮にこの鸚鵡ガイは乗組員達でないならそれは最もらしくない
事実14: 仮にこの当該受け取り利子が転職するということはないとしたらそれは粘稠でない
事実15: もしその手櫛が戦い取るし整列するならこの鸚鵡ガイは大学講師でない
事実16: あの団体数は最もらしい
事実17: この鸚鵡ガイが当該特約ならあの団体数は乗組員達である
事実18: あの団体数が当該特約であるならその博打打ちは最もらしくない
事実19: もし「あの団体数は離散しない」ということは正しいとすればこの当該受け取り利子は最もらしいということはないしかつ当該特約でない
事実20: この鸚鵡ガイは乗組員達だ
事実21: この当該受け取り利子が当該特約でないとするとあの探照灯は粘稠であるということはないが推進出来る

仮説: 「その博打打ちは最もらしいということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。この当該受け取り利子は転職しない
2. 事実14と仮定1から、推論1: "この当該受け取り利子は粘稠でない"が導かれる
3. 事実20と事実1から、推論2: "「この当該受け取り利子は粘稠である」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この当該受け取り利子は転職する"が導かれる
6. 推論4と事実7から、推論5: "あの団体数は推進出来る"が導かれる
7. 推論5から、推論6: "あの団体数は当該特約であるかもしくは推進出来るかもしくは両方ともだ"が導かれる
8. 推論6と事実10から、仮説が導かれる

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