このワンピースは出難くない
fact1: その十七年度はトランクルーム内だ fact2: 「ウイルス分離な」ものがあるならそのＶＤＲ発現は困惑するしいじらしい fact3: もしもそのＶＤＲ発現がいじらしいならばこの権利確定日は色覚異常者であるかまたはそれは販売量であるかどちらもだ fact4: この権利確定日は色覚異常者であるかあるいは販売量である fact5: もしも「なにかは出難いということはないがしかしそれは困惑する」ということは成り立たないとすれば出難い fact6: もしもあのジーンが赤黒いとするとその十七年度は着服する fact7: そのＶＤＲ発現はウイルス分離だとしたら「このワンピースは出難くないがしかし困惑する」ということは成り立たない fact8: 仮に何かは販売量でないとするとあのジーンは赤黒い fact9: もしこのワンピースが赤黒いとすればあのジーンは出難い fact10: あのジーンはいじらしい fact11: もし仮に「色覚異常者であるか販売量でない」ものがあるならあのジーンは赤黒い fact12: 「ウイルス分離な」ものはある fact13: もし仮に「その十七年度は困惑する」ということは真実であるなら「そのＶＤＲ発現はトランクルーム内だ」ということは本当である fact14: あのジーンは出難い fact15: もし仮にその十七年度が着服するしおまけにそれがトランクルーム内であるならこのワンピースは出難くない fact16: もしもそのＶＤＲ発現がいじらしいならばこの権利確定日は色覚異常者であるかもしくは販売量でないかもしくは両方ともである fact17: もしも何らかのものがウイルス分離だとするとそのＶＤＲ発現は困惑する fact18: その十七年度は色覚異常者であるかもしくは着服しないか両方ともである fact19: その十七年度は飛び上がる
fact12 & fact2 -> int1: そのＶＤＲ発現は困惑するしそれにいじらしい; int1 -> int2: そのＶＤＲ発現はいじらしい; int2 & fact16 -> int3: この権利確定日は色覚異常者であるかあるいは販売量でないかもしくは両方だ; int3 -> int4: なんらかの物は色覚異常者であるかもしくは販売量だということはない; int4 & fact11 -> int5: あのジーンは赤黒い; int5 & fact6 -> int6: その十七年度は着服する; int6 & fact1 -> int7: その十七年度は着服するしそれにそれはトランクルーム内である; int7 & fact15 -> hypothesis;
このワンピースは出難い
fact20 -> int8: もし仮に「このワンピースは出難くないけど困惑する」ということは間違っているならそれは出難い;
$facts$ = fact1: その十七年度はトランクルーム内だ fact2: 「ウイルス分離な」ものがあるならそのＶＤＲ発現は困惑するしいじらしい fact3: もしもそのＶＤＲ発現がいじらしいならばこの権利確定日は色覚異常者であるかまたはそれは販売量であるかどちらもだ fact4: この権利確定日は色覚異常者であるかあるいは販売量である fact5: もしも「なにかは出難いということはないがしかしそれは困惑する」ということは成り立たないとすれば出難い fact6: もしもあのジーンが赤黒いとするとその十七年度は着服する fact7: そのＶＤＲ発現はウイルス分離だとしたら「このワンピースは出難くないがしかし困惑する」ということは成り立たない fact8: 仮に何かは販売量でないとするとあのジーンは赤黒い fact9: もしこのワンピースが赤黒いとすればあのジーンは出難い fact10: あのジーンはいじらしい fact11: もし仮に「色覚異常者であるか販売量でない」ものがあるならあのジーンは赤黒い fact12: 「ウイルス分離な」ものはある fact13: もし仮に「その十七年度は困惑する」ということは真実であるなら「そのＶＤＲ発現はトランクルーム内だ」ということは本当である fact14: あのジーンは出難い fact15: もし仮にその十七年度が着服するしおまけにそれがトランクルーム内であるならこのワンピースは出難くない fact16: もしもそのＶＤＲ発現がいじらしいならばこの権利確定日は色覚異常者であるかもしくは販売量でないかもしくは両方ともである fact17: もしも何らかのものがウイルス分離だとするとそのＶＤＲ発現は困惑する fact18: その十七年度は色覚異常者であるかもしくは着服しないか両方ともである fact19: その十七年度は飛び上がる ; $hypothesis$ = このワンピースは出難くない ; $proof$ = 
fact12 & fact2 -> int1: そのＶＤＲ発現は困惑するしそれにいじらしい; int1 -> int2: そのＶＤＲ発現はいじらしい; int2 & fact16 -> int3: この権利確定日は色覚異常者であるかあるいは販売量でないかもしくは両方だ; int3 -> int4: なんらかの物は色覚異常者であるかもしくは販売量だということはない; int4 & fact11 -> int5: あのジーンは赤黒い; int5 & fact6 -> int6: その十七年度は着服する; int6 & fact1 -> int7: その十七年度は着服するしそれにそれはトランクルーム内である; int7 & fact15 -> hypothesis; __PROVED__
事実1: その十七年度はトランクルーム内だ
事実2: 「ウイルス分離な」ものがあるならそのＶＤＲ発現は困惑するしいじらしい
事実3: もしもそのＶＤＲ発現がいじらしいならばこの権利確定日は色覚異常者であるかまたはそれは販売量であるかどちらもだ
事実4: この権利確定日は色覚異常者であるかあるいは販売量である
事実5: もしも「なにかは出難いということはないがしかしそれは困惑する」ということは成り立たないとすれば出難い
事実6: もしもあのジーンが赤黒いとするとその十七年度は着服する
事実7: そのＶＤＲ発現はウイルス分離だとしたら「このワンピースは出難くないがしかし困惑する」ということは成り立たない
事実8: 仮に何かは販売量でないとするとあのジーンは赤黒い
事実9: もしこのワンピースが赤黒いとすればあのジーンは出難い
事実10: あのジーンはいじらしい
事実11: もし仮に「色覚異常者であるか販売量でない」ものがあるならあのジーンは赤黒い
事実12: 「ウイルス分離な」ものはある
事実13: もし仮に「その十七年度は困惑する」ということは真実であるなら「そのＶＤＲ発現はトランクルーム内だ」ということは本当である
事実14: あのジーンは出難い
事実15: もし仮にその十七年度が着服するしおまけにそれがトランクルーム内であるならこのワンピースは出難くない
事実16: もしもそのＶＤＲ発現がいじらしいならばこの権利確定日は色覚異常者であるかもしくは販売量でないかもしくは両方ともである
事実17: もしも何らかのものがウイルス分離だとするとそのＶＤＲ発現は困惑する
事実18: その十七年度は色覚異常者であるかもしくは着服しないか両方ともである
事実19: その十七年度は飛び上がる

仮説: このワンピースは出難くない
1. 事実12と事実2から、推論1: "そのＶＤＲ発現は困惑するしそれにいじらしい"が導かれる
2. 推論1から、推論2: "そのＶＤＲ発現はいじらしい"が導かれる
3. 推論2と事実16から、推論3: "この権利確定日は色覚異常者であるかあるいは販売量でないかもしくは両方だ"が導かれる
4. 推論3から、推論4: "なんらかの物は色覚異常者であるかもしくは販売量だということはない"が導かれる
5. 推論4と事実11から、推論5: "あのジーンは赤黒い"が導かれる
6. 推論5と事実6から、推論6: "その十七年度は着服する"が導かれる
7. 推論6と事実1から、推論7: "その十七年度は着服するしそれにそれはトランクルーム内である"が導かれる
8. 推論7と事実15から、仮説が導かれる

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