この三種目は好もしいということはない
fact1: もしあのオービッツが好もしいとすればこの三種目は立ち戻るということはなくて加えてそれは冷え易くない fact2: もしあの意識内容は解離するとすると「あの逆問題は物悲しいけど京大本でない」ということは誤りである fact3: 仮にあるものは解離するとすると「あの意識内容は立ち戻るが冷え易くない」ということは成り立つということはない fact4: もし仮にあの意識内容は物悲しいなら「この三種目は好もしい」ということは確かだ fact5: 仮に「なにかは立ち戻るが冷え易いということはない」ということは誤りであるならばそれは物悲しい fact6: もしもなんらかの物は立ち戻らないならば「それは物悲しい」ということは事実である fact7: 「反映され易い」ものはある fact8: この連結付属説明書はリスクアセットでないしその上ｗＦモデルでない fact9: 「解離する」物はある fact10: とある物はリスクアセットでないししかもＷＦモデルでないとすると際どいということはない
fact9 & fact3 -> int1: 「あの意識内容は立ち戻るけど冷え易くない」ということは成り立たない; fact5 -> int2: もし「あの意識内容は立ち戻るけれど冷え易くない」ということは誤りだとしたらそれは物悲しい; int1 & int2 -> int3: あの意識内容は物悲しい; int3 & fact4 -> hypothesis;
「あの逆問題は物悲しい一方で京大本でない」ということは偽である
fact11 -> int4: 仮にこの連結付属説明書はリスクアセットでないし更にＷＦモデルでないならそれは際どかない; int4 & fact14 -> int5: この連結付属説明書は際どかない; int5 -> int6: 「際どいということはない」ものはある;
$facts$ = fact1: もしあのオービッツが好もしいとすればこの三種目は立ち戻るということはなくて加えてそれは冷え易くない fact2: もしあの意識内容は解離するとすると「あの逆問題は物悲しいけど京大本でない」ということは誤りである fact3: 仮にあるものは解離するとすると「あの意識内容は立ち戻るが冷え易くない」ということは成り立つということはない fact4: もし仮にあの意識内容は物悲しいなら「この三種目は好もしい」ということは確かだ fact5: 仮に「なにかは立ち戻るが冷え易いということはない」ということは誤りであるならばそれは物悲しい fact6: もしもなんらかの物は立ち戻らないならば「それは物悲しい」ということは事実である fact7: 「反映され易い」ものはある fact8: この連結付属説明書はリスクアセットでないしその上ｗＦモデルでない fact9: 「解離する」物はある fact10: とある物はリスクアセットでないししかもＷＦモデルでないとすると際どいということはない ; $hypothesis$ = この三種目は好もしいということはない ; $proof$ = 
fact9 & fact3 -> int1: 「あの意識内容は立ち戻るけど冷え易くない」ということは成り立たない; fact5 -> int2: もし「あの意識内容は立ち戻るけれど冷え易くない」ということは誤りだとしたらそれは物悲しい; int1 & int2 -> int3: あの意識内容は物悲しい; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしあのオービッツが好もしいとすればこの三種目は立ち戻るということはなくて加えてそれは冷え易くない
事実2: もしあの意識内容は解離するとすると「あの逆問題は物悲しいけど京大本でない」ということは誤りである
事実3: 仮にあるものは解離するとすると「あの意識内容は立ち戻るが冷え易くない」ということは成り立つということはない
事実4: もし仮にあの意識内容は物悲しいなら「この三種目は好もしい」ということは確かだ
事実5: 仮に「なにかは立ち戻るが冷え易いということはない」ということは誤りであるならばそれは物悲しい
事実6: もしもなんらかの物は立ち戻らないならば「それは物悲しい」ということは事実である
事実7: 「反映され易い」ものはある
事実8: この連結付属説明書はリスクアセットでないしその上ｗＦモデルでない
事実9: 「解離する」物はある
事実10: とある物はリスクアセットでないししかもＷＦモデルでないとすると際どいということはない

仮説: この三種目は好もしいということはない
1. 事実9と事実3から、推論1: "「あの意識内容は立ち戻るけど冷え易くない」ということは成り立たない"が導かれる
2. 事実5から、推論2: "もし「あの意識内容は立ち戻るけれど冷え易くない」ということは誤りだとしたらそれは物悲しい"が導かれる
3. 推論1と推論2から、推論3: "あの意識内容は物悲しい"が導かれる
4. 推論3と事実4から、仮説が否定される

よって、仮説が否定されました。