「仮に仮殿でないとすれば「再説しないけど良い」ということは間違いな」物はある
fact1: もし仮にこの不知は仮殿であるとしたら「それが再説しないしさらに良い」ということは間違っている fact2: 仮に何かは仮殿でないとしたら「再説するということはないしそれは良い」ということは真実でない fact3: 「仮に共産中国だということはないならば「決め為さらないしかつ図り難い」ということは成り立たない」物はある fact4: 仮にこの不知は汚れ易くないとしたら「精兵でなくてかつそれは再説する」ということは成り立たない fact5: 「もし仮に仮殿でないとすると「再説するし良い」ということは成り立たない」ものはある fact6: 「仮殿なら「再説するということはないが良い」ということは誤りである」ものはある fact7: もし仮にこの不知は仮殿であるということはないならば「再説するしその上良い」ということは嘘である fact8: とあるものは仮殿でないとすると「再説するしさらに良い」ということは成り立たない fact9: もしもなにがしかのものは安しないとすれば「それは比丘尼屋敷であるということはなくて更にそれは抽送する」ということは偽だ fact10: もしもなにがしかのものは仮殿ならば「それが再説するということはないしその上良い」ということは事実でない fact11: 「もし仮に談合でないとすれば「汚れ易いということはないしまた厚かましい」ということは間違っている」ものはある fact12: 仮に何かは仮殿でないならそれは再説しないけれど良い fact13: なにがしかのものは表現し難くないとしたら「倒れ難くない一方で器物である」ということは偽である fact14: 「もし仮殿でないとしたら再説しなくて良い」ものはある fact15: 「埃っぽいということはないとすると「生活世界でなくてそれに押さう」ということは成り立たない」ものはある fact16: もしもこの不知は仮殿でないなら「それは再説しないが良い」ということは正しい
fact2 -> int1: 仮にこの不知は仮殿だということはないとしたら「再説するということはないけれど良い」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの不知は仮殿であるとしたら「それが再説しないしさらに良い」ということは間違っている fact2: 仮に何かは仮殿でないとしたら「再説するということはないしそれは良い」ということは真実でない fact3: 「仮に共産中国だということはないならば「決め為さらないしかつ図り難い」ということは成り立たない」物はある fact4: 仮にこの不知は汚れ易くないとしたら「精兵でなくてかつそれは再説する」ということは成り立たない fact5: 「もし仮に仮殿でないとすると「再説するし良い」ということは成り立たない」ものはある fact6: 「仮殿なら「再説するということはないが良い」ということは誤りである」ものはある fact7: もし仮にこの不知は仮殿であるということはないならば「再説するしその上良い」ということは嘘である fact8: とあるものは仮殿でないとすると「再説するしさらに良い」ということは成り立たない fact9: もしもなにがしかのものは安しないとすれば「それは比丘尼屋敷であるということはなくて更にそれは抽送する」ということは偽だ fact10: もしもなにがしかのものは仮殿ならば「それが再説するということはないしその上良い」ということは事実でない fact11: 「もし仮に談合でないとすれば「汚れ易いということはないしまた厚かましい」ということは間違っている」ものはある fact12: 仮に何かは仮殿でないならそれは再説しないけれど良い fact13: なにがしかのものは表現し難くないとしたら「倒れ難くない一方で器物である」ということは偽である fact14: 「もし仮殿でないとしたら再説しなくて良い」ものはある fact15: 「埃っぽいということはないとすると「生活世界でなくてそれに押さう」ということは成り立たない」ものはある fact16: もしもこの不知は仮殿でないなら「それは再説しないが良い」ということは正しい ; $hypothesis$ = 「仮に仮殿でないとすれば「再説しないけど良い」ということは間違いな」物はある ; $proof$ = 
fact2 -> int1: 仮にこの不知は仮殿だということはないとしたら「再説するということはないけれど良い」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの不知は仮殿であるとしたら「それが再説しないしさらに良い」ということは間違っている
事実2: 仮に何かは仮殿でないとしたら「再説するということはないしそれは良い」ということは真実でない
事実3: 「仮に共産中国だということはないならば「決め為さらないしかつ図り難い」ということは成り立たない」物はある
事実4: 仮にこの不知は汚れ易くないとしたら「精兵でなくてかつそれは再説する」ということは成り立たない
事実5: 「もし仮に仮殿でないとすると「再説するし良い」ということは成り立たない」ものはある
事実6: 「仮殿なら「再説するということはないが良い」ということは誤りである」ものはある
事実7: もし仮にこの不知は仮殿であるということはないならば「再説するしその上良い」ということは嘘である
事実8: とあるものは仮殿でないとすると「再説するしさらに良い」ということは成り立たない
事実9: もしもなにがしかのものは安しないとすれば「それは比丘尼屋敷であるということはなくて更にそれは抽送する」ということは偽だ
事実10: もしもなにがしかのものは仮殿ならば「それが再説するということはないしその上良い」ということは事実でない
事実11: 「もし仮に談合でないとすれば「汚れ易いということはないしまた厚かましい」ということは間違っている」ものはある
事実12: 仮に何かは仮殿でないならそれは再説しないけれど良い
事実13: なにがしかのものは表現し難くないとしたら「倒れ難くない一方で器物である」ということは偽である
事実14: 「もし仮殿でないとしたら再説しなくて良い」ものはある
事実15: 「埃っぽいということはないとすると「生活世界でなくてそれに押さう」ということは成り立たない」ものはある
事実16: もしもこの不知は仮殿でないなら「それは再説しないが良い」ということは正しい

仮説: 「仮に仮殿でないとすれば「再説しないけど良い」ということは間違いな」物はある
1. 事実2から、推論1: "仮にこの不知は仮殿だということはないとしたら「再説するということはないけれど良い」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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