「あの行きは農商務相でない」ということは正しい
fact1: 「あるものは赤くないがめんど臭い」ということは偽であるならばめんど臭くない fact2: めんど臭くないものは銀塩カメラで加えて海坊主である fact3: その頸部は与しなくて変わり果てない fact4: もし仮にあの若輩は銀塩カメラでないとすれば「あの行きは農商務相でない」ということは確かだ fact5: もし仮に「その頸部は与しなくてしかも変わり果てない」ということは間違いだということはないとしたらあの大敗は与しない fact6: 仮に「なにかは農商務相でなくて加えてなあくない」ということは成り立たないとすればそれは農商務相である fact7: あの大敗は与しないとすると「あの女流は赤くないけどそれはめんど臭い」ということは誤りである fact8: 「もしあるものは銀塩カメラだとすれば「それは新株でないし没頭しない」ということは偽である」ということは正しい fact9: あの若輩は新株でなくてそれに没頭しない
fact8 -> int1: もし仮にあの若輩は銀塩カメラであるとすれば「新株でなくてしかも没頭しない」ということは成り立たない; void -> assump1: 以下のように仮定する。あの若輩は銀塩カメラだ; int1 & assump1 -> int2: 「あの若輩は新株でないし更にそれは没頭しない」ということは成り立たない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの若輩は銀塩カメラでない; int4 & fact4 -> hypothesis;
あの行きは農商務相である
fact10 -> int5: もし仮に「あの行きは農商務相でなくてまたそれはなあくない」ということは成り立つということはないとすると農商務相である; fact14 -> int6: もしもあの女流がめんど臭くないとしたら銀塩カメラだし海坊主である; fact15 -> int7: もし「「あの女流は赤くないけれどめんど臭い」ということは正しい」ということは事実と異なるとすればそれはめんど臭くない; fact13 & fact12 -> int8: あの大敗は与しない; fact11 & int8 -> int9: 「あの女流は赤くないがめんど臭い」ということは成り立たない; int7 & int9 -> int10: あの女流はめんど臭くない; int6 & int10 -> int11: あの女流は銀塩カメラであるしかつそれは海坊主だ; int11 -> int12: あの女流は銀塩カメラである; int12 -> int13: なにがしかの物は銀塩カメラである;
$facts$ = fact1: 「あるものは赤くないがめんど臭い」ということは偽であるならばめんど臭くない fact2: めんど臭くないものは銀塩カメラで加えて海坊主である fact3: その頸部は与しなくて変わり果てない fact4: もし仮にあの若輩は銀塩カメラでないとすれば「あの行きは農商務相でない」ということは確かだ fact5: もし仮に「その頸部は与しなくてしかも変わり果てない」ということは間違いだということはないとしたらあの大敗は与しない fact6: 仮に「なにかは農商務相でなくて加えてなあくない」ということは成り立たないとすればそれは農商務相である fact7: あの大敗は与しないとすると「あの女流は赤くないけどそれはめんど臭い」ということは誤りである fact8: 「もしあるものは銀塩カメラだとすれば「それは新株でないし没頭しない」ということは偽である」ということは正しい fact9: あの若輩は新株でなくてそれに没頭しない ; $hypothesis$ = 「あの行きは農商務相でない」ということは正しい ; $proof$ = 
fact8 -> int1: もし仮にあの若輩は銀塩カメラであるとすれば「新株でなくてしかも没頭しない」ということは成り立たない; void -> assump1: 以下のように仮定する。あの若輩は銀塩カメラだ; int1 & assump1 -> int2: 「あの若輩は新株でないし更にそれは没頭しない」ということは成り立たない; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの若輩は銀塩カメラでない; int4 & fact4 -> hypothesis; __PROVED__
事実1: 「あるものは赤くないがめんど臭い」ということは偽であるならばめんど臭くない
事実2: めんど臭くないものは銀塩カメラで加えて海坊主である
事実3: その頸部は与しなくて変わり果てない
事実4: もし仮にあの若輩は銀塩カメラでないとすれば「あの行きは農商務相でない」ということは確かだ
事実5: もし仮に「その頸部は与しなくてしかも変わり果てない」ということは間違いだということはないとしたらあの大敗は与しない
事実6: 仮に「なにかは農商務相でなくて加えてなあくない」ということは成り立たないとすればそれは農商務相である
事実7: あの大敗は与しないとすると「あの女流は赤くないけどそれはめんど臭い」ということは誤りである
事実8: 「もしあるものは銀塩カメラだとすれば「それは新株でないし没頭しない」ということは偽である」ということは正しい
事実9: あの若輩は新株でなくてそれに没頭しない

仮説: 「あの行きは農商務相でない」ということは正しい
1. 事実8から、推論1: "もし仮にあの若輩は銀塩カメラであるとすれば「新株でなくてしかも没頭しない」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あの若輩は銀塩カメラだ
3. 推論1と仮定1から、推論2: "「あの若輩は新株でないし更にそれは没頭しない」ということは成り立たない"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの若輩は銀塩カメラでない"が導かれる
6. 推論4と事実4から、仮説が導かれる

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