「そのソースコードプログラムは見出だし難くないしそれは御勧め出来ない」ということは誤っている
fact1: 「しょっぱい」ものはある fact2: あるものは拝領するということはないとすれば「それは御勧め出来ない」ということは事実である fact3: もし「なんらかの物は拝領するしまた少ない」ということは間違いだとすれば御勧め出来ない fact4: 「血腥い」物はある fact5: もしもあの四十年後は御勧め出来ないとすると「そのソースコードプログラムは見出だし難くないし御勧め出来ない」ということは間違っている fact6: もしも「血腥い」物はあれば「あの四十年後は拝領するし少ない」ということは事実でない
fact4 & fact6 -> int1: 「あの四十年後は拝領するし少ない」ということは誤りである; fact3 -> int2: 仮に「あの四十年後は拝領するしそれは少ない」ということは成り立たないならそれは御勧め出来ない; int1 & int2 -> int3: あの四十年後は御勧め出来ない; int3 & fact5 -> hypothesis;
$facts$ = fact1: 「しょっぱい」ものはある fact2: あるものは拝領するということはないとすれば「それは御勧め出来ない」ということは事実である fact3: もし「なんらかの物は拝領するしまた少ない」ということは間違いだとすれば御勧め出来ない fact4: 「血腥い」物はある fact5: もしもあの四十年後は御勧め出来ないとすると「そのソースコードプログラムは見出だし難くないし御勧め出来ない」ということは間違っている fact6: もしも「血腥い」物はあれば「あの四十年後は拝領するし少ない」ということは事実でない ; $hypothesis$ = 「そのソースコードプログラムは見出だし難くないしそれは御勧め出来ない」ということは誤っている ; $proof$ = 
fact4 & fact6 -> int1: 「あの四十年後は拝領するし少ない」ということは誤りである; fact3 -> int2: 仮に「あの四十年後は拝領するしそれは少ない」ということは成り立たないならそれは御勧め出来ない; int1 & int2 -> int3: あの四十年後は御勧め出来ない; int3 & fact5 -> hypothesis; __PROVED__
事実1: 「しょっぱい」ものはある
事実2: あるものは拝領するということはないとすれば「それは御勧め出来ない」ということは事実である
事実3: もし「なんらかの物は拝領するしまた少ない」ということは間違いだとすれば御勧め出来ない
事実4: 「血腥い」物はある
事実5: もしもあの四十年後は御勧め出来ないとすると「そのソースコードプログラムは見出だし難くないし御勧め出来ない」ということは間違っている
事実6: もしも「血腥い」物はあれば「あの四十年後は拝領するし少ない」ということは事実でない

仮説: 「そのソースコードプログラムは見出だし難くないしそれは御勧め出来ない」ということは誤っている
1. 事実4と事実6から、推論1: "「あの四十年後は拝領するし少ない」ということは誤りである"が導かれる
2. 事実3から、推論2: "仮に「あの四十年後は拝領するしそれは少ない」ということは成り立たないならそれは御勧め出来ない"が導かれる
3. 推論1と推論2から、推論3: "あの四十年後は御勧め出来ない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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