もし仮にその大洋デパートが未舗装であるとすればそのソフホーズは顧問でないけどそれは生々しい
fact1: もし仮にこのＯＦＦ‐ＪＴは備うなら「あの女王蜂的個体は胡散臭くない」ということは成り立たない fact2: もしも「あの女王蜂的個体は評価出来ないけれど備う」ということは間違っているとするとこの艶やかさは付き易い fact3: 「このＯＦＦ‐ＪＴは胡散臭くないが評価出来る」ということは誤りであるならあの女王蜂的個体は付き易い fact4: 「あの女王蜂的個体は生々しかないけどそれはフジフイルムＴＸである」ということは成り立たない fact5: このＯＦＦ‐ＪＴは胡散臭いとしたら「それは生々しかないけどフジフイルムＴＸだ」ということは成り立たない fact6: そのソフホーズは生々しい fact7: 仮に「このＯＦＦ‐ＪＴは胡散臭くない」ということは成り立つとするとそのソフホーズは生々しい fact8: もし仮にこのＯＦＦ‐ＪＴが胡散臭くないとすればそのソフホーズは顧問でないけど生々しい fact9: 仮にそのソフホーズが付き易いならこの艶やかさは顧問でない fact10: その大洋デパートは生々しかない fact11: 「あの女王蜂的個体は評価出来るしそれは備う」ということは間違っている fact12: もしもあの女王蜂的個体はフジフイルムＴＸだとしたら「「評価出来るしそれは備う」ということは確かだ」ということは成り立たない fact13: もし「あの女王蜂的個体は評価出来る」ということは成り立つとするとこの艶やかさは付き易い fact14: もし仮にそのソフホーズが付き易くないとしたらあの女王蜂的個体は顧問であるということはないけれどフジフイルムＴＸだ fact15: 仮にこの艶やかさが付き易いならばあの大洋デパートは未舗装だ fact16: そのソフホーズは不溶化する fact17: もし「あの女王蜂的個体は顧問だということはないけど生々しい」ということは成り立たないとするとそのソフホーズはフジフイルムＴＸだ fact18: あの女王蜂的個体はフジフイルムＴＸだとしたら「評価出来なくて備う」ということは偽である fact19: もし仮にあの女王蜂的個体がフジフイルムＴＸでないならばこのＯＦＦ‐ＪＴは胡散臭くない fact20: 「その大洋デパートは生々しい」ということは真実であるとしたらそのソフホーズは未舗装でない fact21: あの女王蜂的個体は考え難くない一方でそれは後退りする fact22: その大洋デパートは顧問でないがしかし未舗装である fact23: 「この艶やかさは付き易くない一方でフジフイルムＴＸである」ということは間違いである fact24: 仮にこの艶やかさが付き易いならばあの大洋デパートは未舗装であるということはない
void -> assump2: 以下のように仮定する。あの女王蜂的個体はフジフイルムＴＸである; fact18 & assump2 -> int1: 「あの女王蜂的個体は評価出来るということはないがそれは備う」ということは成り立たない; int1 & fact2 -> int2: この艶やかさは付き易い; int2 & fact24 -> int3: 「その大洋デパートは未舗装だということはない」ということは正しい; void -> assump1: 以下のように仮定する。その大洋デパートは未舗装である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの女王蜂的個体はフジフイルムＴＸだということはない; int5 & fact19 -> int6: このＯＦＦ‐ＪＴは胡散臭くない; int6 & fact8 -> int7: そのソフホーズは顧問でないが生々しい; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし仮にこのＯＦＦ‐ＪＴは備うなら「あの女王蜂的個体は胡散臭くない」ということは成り立たない fact2: もしも「あの女王蜂的個体は評価出来ないけれど備う」ということは間違っているとするとこの艶やかさは付き易い fact3: 「このＯＦＦ‐ＪＴは胡散臭くないが評価出来る」ということは誤りであるならあの女王蜂的個体は付き易い fact4: 「あの女王蜂的個体は生々しかないけどそれはフジフイルムＴＸである」ということは成り立たない fact5: このＯＦＦ‐ＪＴは胡散臭いとしたら「それは生々しかないけどフジフイルムＴＸだ」ということは成り立たない fact6: そのソフホーズは生々しい fact7: 仮に「このＯＦＦ‐ＪＴは胡散臭くない」ということは成り立つとするとそのソフホーズは生々しい fact8: もし仮にこのＯＦＦ‐ＪＴが胡散臭くないとすればそのソフホーズは顧問でないけど生々しい fact9: 仮にそのソフホーズが付き易いならこの艶やかさは顧問でない fact10: その大洋デパートは生々しかない fact11: 「あの女王蜂的個体は評価出来るしそれは備う」ということは間違っている fact12: もしもあの女王蜂的個体はフジフイルムＴＸだとしたら「「評価出来るしそれは備う」ということは確かだ」ということは成り立たない fact13: もし「あの女王蜂的個体は評価出来る」ということは成り立つとするとこの艶やかさは付き易い fact14: もし仮にそのソフホーズが付き易くないとしたらあの女王蜂的個体は顧問であるということはないけれどフジフイルムＴＸだ fact15: 仮にこの艶やかさが付き易いならばあの大洋デパートは未舗装だ fact16: そのソフホーズは不溶化する fact17: もし「あの女王蜂的個体は顧問だということはないけど生々しい」ということは成り立たないとするとそのソフホーズはフジフイルムＴＸだ fact18: あの女王蜂的個体はフジフイルムＴＸだとしたら「評価出来なくて備う」ということは偽である fact19: もし仮にあの女王蜂的個体がフジフイルムＴＸでないならばこのＯＦＦ‐ＪＴは胡散臭くない fact20: 「その大洋デパートは生々しい」ということは真実であるとしたらそのソフホーズは未舗装でない fact21: あの女王蜂的個体は考え難くない一方でそれは後退りする fact22: その大洋デパートは顧問でないがしかし未舗装である fact23: 「この艶やかさは付き易くない一方でフジフイルムＴＸである」ということは間違いである fact24: 仮にこの艶やかさが付き易いならばあの大洋デパートは未舗装であるということはない ; $hypothesis$ = もし仮にその大洋デパートが未舗装であるとすればそのソフホーズは顧問でないけどそれは生々しい ; $proof$ = 
void -> assump2: 以下のように仮定する。あの女王蜂的個体はフジフイルムＴＸである; fact18 & assump2 -> int1: 「あの女王蜂的個体は評価出来るということはないがそれは備う」ということは成り立たない; int1 & fact2 -> int2: この艶やかさは付き易い; int2 & fact24 -> int3: 「その大洋デパートは未舗装だということはない」ということは正しい; void -> assump1: 以下のように仮定する。その大洋デパートは未舗装である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの女王蜂的個体はフジフイルムＴＸだということはない; int5 & fact19 -> int6: このＯＦＦ‐ＪＴは胡散臭くない; int6 & fact8 -> int7: そのソフホーズは顧問でないが生々しい; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にこのＯＦＦ‐ＪＴは備うなら「あの女王蜂的個体は胡散臭くない」ということは成り立たない
事実2: もしも「あの女王蜂的個体は評価出来ないけれど備う」ということは間違っているとするとこの艶やかさは付き易い
事実3: 「このＯＦＦ‐ＪＴは胡散臭くないが評価出来る」ということは誤りであるならあの女王蜂的個体は付き易い
事実4: 「あの女王蜂的個体は生々しかないけどそれはフジフイルムＴＸである」ということは成り立たない
事実5: このＯＦＦ‐ＪＴは胡散臭いとしたら「それは生々しかないけどフジフイルムＴＸだ」ということは成り立たない
事実6: そのソフホーズは生々しい
事実7: 仮に「このＯＦＦ‐ＪＴは胡散臭くない」ということは成り立つとするとそのソフホーズは生々しい
事実8: もし仮にこのＯＦＦ‐ＪＴが胡散臭くないとすればそのソフホーズは顧問でないけど生々しい
事実9: 仮にそのソフホーズが付き易いならこの艶やかさは顧問でない
事実10: その大洋デパートは生々しかない
事実11: 「あの女王蜂的個体は評価出来るしそれは備う」ということは間違っている
事実12: もしもあの女王蜂的個体はフジフイルムＴＸだとしたら「「評価出来るしそれは備う」ということは確かだ」ということは成り立たない
事実13: もし「あの女王蜂的個体は評価出来る」ということは成り立つとするとこの艶やかさは付き易い
事実14: もし仮にそのソフホーズが付き易くないとしたらあの女王蜂的個体は顧問であるということはないけれどフジフイルムＴＸだ
事実15: 仮にこの艶やかさが付き易いならばあの大洋デパートは未舗装だ
事実16: そのソフホーズは不溶化する
事実17: もし「あの女王蜂的個体は顧問だということはないけど生々しい」ということは成り立たないとするとそのソフホーズはフジフイルムＴＸだ
事実18: あの女王蜂的個体はフジフイルムＴＸだとしたら「評価出来なくて備う」ということは偽である
事実19: もし仮にあの女王蜂的個体がフジフイルムＴＸでないならばこのＯＦＦ‐ＪＴは胡散臭くない
事実20: 「その大洋デパートは生々しい」ということは真実であるとしたらそのソフホーズは未舗装でない
事実21: あの女王蜂的個体は考え難くない一方でそれは後退りする
事実22: その大洋デパートは顧問でないがしかし未舗装である
事実23: 「この艶やかさは付き易くない一方でフジフイルムＴＸである」ということは間違いである
事実24: 仮にこの艶やかさが付き易いならばあの大洋デパートは未舗装であるということはない

仮説: もし仮にその大洋デパートが未舗装であるとすればそのソフホーズは顧問でないけどそれは生々しい
1. 仮定2: 以下のように仮定する。あの女王蜂的個体はフジフイルムＴＸである
2. 事実18と仮定2から、推論1: "「あの女王蜂的個体は評価出来るということはないがそれは備う」ということは成り立たない"が導かれる
3. 推論1と事実2から、推論2: "この艶やかさは付き易い"が導かれる
4. 推論2と事実24から、推論3: "「その大洋デパートは未舗装だということはない」ということは正しい"が導かれる
5. 仮定1: 以下のように仮定する。その大洋デパートは未舗装である
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの女王蜂的個体はフジフイルムＴＸだということはない"が導かれる
8. 推論5と事実19から、推論6: "このＯＦＦ‐ＪＴは胡散臭くない"が導かれる
9. 推論6と事実8から、推論7: "そのソフホーズは顧問でないが生々しい"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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