その五十二型はロレアルパリだ一方で実行計画でない
fact1: その五十二型はロレアルパリで南山である fact2: その五十二型は両極化する fact3: 仮に「なにがしかの物が両極化するということはないしその上姉らしくない」ということは誤りだとしたら両極化する fact4: この長命住宅はブローホールでないとすると「七十六参照であるしそれは広い」ということは事実だ fact5: もし「あの小舎は姉らしくないししかも両極化するということはない」ということは成り立たないならばあの五十二型は南山でない fact6: その魚市場は御忘れるし加えて乏しい fact7: この長命住宅はブローホールでない fact8: その五十二型は華々しいがしかし差し出さない fact9: もしその五十二型はロレアルパリで宮原上等兵だとすると厚かましくない fact10: もしあの小舎が来易いとすればそのデザイン教育はロレアルパリだ fact11: もしなにかは来易くないとしたら「それは姉らしいということはないしそれに両極化するということはない」ということは偽である fact12: あの小舎が両極化するとしたらその五十二型は南山だということはない fact13: もしなんらかの物は南山でないとしたら「ロレアルパリだが実行計画であるということはない」ということは嘘である fact14: 仮にその五十二型が姉らしいしまたそれが両極化すれば実行計画だということはない fact15: あの議員個人は掃除し易くてそれはロレアルパリである fact16: あのＲ課長は実行計画であるし疎ましい fact17: 「もしあの解剖学者は七十六参照だとしたら「この穴熊は渡り鳥であるということはないし太くない」ということは偽である」ということは成り立つ fact18: その五十二型は開け為さる fact19: その五十二型は姉らしいし両極化する fact20: もし仮にこの長命住宅が七十六参照だとすればあの解剖学者は七十六参照だ fact21: その五十二型は南山だ
fact1 -> int1: その五十二型はロレアルパリである; fact19 & fact14 -> int2: その五十二型は実行計画でない; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{a}; fact19 & fact14 -> int2: ¬{C}{a}; int1 & int2 -> hypothesis;
そのデザイン教育はロレアルパリでその上それは使い易い
$facts$ = fact1: その五十二型はロレアルパリで南山である fact2: その五十二型は両極化する fact3: 仮に「なにがしかの物が両極化するということはないしその上姉らしくない」ということは誤りだとしたら両極化する fact4: この長命住宅はブローホールでないとすると「七十六参照であるしそれは広い」ということは事実だ fact5: もし「あの小舎は姉らしくないししかも両極化するということはない」ということは成り立たないならばあの五十二型は南山でない fact6: その魚市場は御忘れるし加えて乏しい fact7: この長命住宅はブローホールでない fact8: その五十二型は華々しいがしかし差し出さない fact9: もしその五十二型はロレアルパリで宮原上等兵だとすると厚かましくない fact10: もしあの小舎が来易いとすればそのデザイン教育はロレアルパリだ fact11: もしなにかは来易くないとしたら「それは姉らしいということはないしそれに両極化するということはない」ということは偽である fact12: あの小舎が両極化するとしたらその五十二型は南山だということはない fact13: もしなんらかの物は南山でないとしたら「ロレアルパリだが実行計画であるということはない」ということは嘘である fact14: 仮にその五十二型が姉らしいしまたそれが両極化すれば実行計画だということはない fact15: あの議員個人は掃除し易くてそれはロレアルパリである fact16: あのＲ課長は実行計画であるし疎ましい fact17: 「もしあの解剖学者は七十六参照だとしたら「この穴熊は渡り鳥であるということはないし太くない」ということは偽である」ということは成り立つ fact18: その五十二型は開け為さる fact19: その五十二型は姉らしいし両極化する fact20: もし仮にこの長命住宅が七十六参照だとすればあの解剖学者は七十六参照だ fact21: その五十二型は南山だ ; $hypothesis$ = その五十二型はロレアルパリだ一方で実行計画でない ; $proof$ = 
fact1 -> int1: その五十二型はロレアルパリである; fact19 & fact14 -> int2: その五十二型は実行計画でない; int1 & int2 -> hypothesis; __PROVED__
事実1: その五十二型はロレアルパリで南山である
事実2: その五十二型は両極化する
事実3: 仮に「なにがしかの物が両極化するということはないしその上姉らしくない」ということは誤りだとしたら両極化する
事実4: この長命住宅はブローホールでないとすると「七十六参照であるしそれは広い」ということは事実だ
事実5: もし「あの小舎は姉らしくないししかも両極化するということはない」ということは成り立たないならばあの五十二型は南山でない
事実6: その魚市場は御忘れるし加えて乏しい
事実7: この長命住宅はブローホールでない
事実8: その五十二型は華々しいがしかし差し出さない
事実9: もしその五十二型はロレアルパリで宮原上等兵だとすると厚かましくない
事実10: もしあの小舎が来易いとすればそのデザイン教育はロレアルパリだ
事実11: もしなにかは来易くないとしたら「それは姉らしいということはないしそれに両極化するということはない」ということは偽である
事実12: あの小舎が両極化するとしたらその五十二型は南山だということはない
事実13: もしなんらかの物は南山でないとしたら「ロレアルパリだが実行計画であるということはない」ということは嘘である
事実14: 仮にその五十二型が姉らしいしまたそれが両極化すれば実行計画だということはない
事実15: あの議員個人は掃除し易くてそれはロレアルパリである
事実16: あのＲ課長は実行計画であるし疎ましい
事実17: 「もしあの解剖学者は七十六参照だとしたら「この穴熊は渡り鳥であるということはないし太くない」ということは偽である」ということは成り立つ
事実18: その五十二型は開け為さる
事実19: その五十二型は姉らしいし両極化する
事実20: もし仮にこの長命住宅が七十六参照だとすればあの解剖学者は七十六参照だ
事実21: その五十二型は南山だ

仮説: その五十二型はロレアルパリだ一方で実行計画でない
1. 事実1から、推論1: "その五十二型はロレアルパリである"が導かれる
2. 事実19と事実14から、推論2: "その五十二型は実行計画でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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