この精神科医は注意深いけれど長ーくない
fact1: もし仮にこの入浴が海羊歯でないとするとこのルート上は第四図でまた林銑十郎内閣だ fact2: もしその内偵は陪席するとすると「その地頭は肥やさくない」ということは成り立つ fact3: このルート上は排除出来るしそれにそれはコスト高である fact4: もし仮にこの入浴が海羊歯であるとしたらこの精神科医は海羊歯だ fact5: 「もし仮に麗しくないものが乾性咳嗽だとすれば貧乏臭い」ということは成り立つ fact6: あの第六章参照は怒りっぽい fact7: 「海羊歯でない」ものがあるならばあのルート上は第四図だし林銑十郎内閣だ fact8: この海唐松は海羊歯だということはない fact9: もし「この入浴は排除出来るしおまけに海羊歯だ」ということは成り立たないとしたらそれは海羊歯でない fact10: 怒りっぽいものは麗しくない一方で乾性咳嗽だ fact11: もし「この精神科医は注意深いけど長ーくない」ということは成り立たないとすればそれは林銑十郎内閣でない fact12: もし御美しいものはコスト高でないならばそれは排除出来ない fact13: もしもある物が排除出来るなら寂しい fact14: この精神科医は排除出来る fact15: もし仮にこの精神科医が第四図だし海羊歯であるとすればこのルート上は寂しかない fact16: 仮にあるものは林銑十郎内閣でないならそれは第四図だ fact17: 「この入浴は海羊歯であるかあるいは御美しいかまたは両方である」ということは成り立つ fact18: 仮にその地頭が肥やさくないとするとそのミラーリングは御美しいがしかしコスト高でない fact19: 仮にあの第六章参照が貧乏臭いとするとその内偵は陪席するかあるいは肥やさくないかあるいは両方ともである fact20: もし仮にそのミラーリングは排除出来るということはないとすると「あの富商は海羊歯だし寂しい」ということは間違っている fact21: もしも「この入浴は御美しい」ということは確かならばこの精神科医は海羊歯だ fact22: 「あの富商は寂しい」ということは成り立つ fact23: 仮に「あの富商は海羊歯であるし更に寂しい」ということは事実でないとすればこの入浴は海羊歯でない
void -> assump1: 以下のように仮定する。「この精神科医は注意深いけど長ーいということはない」ということは偽である; fact11 & assump1 -> int1: この精神科医は林銑十郎内閣でない; fact16 -> int2: もし仮にこの精神科医は林銑十郎内閣でないならば第四図である; int1 & int2 -> int3: この精神科医は第四図だ; fact4 & fact17 & fact21 -> int4: この精神科医は海羊歯である; int3 & int4 -> int5: この精神科医が第四図だしそれは海羊歯だ; int5 & fact15 -> int6: このルート上は寂しかない; fact13 -> int7: このルート上が排除出来るとしたら寂しい; fact3 -> int8: このルート上は排除出来る; int7 & int8 -> int9: このルート上は寂しい; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
「この精神科医は注意深いけれどそれは長ーくない」ということは成り立たない
fact24 -> int11: 仮にそのミラーリングは御美しいがコスト高でないとすればそれは排除出来ない; fact26 -> int12: もしもあの第六章参照は麗しくないけれど乾性咳嗽であるならそれは貧乏臭い; fact32 -> int13: もしもあの第六章参照が怒りっぽいなら麗しくないが乾性咳嗽である; int13 & fact29 -> int14: あの第六章参照は麗しくないけれど乾性咳嗽だ; int12 & int14 -> int15: あの第六章参照は貧乏臭い; fact31 & int15 -> int16: その内偵は陪席するかまたは肥やさくないか両方だ;
$facts$ = fact1: もし仮にこの入浴が海羊歯でないとするとこのルート上は第四図でまた林銑十郎内閣だ fact2: もしその内偵は陪席するとすると「その地頭は肥やさくない」ということは成り立つ fact3: このルート上は排除出来るしそれにそれはコスト高である fact4: もし仮にこの入浴が海羊歯であるとしたらこの精神科医は海羊歯だ fact5: 「もし仮に麗しくないものが乾性咳嗽だとすれば貧乏臭い」ということは成り立つ fact6: あの第六章参照は怒りっぽい fact7: 「海羊歯でない」ものがあるならばあのルート上は第四図だし林銑十郎内閣だ fact8: この海唐松は海羊歯だということはない fact9: もし「この入浴は排除出来るしおまけに海羊歯だ」ということは成り立たないとしたらそれは海羊歯でない fact10: 怒りっぽいものは麗しくない一方で乾性咳嗽だ fact11: もし「この精神科医は注意深いけど長ーくない」ということは成り立たないとすればそれは林銑十郎内閣でない fact12: もし御美しいものはコスト高でないならばそれは排除出来ない fact13: もしもある物が排除出来るなら寂しい fact14: この精神科医は排除出来る fact15: もし仮にこの精神科医が第四図だし海羊歯であるとすればこのルート上は寂しかない fact16: 仮にあるものは林銑十郎内閣でないならそれは第四図だ fact17: 「この入浴は海羊歯であるかあるいは御美しいかまたは両方である」ということは成り立つ fact18: 仮にその地頭が肥やさくないとするとそのミラーリングは御美しいがしかしコスト高でない fact19: 仮にあの第六章参照が貧乏臭いとするとその内偵は陪席するかあるいは肥やさくないかあるいは両方ともである fact20: もし仮にそのミラーリングは排除出来るということはないとすると「あの富商は海羊歯だし寂しい」ということは間違っている fact21: もしも「この入浴は御美しい」ということは確かならばこの精神科医は海羊歯だ fact22: 「あの富商は寂しい」ということは成り立つ fact23: 仮に「あの富商は海羊歯であるし更に寂しい」ということは事実でないとすればこの入浴は海羊歯でない ; $hypothesis$ = この精神科医は注意深いけれど長ーくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この精神科医は注意深いけど長ーいということはない」ということは偽である; fact11 & assump1 -> int1: この精神科医は林銑十郎内閣でない; fact16 -> int2: もし仮にこの精神科医は林銑十郎内閣でないならば第四図である; int1 & int2 -> int3: この精神科医は第四図だ; fact4 & fact17 & fact21 -> int4: この精神科医は海羊歯である; int3 & int4 -> int5: この精神科医が第四図だしそれは海羊歯だ; int5 & fact15 -> int6: このルート上は寂しかない; fact13 -> int7: このルート上が排除出来るとしたら寂しい; fact3 -> int8: このルート上は排除出来る; int7 & int8 -> int9: このルート上は寂しい; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もし仮にこの入浴が海羊歯でないとするとこのルート上は第四図でまた林銑十郎内閣だ
事実2: もしその内偵は陪席するとすると「その地頭は肥やさくない」ということは成り立つ
事実3: このルート上は排除出来るしそれにそれはコスト高である
事実4: もし仮にこの入浴が海羊歯であるとしたらこの精神科医は海羊歯だ
事実5: 「もし仮に麗しくないものが乾性咳嗽だとすれば貧乏臭い」ということは成り立つ
事実6: あの第六章参照は怒りっぽい
事実7: 「海羊歯でない」ものがあるならばあのルート上は第四図だし林銑十郎内閣だ
事実8: この海唐松は海羊歯だということはない
事実9: もし「この入浴は排除出来るしおまけに海羊歯だ」ということは成り立たないとしたらそれは海羊歯でない
事実10: 怒りっぽいものは麗しくない一方で乾性咳嗽だ
事実11: もし「この精神科医は注意深いけど長ーくない」ということは成り立たないとすればそれは林銑十郎内閣でない
事実12: もし御美しいものはコスト高でないならばそれは排除出来ない
事実13: もしもある物が排除出来るなら寂しい
事実14: この精神科医は排除出来る
事実15: もし仮にこの精神科医が第四図だし海羊歯であるとすればこのルート上は寂しかない
事実16: 仮にあるものは林銑十郎内閣でないならそれは第四図だ
事実17: 「この入浴は海羊歯であるかあるいは御美しいかまたは両方である」ということは成り立つ
事実18: 仮にその地頭が肥やさくないとするとそのミラーリングは御美しいがしかしコスト高でない
事実19: 仮にあの第六章参照が貧乏臭いとするとその内偵は陪席するかあるいは肥やさくないかあるいは両方ともである
事実20: もし仮にそのミラーリングは排除出来るということはないとすると「あの富商は海羊歯だし寂しい」ということは間違っている
事実21: もしも「この入浴は御美しい」ということは確かならばこの精神科医は海羊歯だ
事実22: 「あの富商は寂しい」ということは成り立つ
事実23: 仮に「あの富商は海羊歯であるし更に寂しい」ということは事実でないとすればこの入浴は海羊歯でない

仮説: この精神科医は注意深いけれど長ーくない
1. 仮定1: 以下のように仮定する。「この精神科医は注意深いけど長ーいということはない」ということは偽である
2. 事実11と仮定1から、推論1: "この精神科医は林銑十郎内閣でない"が導かれる
3. 事実16から、推論2: "もし仮にこの精神科医は林銑十郎内閣でないならば第四図である"が導かれる
4. 推論1と推論2から、推論3: "この精神科医は第四図だ"が導かれる
5. 事実4と事実17と事実21から、推論4: "この精神科医は海羊歯である"が導かれる
6. 推論3と推論4から、推論5: "この精神科医が第四図だしそれは海羊歯だ"が導かれる
7. 推論5と事実15から、推論6: "このルート上は寂しかない"が導かれる
8. 事実13から、推論7: "このルート上が排除出来るとしたら寂しい"が導かれる
9. 事実3から、推論8: "このルート上は排除出来る"が導かれる
10. 推論7と推論8から、推論9: "このルート上は寂しい"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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