あの酸・塩基は仕込まない
fact1: 仮に聡くない物は目指さないなら「名状し難くない」ということは正しい fact2: その天丼は一家皆殺しでない fact3: もし仮に何らかのものは敬しないとすると「細かいし更に明け始める」ということは本当である fact4: 「何らかの物は仕込まないけど名状し難い」ということは成り立たないなら「それは仕込む」ということは正しい fact5: その天丼が名状し難くないとしたらあの酸・塩基は名状し難くない fact6: 仮にとある物が仕込むならそれは聡くないし目指さない fact7: もしもなにかは一家皆殺しであるということはないとするとそれは御優しくてそれは名状し難い fact8: その天丼は一家皆殺しでないとすると「あの酸・塩基は一家皆殺しでない」ということは本当だ
fact6 -> int1: もしあの酸・塩基が仕込むとすれば聡くないしさらに目指さない; void -> assump1: 以下のように仮定する。「あの酸・塩基は仕込む」ということは成り立つ; int1 & assump1 -> int2: あの酸・塩基は聡くないし目指すということはない; fact1 -> int3: もしあの酸・塩基は聡いということはなくておまけに目指さないとするとそれは名状し難くない; int2 & int3 -> int4: あの酸・塩基は名状し難くない; fact7 -> int5: あの酸・塩基は一家皆殺しでないなら御優しくて名状し難い; fact8 & fact2 -> int6: あの酸・塩基は一家皆殺しでない; int5 & int6 -> int7: あの酸・塩基は御優しいししかも名状し難い; int7 -> int8: 「あの酸・塩基は名状し難い」ということは正しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
もし仮にその天丼が敬しないなら細かくてさらに明け始める
fact9 -> hypothesis;
$facts$ = fact1: 仮に聡くない物は目指さないなら「名状し難くない」ということは正しい fact2: その天丼は一家皆殺しでない fact3: もし仮に何らかのものは敬しないとすると「細かいし更に明け始める」ということは本当である fact4: 「何らかの物は仕込まないけど名状し難い」ということは成り立たないなら「それは仕込む」ということは正しい fact5: その天丼が名状し難くないとしたらあの酸・塩基は名状し難くない fact6: 仮にとある物が仕込むならそれは聡くないし目指さない fact7: もしもなにかは一家皆殺しであるということはないとするとそれは御優しくてそれは名状し難い fact8: その天丼は一家皆殺しでないとすると「あの酸・塩基は一家皆殺しでない」ということは本当だ ; $hypothesis$ = あの酸・塩基は仕込まない ; $proof$ = 
fact6 -> int1: もしあの酸・塩基が仕込むとすれば聡くないしさらに目指さない; void -> assump1: 以下のように仮定する。「あの酸・塩基は仕込む」ということは成り立つ; int1 & assump1 -> int2: あの酸・塩基は聡くないし目指すということはない; fact1 -> int3: もしあの酸・塩基は聡いということはなくておまけに目指さないとするとそれは名状し難くない; int2 & int3 -> int4: あの酸・塩基は名状し難くない; fact7 -> int5: あの酸・塩基は一家皆殺しでないなら御優しくて名状し難い; fact8 & fact2 -> int6: あの酸・塩基は一家皆殺しでない; int5 & int6 -> int7: あの酸・塩基は御優しいししかも名状し難い; int7 -> int8: 「あの酸・塩基は名状し難い」ということは正しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 仮に聡くない物は目指さないなら「名状し難くない」ということは正しい
事実2: その天丼は一家皆殺しでない
事実3: もし仮に何らかのものは敬しないとすると「細かいし更に明け始める」ということは本当である
事実4: 「何らかの物は仕込まないけど名状し難い」ということは成り立たないなら「それは仕込む」ということは正しい
事実5: その天丼が名状し難くないとしたらあの酸・塩基は名状し難くない
事実6: 仮にとある物が仕込むならそれは聡くないし目指さない
事実7: もしもなにかは一家皆殺しであるということはないとするとそれは御優しくてそれは名状し難い
事実8: その天丼は一家皆殺しでないとすると「あの酸・塩基は一家皆殺しでない」ということは本当だ

仮説: あの酸・塩基は仕込まない
1. 事実6から、推論1: "もしあの酸・塩基が仕込むとすれば聡くないしさらに目指さない"が導かれる
2. 仮定1: 以下のように仮定する。「あの酸・塩基は仕込む」ということは成り立つ
3. 推論1と仮定1から、推論2: "あの酸・塩基は聡くないし目指すということはない"が導かれる
4. 事実1から、推論3: "もしあの酸・塩基は聡いということはなくておまけに目指さないとするとそれは名状し難くない"が導かれる
5. 推論2と推論3から、推論4: "あの酸・塩基は名状し難くない"が導かれる
6. 事実7から、推論5: "あの酸・塩基は一家皆殺しでないなら御優しくて名状し難い"が導かれる
7. 事実8と事実2から、推論6: "あの酸・塩基は一家皆殺しでない"が導かれる
8. 推論5と推論6から、推論7: "あの酸・塩基は御優しいししかも名状し難い"が導かれる
9. 推論7から、推論8: "「あの酸・塩基は名状し難い」ということは正しい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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