もし仮にあのリレーションが相互交流するとしたらこの二単語は翻訳・出版する
fact1: もしもあのリレーションは相互交流するなら「悪戯っぽくて締めっぽい」ということは事実と異なる fact2: 仮にこの二単語が悪戯っぽいとしたらあのリレーションは相互交流する fact3: この二単語はすりゃ良い fact4: 「あのリレーションは翻訳・出版しないがしかし悪戯っぽい」ということは成り立たない fact5: もしもあのリレーションが悪戯っぽいとするとこの二単語は翻訳・出版する fact6: 仮に「この二単語は悪戯っぽい」ということは確かであるとしたらあのリレーションは翻訳・出版する fact7: もしも首都高が内回りならば判定出来ない fact8: 「あのリレーションは翻訳・出版するとすると「この二単語は締めっぽい」ということは事実だ」ということは事実だ fact9: 「この二単語は締めっぽくないけれど相互交流する」ということは間違いであるとすればあのリレーションは翻訳・出版する fact10: 「「あのリレーションは悪戯っぽいししかもそれは締めっぽい」ということは確かである」ということは誤っている fact11: もしもこの二単語が締めっぽいならばあのリレーションは翻訳・出版する fact12: あのリレーションは悪戯っぽいなら「それは翻訳・出版しなくてしかも相互交流する」ということは間違っている fact13: あのリレーションは持ち歩く fact14: この二単語は悪戯っぽい fact15: この二単語は相互交流する fact16: 「あのリレーションは表現世界であるということはないがそれは悪戯っぽい」ということは嘘である fact17: そのビジネス・スクールは相互交流する fact18: あるものが判定出来るということはないとすれば翻訳・出版するしそれに相互交流する fact19: もしもあのリレーションは相互交流するとすると「悪戯っぽくないけれど締めっぽい」ということは誤りだ fact20: 「この突きは嫌味ったらしくない一方で翻訳・出版する」ということは成り立たない fact21: 仮に「あのリレーションは悪戯っぽくないけど締めっぽい」ということは嘘であるとするとこの二単語は翻訳・出版する
void -> assump1: 以下のように仮定する。あのリレーションは相互交流する; fact19 & assump1 -> int1: 「あのリレーションは悪戯っぽくないけど締めっぽい」ということは成り立たない; int1 & fact21 -> int2: この二単語は翻訳・出版する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact19 & assump1 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact21 -> int2: {B}{b}; [assump1] & int2 -> hypothesis;
あのリレーションは翻訳・出版する
fact22 -> int3: あのリレーションが判定出来ないとすると翻訳・出版するしまた相互交流する; fact23 -> int4: もし仮にあのリレーションが首都高であるし内回りだとしたらそれは判定出来るということはない;
$facts$ = fact1: もしもあのリレーションは相互交流するなら「悪戯っぽくて締めっぽい」ということは事実と異なる fact2: 仮にこの二単語が悪戯っぽいとしたらあのリレーションは相互交流する fact3: この二単語はすりゃ良い fact4: 「あのリレーションは翻訳・出版しないがしかし悪戯っぽい」ということは成り立たない fact5: もしもあのリレーションが悪戯っぽいとするとこの二単語は翻訳・出版する fact6: 仮に「この二単語は悪戯っぽい」ということは確かであるとしたらあのリレーションは翻訳・出版する fact7: もしも首都高が内回りならば判定出来ない fact8: 「あのリレーションは翻訳・出版するとすると「この二単語は締めっぽい」ということは事実だ」ということは事実だ fact9: 「この二単語は締めっぽくないけれど相互交流する」ということは間違いであるとすればあのリレーションは翻訳・出版する fact10: 「「あのリレーションは悪戯っぽいししかもそれは締めっぽい」ということは確かである」ということは誤っている fact11: もしもこの二単語が締めっぽいならばあのリレーションは翻訳・出版する fact12: あのリレーションは悪戯っぽいなら「それは翻訳・出版しなくてしかも相互交流する」ということは間違っている fact13: あのリレーションは持ち歩く fact14: この二単語は悪戯っぽい fact15: この二単語は相互交流する fact16: 「あのリレーションは表現世界であるということはないがそれは悪戯っぽい」ということは嘘である fact17: そのビジネス・スクールは相互交流する fact18: あるものが判定出来るということはないとすれば翻訳・出版するしそれに相互交流する fact19: もしもあのリレーションは相互交流するとすると「悪戯っぽくないけれど締めっぽい」ということは誤りだ fact20: 「この突きは嫌味ったらしくない一方で翻訳・出版する」ということは成り立たない fact21: 仮に「あのリレーションは悪戯っぽくないけど締めっぽい」ということは嘘であるとするとこの二単語は翻訳・出版する ; $hypothesis$ = もし仮にあのリレーションが相互交流するとしたらこの二単語は翻訳・出版する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのリレーションは相互交流する; fact19 & assump1 -> int1: 「あのリレーションは悪戯っぽくないけど締めっぽい」ということは成り立たない; int1 & fact21 -> int2: この二単語は翻訳・出版する; [assump1] & 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: 以下のように仮定する。あのリレーションは相互交流する
2. 事実19と仮定1から、推論1: "「あのリレーションは悪戯っぽくないけど締めっぽい」ということは成り立たない"が導かれる
3. 推論1と事実21から、推論2: "この二単語は翻訳・出版する"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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