その鱗状は着直さない
fact1: 「参加し易い」ものはあるとすると「あの前払い費用は階層化しないしその上相関しない」ということは事実と異なる fact2: 「その鱗状は懐かしない」ということは成り立つ fact3: 仮に「「参加し易くないし苦しくない」ということは嘘である」ものがあるとすればあの三号館は押す fact4: 「あの三号館は懐かしないけど着直す」ということは間違いだ fact5: もしあるものは強調すらなくてそれに拉ぐということはないとしたらそれは均一化する fact6: もしもなんらかのものは押すなら「この職業観は強調すらないけど懐かし」ということは間違いである fact7: あの三号館は懐かしし加えてそれは逆方向である fact8: この職業観は強調すということはないしまた拉ぐということはない fact9: 仮に参加し易い物は押さないとしたら「それは拉ぐ」ということは成り立つ fact10: もし仮にあの三号館が押すけどそれが懐かしないなら強調す fact11: あの三号館が押すし懐かしとしたらその鱗状は着直さない fact12: もしあの三号館が押さないがそれは均一化するとしたら「それは逆方向だ」ということは成り立つ fact13: もしもあの三号館が押すけど苦しくないとすれば「あの前払い費用は苦しくない」ということは確かだ fact14: もし仮にあの前払い費用は苦しくないとしたら「均一化するけど参加し易くない」ということは成り立たない fact15: その鱗状は逆方向だ fact16: もし仮に「均一化する」ものはあれば「あの前払い費用は参加し易くないし苦しくない」ということは誤っている fact17: もし仮に何らかのものは拉がないしかつ懐かしないとしたら「それは苦しい」ということは正しい
fact5 -> int1: この職業観は強調すらなくてまた拉ぐということはないとしたらそれは均一化する; int1 & fact8 -> int2: 「この職業観は均一化する」ということは成り立つ; int2 -> int3: 何かは均一化する; int3 & fact16 -> int4: 「あの前払い費用は参加し易くないしかつ苦しくない」ということは事実でない; int4 -> int5: 「「参加し易いということはないしその上苦しくない」ということは誤っている」物はある; int5 & fact3 -> int6: あの三号館は押す; fact7 -> int7: あの三号館は懐かし; int6 & int7 -> int8: あの三号館は押すししかも懐かし; int8 & fact11 -> hypothesis;
「「階層化しなくて更に相関しない」ということは誤っている」ものはある
$facts$ = fact1: 「参加し易い」ものはあるとすると「あの前払い費用は階層化しないしその上相関しない」ということは事実と異なる fact2: 「その鱗状は懐かしない」ということは成り立つ fact3: 仮に「「参加し易くないし苦しくない」ということは嘘である」ものがあるとすればあの三号館は押す fact4: 「あの三号館は懐かしないけど着直す」ということは間違いだ fact5: もしあるものは強調すらなくてそれに拉ぐということはないとしたらそれは均一化する fact6: もしもなんらかのものは押すなら「この職業観は強調すらないけど懐かし」ということは間違いである fact7: あの三号館は懐かしし加えてそれは逆方向である fact8: この職業観は強調すということはないしまた拉ぐということはない fact9: 仮に参加し易い物は押さないとしたら「それは拉ぐ」ということは成り立つ fact10: もし仮にあの三号館が押すけどそれが懐かしないなら強調す fact11: あの三号館が押すし懐かしとしたらその鱗状は着直さない fact12: もしあの三号館が押さないがそれは均一化するとしたら「それは逆方向だ」ということは成り立つ fact13: もしもあの三号館が押すけど苦しくないとすれば「あの前払い費用は苦しくない」ということは確かだ fact14: もし仮にあの前払い費用は苦しくないとしたら「均一化するけど参加し易くない」ということは成り立たない fact15: その鱗状は逆方向だ fact16: もし仮に「均一化する」ものはあれば「あの前払い費用は参加し易くないし苦しくない」ということは誤っている fact17: もし仮に何らかのものは拉がないしかつ懐かしないとしたら「それは苦しい」ということは正しい ; $hypothesis$ = その鱗状は着直さない ; $proof$ = 
fact5 -> int1: この職業観は強調すらなくてまた拉ぐということはないとしたらそれは均一化する; int1 & fact8 -> int2: 「この職業観は均一化する」ということは成り立つ; int2 -> int3: 何かは均一化する; int3 & fact16 -> int4: 「あの前払い費用は参加し易くないしかつ苦しくない」ということは事実でない; int4 -> int5: 「「参加し易いということはないしその上苦しくない」ということは誤っている」物はある; int5 & fact3 -> int6: あの三号館は押す; fact7 -> int7: あの三号館は懐かし; int6 & int7 -> int8: あの三号館は押すししかも懐かし; int8 & fact11 -> hypothesis; __PROVED__
事実1: 「参加し易い」ものはあるとすると「あの前払い費用は階層化しないしその上相関しない」ということは事実と異なる
事実2: 「その鱗状は懐かしない」ということは成り立つ
事実3: 仮に「「参加し易くないし苦しくない」ということは嘘である」ものがあるとすればあの三号館は押す
事実4: 「あの三号館は懐かしないけど着直す」ということは間違いだ
事実5: もしあるものは強調すらなくてそれに拉ぐということはないとしたらそれは均一化する
事実6: もしもなんらかのものは押すなら「この職業観は強調すらないけど懐かし」ということは間違いである
事実7: あの三号館は懐かしし加えてそれは逆方向である
事実8: この職業観は強調すということはないしまた拉ぐということはない
事実9: 仮に参加し易い物は押さないとしたら「それは拉ぐ」ということは成り立つ
事実10: もし仮にあの三号館が押すけどそれが懐かしないなら強調す
事実11: あの三号館が押すし懐かしとしたらその鱗状は着直さない
事実12: もしあの三号館が押さないがそれは均一化するとしたら「それは逆方向だ」ということは成り立つ
事実13: もしもあの三号館が押すけど苦しくないとすれば「あの前払い費用は苦しくない」ということは確かだ
事実14: もし仮にあの前払い費用は苦しくないとしたら「均一化するけど参加し易くない」ということは成り立たない
事実15: その鱗状は逆方向だ
事実16: もし仮に「均一化する」ものはあれば「あの前払い費用は参加し易くないし苦しくない」ということは誤っている
事実17: もし仮に何らかのものは拉がないしかつ懐かしないとしたら「それは苦しい」ということは正しい

仮説: その鱗状は着直さない
1. 事実5から、推論1: "この職業観は強調すらなくてまた拉ぐということはないとしたらそれは均一化する"が導かれる
2. 推論1と事実8から、推論2: "「この職業観は均一化する」ということは成り立つ"が導かれる
3. 推論2から、推論3: "何かは均一化する"が導かれる
4. 推論3と事実16から、推論4: "「あの前払い費用は参加し易くないしかつ苦しくない」ということは事実でない"が導かれる
5. 推論4から、推論5: "「「参加し易いということはないしその上苦しくない」ということは誤っている」物はある"が導かれる
6. 推論5と事実3から、推論6: "あの三号館は押す"が導かれる
7. 事実7から、推論7: "あの三号館は懐かし"が導かれる
8. 推論6と推論7から、推論8: "あの三号館は押すししかも懐かし"が導かれる
9. 推論8と事実11から、仮説が導かれる

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