「もし仮に余儀無いならば「短くないしプロセスでない」ということは成り立たない」物はある
fact1: もし仮に何かは余儀無いとすれば「短くないし加えてそれはプロセスでない」ということは偽だ fact2: 仮にある物は涙ぐましいとすると「それは酸度だということはないしかつさんざめかない」ということは成り立たない fact3: 「もしこのちばコープは余儀無いとすれば「このちばコープは短いけれどプロセスでない」ということは誤りだ」ということは本当である fact4: 仮になにかは余儀無いとしたら「短いけれどプロセスでない」ということは成り立たない fact5: このちばコープが余儀無いとすれば短くないしその上プロセスでない fact6: 「男らしいとすると因り難いということはないしかつ結び付き易くない」物はある fact7: もしもこのちばコープは余儀無いとすると「短くないがプロセスである」ということは事実でない fact8: 「もしも「余儀無い」ということは正しいならば「短くないしプロセスだ」ということは偽な」ものはある
fact1 -> int1: もしこのちばコープは余儀無いとすると「それが短くないしさらにプロセスでない」ということは成り立つということはない; int1 -> hypothesis;
「もし仮に「このちばコープは涙ぐましい」ということは事実であるとすると「このちばコープは酸度でなくてさんざめかない」ということは成り立たない」ということは間違いでない
fact9 -> hypothesis;
$facts$ = fact1: もし仮に何かは余儀無いとすれば「短くないし加えてそれはプロセスでない」ということは偽だ fact2: 仮にある物は涙ぐましいとすると「それは酸度だということはないしかつさんざめかない」ということは成り立たない fact3: 「もしこのちばコープは余儀無いとすれば「このちばコープは短いけれどプロセスでない」ということは誤りだ」ということは本当である fact4: 仮になにかは余儀無いとしたら「短いけれどプロセスでない」ということは成り立たない fact5: このちばコープが余儀無いとすれば短くないしその上プロセスでない fact6: 「男らしいとすると因り難いということはないしかつ結び付き易くない」物はある fact7: もしもこのちばコープは余儀無いとすると「短くないがプロセスである」ということは事実でない fact8: 「もしも「余儀無い」ということは正しいならば「短くないしプロセスだ」ということは偽な」ものはある ; $hypothesis$ = 「もし仮に余儀無いならば「短くないしプロセスでない」ということは成り立たない」物はある ; $proof$ = 
fact1 -> int1: もしこのちばコープは余儀無いとすると「それが短くないしさらにプロセスでない」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: もし仮に何かは余儀無いとすれば「短くないし加えてそれはプロセスでない」ということは偽だ
事実2: 仮にある物は涙ぐましいとすると「それは酸度だということはないしかつさんざめかない」ということは成り立たない
事実3: 「もしこのちばコープは余儀無いとすれば「このちばコープは短いけれどプロセスでない」ということは誤りだ」ということは本当である
事実4: 仮になにかは余儀無いとしたら「短いけれどプロセスでない」ということは成り立たない
事実5: このちばコープが余儀無いとすれば短くないしその上プロセスでない
事実6: 「男らしいとすると因り難いということはないしかつ結び付き易くない」物はある
事実7: もしもこのちばコープは余儀無いとすると「短くないがプロセスである」ということは事実でない
事実8: 「もしも「余儀無い」ということは正しいならば「短くないしプロセスだ」ということは偽な」ものはある

仮説: 「もし仮に余儀無いならば「短くないしプロセスでない」ということは成り立たない」物はある
1. 事実1から、推論1: "もしこのちばコープは余儀無いとすると「それが短くないしさらにプロセスでない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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