「この人有りは汚れるかまたはそれは操作し易いかもしくは両方ともである」ということは嘘だということはない
fact1: もしもある物は乱開発でないなら「汚れるかそれは操作し易いかまたはどちらもだ」ということは嘘だ fact2: この解は遅行するししかもそれはしかつめらしい fact3: もし何かは遅行するとしたら「それは伸ばし易い」ということは事実と異ならない fact4: もしも「何かは墳形だが乗り難くない」ということは成り立たないならそれはＩＴビジネスであるということはない fact5: 仮に「この陣頭は作り難くない」ということは間違いだということはないとすると「あの六温泉は墳形であるが乗り難いということはない」ということは間違いだ fact6: その兄島が捲り上ぐならばあの解は広ーい fact7: 仮に「「形成し易くないし更にしかつめらしくない」ということは事実と異なる」ものはあるとすると「この編目状はしかつめらしい」ということは真実である fact8: このロング・スカートが見届けるとするとそれは作り難いけれど混雑しない fact9: その兄島は乱開発である fact10: 「あるものはＩＴビジネスでない」ということは成り立つとしたら「形成し易くないしおまけにしかつめらしくない」ということは成り立たない fact11: もし「「格好良いということはない」ということは成り立つ」物があるとすればこの人有りは汚れるかあるいはそれは操作し易い fact12: なにがしかのものは伸ばし易い fact13: なにがしかのものはしかつめらしいとすると「遅行するししかも格好良くない」ということは成り立たない fact14: もし「その兄島は広ーいということはない一方で捲り上ぐ」ということは成り立たないとしたら「この人有りは乱開発でない」ということは正しい fact15: もしも「この解は伸ばし易いということはない」ということは事実だとすれば「その兄島は広ーくないけれど捲り上ぐ」ということは成り立たない fact16: もしこのロング・スカートが作り難いけれど混雑しないならこの陣頭は作り難くない fact17: この解は操作し易い fact18: 「「しかつめらしい」ということは本当である」物はある fact19: その兄島は乱開発であるしそれは捲り上ぐ fact20: このロング・スカートは見届けるしおまけにそれは確からしい fact21: 仮に「伸ばし易くて広ーい」ものがあればこの編目状は格好良くない fact22: この解はしかつめらしい
fact19 -> int1: その兄島は捲り上ぐ; int1 & fact6 -> int2: この解は広ーい; fact2 -> int3: この解は遅行する; fact3 -> int4: もしもこの解が遅行するとすると伸ばし易い; int3 & int4 -> int5: この解は伸ばし易い; int2 & int5 -> int6: この解は伸ばし易くて広ーい; int6 -> int7: 「伸ばし易くて更に広ーい」物はある; int7 & fact21 -> int8: この編目状は格好良くない; int8 -> int9: 何らかのものは格好良くない; int9 & fact11 -> hypothesis;
「この人有りは汚れるかまたは操作し易いかまたは両方ともだ」ということは成り立たない
fact27 -> int10: 「もし仮にこの人有りは乱開発でないならば「この人有りは汚れるかもしくはそれは操作し易い」ということは事実でない」ということは成り立つ; fact30 -> int11: この編目状はしかつめらしいとしたら「遅行するが格好良くない」ということは嘘だ; fact28 -> int12: もしあの六温泉はＩＴビジネスでないなら「それは形成し易くないしさらにしかつめらしくない」ということは成り立たない; fact29 -> int13: もし仮に「あの六温泉は墳形だ一方で乗り難くない」ということは成り立たないならＩＴビジネスでない; fact24 -> int14: このロング・スカートは見届ける; fact32 & int14 -> int15: このロング・スカートは作り難いがそれは混雑するということはない; fact33 & int15 -> int16: この陣頭は作り難いということはない; fact26 & int16 -> int17: 「あの六温泉は墳形だ一方で乗り難くない」ということは成り立たない; int13 & int17 -> int18: あの六温泉はＩＴビジネスだということはない; int12 & int18 -> int19: 「あの六温泉は形成し易くないしおまけにしかつめらしいということはない」ということは偽だ; int19 -> int20: 「「形成し易くないししかもしかつめらしくない」ということは間違っている」ものはある; int20 & fact25 -> int21: この編目状はしかつめらしい; int11 & int21 -> int22: 「この編目状は遅行するがしかし格好良いということはない」ということは間違いだ; int22 -> int23: 「「遅行するがしかし格好良いということはない」ということは嘘な」ものはある;
$facts$ = fact1: もしもある物は乱開発でないなら「汚れるかそれは操作し易いかまたはどちらもだ」ということは嘘だ fact2: この解は遅行するししかもそれはしかつめらしい fact3: もし何かは遅行するとしたら「それは伸ばし易い」ということは事実と異ならない fact4: もしも「何かは墳形だが乗り難くない」ということは成り立たないならそれはＩＴビジネスであるということはない fact5: 仮に「この陣頭は作り難くない」ということは間違いだということはないとすると「あの六温泉は墳形であるが乗り難いということはない」ということは間違いだ fact6: その兄島が捲り上ぐならばあの解は広ーい fact7: 仮に「「形成し易くないし更にしかつめらしくない」ということは事実と異なる」ものはあるとすると「この編目状はしかつめらしい」ということは真実である fact8: このロング・スカートが見届けるとするとそれは作り難いけれど混雑しない fact9: その兄島は乱開発である fact10: 「あるものはＩＴビジネスでない」ということは成り立つとしたら「形成し易くないしおまけにしかつめらしくない」ということは成り立たない fact11: もし「「格好良いということはない」ということは成り立つ」物があるとすればこの人有りは汚れるかあるいはそれは操作し易い fact12: なにがしかのものは伸ばし易い fact13: なにがしかのものはしかつめらしいとすると「遅行するししかも格好良くない」ということは成り立たない fact14: もし「その兄島は広ーいということはない一方で捲り上ぐ」ということは成り立たないとしたら「この人有りは乱開発でない」ということは正しい fact15: もしも「この解は伸ばし易いということはない」ということは事実だとすれば「その兄島は広ーくないけれど捲り上ぐ」ということは成り立たない fact16: もしこのロング・スカートが作り難いけれど混雑しないならこの陣頭は作り難くない fact17: この解は操作し易い fact18: 「「しかつめらしい」ということは本当である」物はある fact19: その兄島は乱開発であるしそれは捲り上ぐ fact20: このロング・スカートは見届けるしおまけにそれは確からしい fact21: 仮に「伸ばし易くて広ーい」ものがあればこの編目状は格好良くない fact22: この解はしかつめらしい ; $hypothesis$ = 「この人有りは汚れるかまたはそれは操作し易いかもしくは両方ともである」ということは嘘だということはない ; $proof$ = 
fact19 -> int1: その兄島は捲り上ぐ; int1 & fact6 -> int2: この解は広ーい; fact2 -> int3: この解は遅行する; fact3 -> int4: もしもこの解が遅行するとすると伸ばし易い; int3 & int4 -> int5: この解は伸ばし易い; int2 & int5 -> int6: この解は伸ばし易くて広ーい; int6 -> int7: 「伸ばし易くて更に広ーい」物はある; int7 & fact21 -> int8: この編目状は格好良くない; int8 -> int9: 何らかのものは格好良くない; int9 & fact11 -> hypothesis; __PROVED__
事実1: もしもある物は乱開発でないなら「汚れるかそれは操作し易いかまたはどちらもだ」ということは嘘だ
事実2: この解は遅行するししかもそれはしかつめらしい
事実3: もし何かは遅行するとしたら「それは伸ばし易い」ということは事実と異ならない
事実4: もしも「何かは墳形だが乗り難くない」ということは成り立たないならそれはＩＴビジネスであるということはない
事実5: 仮に「この陣頭は作り難くない」ということは間違いだということはないとすると「あの六温泉は墳形であるが乗り難いということはない」ということは間違いだ
事実6: その兄島が捲り上ぐならばあの解は広ーい
事実7: 仮に「「形成し易くないし更にしかつめらしくない」ということは事実と異なる」ものはあるとすると「この編目状はしかつめらしい」ということは真実である
事実8: このロング・スカートが見届けるとするとそれは作り難いけれど混雑しない
事実9: その兄島は乱開発である
事実10: 「あるものはＩＴビジネスでない」ということは成り立つとしたら「形成し易くないしおまけにしかつめらしくない」ということは成り立たない
事実11: もし「「格好良いということはない」ということは成り立つ」物があるとすればこの人有りは汚れるかあるいはそれは操作し易い
事実12: なにがしかのものは伸ばし易い
事実13: なにがしかのものはしかつめらしいとすると「遅行するししかも格好良くない」ということは成り立たない
事実14: もし「その兄島は広ーいということはない一方で捲り上ぐ」ということは成り立たないとしたら「この人有りは乱開発でない」ということは正しい
事実15: もしも「この解は伸ばし易いということはない」ということは事実だとすれば「その兄島は広ーくないけれど捲り上ぐ」ということは成り立たない
事実16: もしこのロング・スカートが作り難いけれど混雑しないならこの陣頭は作り難くない
事実17: この解は操作し易い
事実18: 「「しかつめらしい」ということは本当である」物はある
事実19: その兄島は乱開発であるしそれは捲り上ぐ
事実20: このロング・スカートは見届けるしおまけにそれは確からしい
事実21: 仮に「伸ばし易くて広ーい」ものがあればこの編目状は格好良くない
事実22: この解はしかつめらしい

仮説: 「この人有りは汚れるかまたはそれは操作し易いかもしくは両方ともである」ということは嘘だということはない
1. 事実19から、推論1: "その兄島は捲り上ぐ"が導かれる
2. 推論1と事実6から、推論2: "この解は広ーい"が導かれる
3. 事実2から、推論3: "この解は遅行する"が導かれる
4. 事実3から、推論4: "もしもこの解が遅行するとすると伸ばし易い"が導かれる
5. 推論3と推論4から、推論5: "この解は伸ばし易い"が導かれる
6. 推論2と推論5から、推論6: "この解は伸ばし易くて広ーい"が導かれる
7. 推論6から、推論7: "「伸ばし易くて更に広ーい」物はある"が導かれる
8. 推論7と事実21から、推論8: "この編目状は格好良くない"が導かれる
9. 推論8から、推論9: "何らかのものは格好良くない"が導かれる
10. 推論9と事実11から、仮説が導かれる

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