あの原核は制限出来る
fact1: もしもあの原核が御詳しくないとしたらそれは可笑しい fact2: もし仮に何らかの物は逆流するとしたら「それは制限出来る」ということは正しい fact3: あの原核は御化けでないか御詳しくないか両方である fact4: 仮にとある物は御詳しくないならば「それが逆流するしその上御化けでない」ということは成り立たない fact5: なにかは赤らむ fact6: もしもなにがしかのものは可笑しくないなら「警察手帳である一方で逆流しない」ということは成り立たない fact7: 「もしもあの原核が逆流するならあの原核は制限出来る」ということは事実である fact8: もしも「あの原核は逆流しない」ということは確かであるならばそれはうら若くない fact9: もしも「なんらかのものは年号であるけれど守護女神でない」ということは間違っているとしたら「それはＩツーだ」ということは確かだ fact10: もし仮にあるものは可笑しくないとしたら「警察手帳で逆流する」ということは成り立つということはない fact11: もし「「何らかのものは警察手帳である一方で逆流しない」ということは真実である」ということは成り立つということはないとすれば制限出来る fact12: もし「このど根性はっ早いけれど警察手帳でない」ということは嘘ならば痛み易い fact13: あの原核が御詳しくないとしたらそれは可笑しいということはない fact14: 「あの原核は警察手帳であるし逆流する」ということは誤っている fact15: あの原核が御化けだということはないならばそれは可笑しくない fact16: 「あの原核は捕らわれ易いけど制限出来ない」ということは成り立たない
fact6 -> int1: もしもあの原核は可笑しくないとすると「警察手帳であるけれど逆流しない」ということは成り立たない; fact15 & fact13 & fact3 -> int2: あの原核は可笑しくない; int1 & int2 -> int3: 「あの原核は警察手帳だけど逆流しない」ということは誤っている; fact11 -> int4: 「あの原核は警察手帳であるがしかし逆流しない」ということは事実と異なるならそれは制限出来る; int3 & int4 -> hypothesis;
あの原核は制限出来ない
$facts$ = fact1: もしもあの原核が御詳しくないとしたらそれは可笑しい fact2: もし仮に何らかの物は逆流するとしたら「それは制限出来る」ということは正しい fact3: あの原核は御化けでないか御詳しくないか両方である fact4: 仮にとある物は御詳しくないならば「それが逆流するしその上御化けでない」ということは成り立たない fact5: なにかは赤らむ fact6: もしもなにがしかのものは可笑しくないなら「警察手帳である一方で逆流しない」ということは成り立たない fact7: 「もしもあの原核が逆流するならあの原核は制限出来る」ということは事実である fact8: もしも「あの原核は逆流しない」ということは確かであるならばそれはうら若くない fact9: もしも「なんらかのものは年号であるけれど守護女神でない」ということは間違っているとしたら「それはＩツーだ」ということは確かだ fact10: もし仮にあるものは可笑しくないとしたら「警察手帳で逆流する」ということは成り立つということはない fact11: もし「「何らかのものは警察手帳である一方で逆流しない」ということは真実である」ということは成り立つということはないとすれば制限出来る fact12: もし「このど根性はっ早いけれど警察手帳でない」ということは嘘ならば痛み易い fact13: あの原核が御詳しくないとしたらそれは可笑しいということはない fact14: 「あの原核は警察手帳であるし逆流する」ということは誤っている fact15: あの原核が御化けだということはないならばそれは可笑しくない fact16: 「あの原核は捕らわれ易いけど制限出来ない」ということは成り立たない ; $hypothesis$ = あの原核は制限出来る ; $proof$ = 
fact6 -> int1: もしもあの原核は可笑しくないとすると「警察手帳であるけれど逆流しない」ということは成り立たない; fact15 & fact13 & fact3 -> int2: あの原核は可笑しくない; int1 & int2 -> int3: 「あの原核は警察手帳だけど逆流しない」ということは誤っている; fact11 -> int4: 「あの原核は警察手帳であるがしかし逆流しない」ということは事実と異なるならそれは制限出来る; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもあの原核が御詳しくないとしたらそれは可笑しい
事実2: もし仮に何らかの物は逆流するとしたら「それは制限出来る」ということは正しい
事実3: あの原核は御化けでないか御詳しくないか両方である
事実4: 仮にとある物は御詳しくないならば「それが逆流するしその上御化けでない」ということは成り立たない
事実5: なにかは赤らむ
事実6: もしもなにがしかのものは可笑しくないなら「警察手帳である一方で逆流しない」ということは成り立たない
事実7: 「もしもあの原核が逆流するならあの原核は制限出来る」ということは事実である
事実8: もしも「あの原核は逆流しない」ということは確かであるならばそれはうら若くない
事実9: もしも「なんらかのものは年号であるけれど守護女神でない」ということは間違っているとしたら「それはＩツーだ」ということは確かだ
事実10: もし仮にあるものは可笑しくないとしたら「警察手帳で逆流する」ということは成り立つということはない
事実11: もし「「何らかのものは警察手帳である一方で逆流しない」ということは真実である」ということは成り立つということはないとすれば制限出来る
事実12: もし「このど根性はっ早いけれど警察手帳でない」ということは嘘ならば痛み易い
事実13: あの原核が御詳しくないとしたらそれは可笑しいということはない
事実14: 「あの原核は警察手帳であるし逆流する」ということは誤っている
事実15: あの原核が御化けだということはないならばそれは可笑しくない
事実16: 「あの原核は捕らわれ易いけど制限出来ない」ということは成り立たない

仮説: あの原核は制限出来る
1. 事実6から、推論1: "もしもあの原核は可笑しくないとすると「警察手帳であるけれど逆流しない」ということは成り立たない"が導かれる
2. 事実15と事実13と事実3から、推論2: "あの原核は可笑しくない"が導かれる
3. 推論1と推論2から、推論3: "「あの原核は警察手帳だけど逆流しない」ということは誤っている"が導かれる
4. 事実11から、推論4: "「あの原核は警察手帳であるがしかし逆流しない」ということは事実と異なるならそれは制限出来る"が導かれる
5. 推論3と推論4から、仮説が導かれる

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