あのコンテナ船は混同し易くない
fact1: 仮に「あの文相は御固い」ということは本当であるとすればあのコンテナ船は混同し易くない fact2: 「あのコンテナ船は御固いけど混同し易いということはない」ということは成り立たない fact3: あの文相は十八度以下でない fact4: 「あのコンテナ船は混同し易い一方で御固くない」ということは成り立たない fact5: 「あの文相は混同し易いけれどそれは素描しない」ということは成り立たない fact6: 「あのコンテナ船は素描する一方で混同し易くない」ということは間違いだ fact7: もしも「その始業式はリタイアしないがしょっぱい」ということは成り立たないとするとあの文相はしょっぱい fact8: 「あの文相は素描する一方でそれは御固くない」ということは事実と異なる fact9: あの文相は手早くない fact10: あの文相は混同し易いということはない fact11: 「あの文相は御固いがしかしそれは混同し易いということはない」ということは間違っているとするとあのコンテナ船は素描しない fact12: 「あの文相は素描するしその上御固い」ということは誤っている fact13: あのコンテナ船は素描しない fact14: もし仮に「あの文相はしょっぱい」ということは成り立つとしたらあのコンテナ船は混同し易い fact15: 仮に「あのコンテナ船は御固いけど素描するということはない」ということは間違っているならあの文相は混同し易くない fact16: この連続直線は御固くない fact17: 「あの文相は御固いけれど混同し易くない」ということは本当でない fact18: もし仮になんらかのものは取っ付き易くないとしたら「それはリタイアするということはない一方でしょっぱい」ということは確かでない fact19: この再発・転移は混同し易くない fact20: 仮に「あの文相は素描するがしかしそれは御固くない」ということは偽だとしたら「あのコンテナ船は混同し易くない」ということは確かである fact21: 「あのコンテナ船は御固いけど入り辛いということはない」ということは成り立つということはない
fact20 & fact8 -> hypothesis;
fact20 & fact8 -> hypothesis;
「あのコンテナ船は混同し易い」ということは本当である
fact22 -> int1: もしもその始業式は取っ付き易くないなら「「それはリタイアしなくてそれはしょっぱい」ということは正しい」ということは成り立たない;
$facts$ = fact1: 仮に「あの文相は御固い」ということは本当であるとすればあのコンテナ船は混同し易くない fact2: 「あのコンテナ船は御固いけど混同し易いということはない」ということは成り立たない fact3: あの文相は十八度以下でない fact4: 「あのコンテナ船は混同し易い一方で御固くない」ということは成り立たない fact5: 「あの文相は混同し易いけれどそれは素描しない」ということは成り立たない fact6: 「あのコンテナ船は素描する一方で混同し易くない」ということは間違いだ fact7: もしも「その始業式はリタイアしないがしょっぱい」ということは成り立たないとするとあの文相はしょっぱい fact8: 「あの文相は素描する一方でそれは御固くない」ということは事実と異なる fact9: あの文相は手早くない fact10: あの文相は混同し易いということはない fact11: 「あの文相は御固いがしかしそれは混同し易いということはない」ということは間違っているとするとあのコンテナ船は素描しない fact12: 「あの文相は素描するしその上御固い」ということは誤っている fact13: あのコンテナ船は素描しない fact14: もし仮に「あの文相はしょっぱい」ということは成り立つとしたらあのコンテナ船は混同し易い fact15: 仮に「あのコンテナ船は御固いけど素描するということはない」ということは間違っているならあの文相は混同し易くない fact16: この連続直線は御固くない fact17: 「あの文相は御固いけれど混同し易くない」ということは本当でない fact18: もし仮になんらかのものは取っ付き易くないとしたら「それはリタイアするということはない一方でしょっぱい」ということは確かでない fact19: この再発・転移は混同し易くない fact20: 仮に「あの文相は素描するがしかしそれは御固くない」ということは偽だとしたら「あのコンテナ船は混同し易くない」ということは確かである fact21: 「あのコンテナ船は御固いけど入り辛いということはない」ということは成り立つということはない ; $hypothesis$ = あのコンテナ船は混同し易くない ; $proof$ = 
fact20 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「あの文相は御固い」ということは本当であるとすればあのコンテナ船は混同し易くない
事実2: 「あのコンテナ船は御固いけど混同し易いということはない」ということは成り立たない
事実3: あの文相は十八度以下でない
事実4: 「あのコンテナ船は混同し易い一方で御固くない」ということは成り立たない
事実5: 「あの文相は混同し易いけれどそれは素描しない」ということは成り立たない
事実6: 「あのコンテナ船は素描する一方で混同し易くない」ということは間違いだ
事実7: もしも「その始業式はリタイアしないがしょっぱい」ということは成り立たないとするとあの文相はしょっぱい
事実8: 「あの文相は素描する一方でそれは御固くない」ということは事実と異なる
事実9: あの文相は手早くない
事実10: あの文相は混同し易いということはない
事実11: 「あの文相は御固いがしかしそれは混同し易いということはない」ということは間違っているとするとあのコンテナ船は素描しない
事実12: 「あの文相は素描するしその上御固い」ということは誤っている
事実13: あのコンテナ船は素描しない
事実14: もし仮に「あの文相はしょっぱい」ということは成り立つとしたらあのコンテナ船は混同し易い
事実15: 仮に「あのコンテナ船は御固いけど素描するということはない」ということは間違っているならあの文相は混同し易くない
事実16: この連続直線は御固くない
事実17: 「あの文相は御固いけれど混同し易くない」ということは本当でない
事実18: もし仮になんらかのものは取っ付き易くないとしたら「それはリタイアするということはない一方でしょっぱい」ということは確かでない
事実19: この再発・転移は混同し易くない
事実20: 仮に「あの文相は素描するがしかしそれは御固くない」ということは偽だとしたら「あのコンテナ船は混同し易くない」ということは確かである
事実21: 「あのコンテナ船は御固いけど入り辛いということはない」ということは成り立つということはない

仮説: あのコンテナ船は混同し易くない
1. 事実20と事実8から、仮説が導かれる

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