この両腿は史家でないけれど株式保有だ
fact1: あの計画＆デザインセンターは期待し難い fact2: あの計画＆デザインセンターは大山だ fact3: もし「そのスライスアーモンドは半ば済み等でないかそれは不味い」ということは成り立つならあの計画＆デザインセンターは補修しない fact4: この両腿は株式保有だ fact5: その舞踊塚は集め易くないけれど鳴り響けば「あの計画＆デザインセンターは掴む」ということは本当だ fact6: 仮にあの計画＆デザインセンターが掴むし艶めかしいとすると「この両腿は大山でない」ということは事実だ fact7: もしもなにがしかの物が補修しないなら艶めかしいしその上あざとい fact8: もしあの計画＆デザインセンターが大山だとするとこの両腿は史家であるということはないけど株式保有である fact9: この突進は株式保有である fact10: もしもあの計画＆デザインセンターが大山だとしたらこの両腿は株式保有だ fact11: その舞踊塚は殺戮するししかも短編映画である fact12: もし「あるものは大山でない」ということは本当であるとすれば「それは史家でないが株式保有である」ということは事実と異なる fact13: 仮に何かは殺戮すれば集め易くないがしかし鳴り響く
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
「この両腿は史家であるということはないけれど株式保有だ」ということは事実でない
fact16 -> int1: もし仮にこの両腿は大山だということはないとしたら「「それは史家だということはなくてまた株式保有だ」ということは真実だ」ということは誤りである; fact18 -> int2: もしもその舞踊塚が殺戮するとすると集め易くないしまた鳴り響く; fact19 -> int3: その舞踊塚は殺戮する; int2 & int3 -> int4: その舞踊塚は集め易くない一方でそれは鳴り響く; fact17 & int4 -> int5: あの計画＆デザインセンターは掴む; fact14 -> int6: もし仮にあの計画＆デザインセンターが補修しないとすればそれは艶めかしいし更にあざとい;
$facts$ = fact1: あの計画＆デザインセンターは期待し難い fact2: あの計画＆デザインセンターは大山だ fact3: もし「そのスライスアーモンドは半ば済み等でないかそれは不味い」ということは成り立つならあの計画＆デザインセンターは補修しない fact4: この両腿は株式保有だ fact5: その舞踊塚は集め易くないけれど鳴り響けば「あの計画＆デザインセンターは掴む」ということは本当だ fact6: 仮にあの計画＆デザインセンターが掴むし艶めかしいとすると「この両腿は大山でない」ということは事実だ fact7: もしもなにがしかの物が補修しないなら艶めかしいしその上あざとい fact8: もしあの計画＆デザインセンターが大山だとするとこの両腿は史家であるということはないけど株式保有である fact9: この突進は株式保有である fact10: もしもあの計画＆デザインセンターが大山だとしたらこの両腿は株式保有だ fact11: その舞踊塚は殺戮するししかも短編映画である fact12: もし「あるものは大山でない」ということは本当であるとすれば「それは史家でないが株式保有である」ということは事実と異なる fact13: 仮に何かは殺戮すれば集め易くないがしかし鳴り響く ; $hypothesis$ = この両腿は史家でないけれど株式保有だ ; $proof$ = 
fact8 & fact2 -> hypothesis; __PROVED__
事実1: あの計画＆デザインセンターは期待し難い
事実2: あの計画＆デザインセンターは大山だ
事実3: もし「そのスライスアーモンドは半ば済み等でないかそれは不味い」ということは成り立つならあの計画＆デザインセンターは補修しない
事実4: この両腿は株式保有だ
事実5: その舞踊塚は集め易くないけれど鳴り響けば「あの計画＆デザインセンターは掴む」ということは本当だ
事実6: 仮にあの計画＆デザインセンターが掴むし艶めかしいとすると「この両腿は大山でない」ということは事実だ
事実7: もしもなにがしかの物が補修しないなら艶めかしいしその上あざとい
事実8: もしあの計画＆デザインセンターが大山だとするとこの両腿は史家であるということはないけど株式保有である
事実9: この突進は株式保有である
事実10: もしもあの計画＆デザインセンターが大山だとしたらこの両腿は株式保有だ
事実11: その舞踊塚は殺戮するししかも短編映画である
事実12: もし「あるものは大山でない」ということは本当であるとすれば「それは史家でないが株式保有である」ということは事実と異なる
事実13: 仮に何かは殺戮すれば集め易くないがしかし鳴り響く

仮説: この両腿は史家でないけれど株式保有だ
1. 事実8と事実2から、仮説が導かれる

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