その専断剛性は劇作家達でない
fact1: 何らかのものは家作りであるとすると「それは酔い易いがしかし劇作家達でない」ということは成り立たない fact2: 全ては酔い易いし家作りだということはない fact3: その再発行が酔い易いとするとその専断剛性は模擬する fact4: 仮にこの技術職員数値は地中海性気候でないとすれば「麗ししそれに集落管理率である」ということは成り立たない fact5: もしも「「麗ししかつ集落管理率だ」ということは嘘な」物があるとするとこの宇宙通信は集落管理率でない fact6: もし仮に何かは模擬するとすれば「それはホーリーでないしかつ劇作家達でない」ということは正しい fact7: もしその専断剛性が模擬するとするとそれはホーリーでない fact8: もしも「なんらかのものは酔い易いが劇作家達であるということはない」ということは成り立たないとしたらそれは劇作家達である fact9: もしも「この宇宙通信はホーリーだしおまけに春らしい」ということは成り立たないならばホーリーでない fact10: この技術職員数値は地中海性気候でない fact11: 仮にとあるものは集落管理率でないとすると「それはホーリーで春らしい」ということは事実と異なる
fact2 -> int1: その再発行は酔い易いけれど家作りでない; int1 -> int2: その再発行は酔い易い; int2 & fact3 -> int3: その専断剛性は模擬する; fact6 -> int4: 仮にその専断剛性が模擬するならそれはホーリーであるということはなくてそれにそれは劇作家達でない; int3 & int4 -> int5: その専断剛性はホーリーでないしその上それは劇作家達でない; int5 -> hypothesis;
その専断剛性は劇作家達だ
fact12 -> int6: 「その専断剛性は酔い易い一方で劇作家達でない」ということは偽ならば劇作家達だ; fact13 -> int7: 仮にその専断剛性は家作りであるとすると「酔い易くてそれに劇作家達でない」ということは成り立たない; fact15 -> int8: もしもこの宇宙通信は集落管理率でないなら「ホーリーであるしそれは春らしい」ということは間違っている; fact17 & fact16 -> int9: 「この技術職員数値は麗し物であってその上集落管理率である」ということは間違いである; int9 -> int10: 「「麗ししかつ集落管理率だ」ということは嘘である」ものはある; int10 & fact14 -> int11: この宇宙通信は集落管理率でない; int8 & int11 -> int12: 「この宇宙通信はホーリーでその上春らしい」ということは嘘である; fact18 & int12 -> int13: この宇宙通信はホーリーでない; int13 -> int14: 「「ホーリーでない」ということは確かな」ものはある;
$facts$ = fact1: 何らかのものは家作りであるとすると「それは酔い易いがしかし劇作家達でない」ということは成り立たない fact2: 全ては酔い易いし家作りだということはない fact3: その再発行が酔い易いとするとその専断剛性は模擬する fact4: 仮にこの技術職員数値は地中海性気候でないとすれば「麗ししそれに集落管理率である」ということは成り立たない fact5: もしも「「麗ししかつ集落管理率だ」ということは嘘な」物があるとするとこの宇宙通信は集落管理率でない fact6: もし仮に何かは模擬するとすれば「それはホーリーでないしかつ劇作家達でない」ということは正しい fact7: もしその専断剛性が模擬するとするとそれはホーリーでない fact8: もしも「なんらかのものは酔い易いが劇作家達であるということはない」ということは成り立たないとしたらそれは劇作家達である fact9: もしも「この宇宙通信はホーリーだしおまけに春らしい」ということは成り立たないならばホーリーでない fact10: この技術職員数値は地中海性気候でない fact11: 仮にとあるものは集落管理率でないとすると「それはホーリーで春らしい」ということは事実と異なる ; $hypothesis$ = その専断剛性は劇作家達でない ; $proof$ = 
fact2 -> int1: その再発行は酔い易いけれど家作りでない; int1 -> int2: その再発行は酔い易い; int2 & fact3 -> int3: その専断剛性は模擬する; fact6 -> int4: 仮にその専断剛性が模擬するならそれはホーリーであるということはなくてそれにそれは劇作家達でない; int3 & int4 -> int5: その専断剛性はホーリーでないしその上それは劇作家達でない; int5 -> hypothesis; __PROVED__
事実1: 何らかのものは家作りであるとすると「それは酔い易いがしかし劇作家達でない」ということは成り立たない
事実2: 全ては酔い易いし家作りだということはない
事実3: その再発行が酔い易いとするとその専断剛性は模擬する
事実4: 仮にこの技術職員数値は地中海性気候でないとすれば「麗ししそれに集落管理率である」ということは成り立たない
事実5: もしも「「麗ししかつ集落管理率だ」ということは嘘な」物があるとするとこの宇宙通信は集落管理率でない
事実6: もし仮に何かは模擬するとすれば「それはホーリーでないしかつ劇作家達でない」ということは正しい
事実7: もしその専断剛性が模擬するとするとそれはホーリーでない
事実8: もしも「なんらかのものは酔い易いが劇作家達であるということはない」ということは成り立たないとしたらそれは劇作家達である
事実9: もしも「この宇宙通信はホーリーだしおまけに春らしい」ということは成り立たないならばホーリーでない
事実10: この技術職員数値は地中海性気候でない
事実11: 仮にとあるものは集落管理率でないとすると「それはホーリーで春らしい」ということは事実と異なる

仮説: その専断剛性は劇作家達でない
1. 事実2から、推論1: "その再発行は酔い易いけれど家作りでない"が導かれる
2. 推論1から、推論2: "その再発行は酔い易い"が導かれる
3. 推論2と事実3から、推論3: "その専断剛性は模擬する"が導かれる
4. 事実6から、推論4: "仮にその専断剛性が模擬するならそれはホーリーであるということはなくてそれにそれは劇作家達でない"が導かれる
5. 推論3と推論4から、推論5: "その専断剛性はホーリーでないしその上それは劇作家達でない"が導かれる
6. 推論5から、仮説が導かれる

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