あの成果重視は安堵し難くない
fact1: もしもなんらかの物は拡張出来るしそれに専用露天風呂付きであるならばそれは安堵し難いということはない fact2: もしもなんらかの物が初々しいとするとそれは安堵し難い fact3: もし仮に何かは探索するなら散会する fact4: そのテレビカメラは初々しい fact5: あの二千四年度は拡張出来る fact6: 何らかの物は専用露天風呂付きだ fact7: あの成果重視は拡張出来る fact8: もしも何らかの物が専用露天風呂付きでその上それが拡張出来るとするとあの成果重視は初々しい fact9: あの修正は拡張出来る fact10: もしその第十三飛行教育団は専用露天風呂付きであるとするとそれは初々しい fact11: あの修正は専用露天風呂付きである fact12: 「拡張出来る」物はある
fact11 & fact9 -> int1: あの修正が専用露天風呂付きだしかつそれは拡張出来る; int1 -> int2: 「専用露天風呂付きであるしまた拡張出来る」物はある; int2 & fact8 -> int3: あの成果重視は初々しい; fact2 -> int4: 仮に「あの成果重視は初々しい」ということは本当であるならば「それは安堵し難い」ということは確かである; int3 & int4 -> hypothesis;
あの成果重視は安堵し難くない
fact13 -> int5: あの成果重視は拡張出来るしおまけに専用露天風呂付きだとしたらそれは安堵し難くない;
$facts$ = fact1: もしもなんらかの物は拡張出来るしそれに専用露天風呂付きであるならばそれは安堵し難いということはない fact2: もしもなんらかの物が初々しいとするとそれは安堵し難い fact3: もし仮に何かは探索するなら散会する fact4: そのテレビカメラは初々しい fact5: あの二千四年度は拡張出来る fact6: 何らかの物は専用露天風呂付きだ fact7: あの成果重視は拡張出来る fact8: もしも何らかの物が専用露天風呂付きでその上それが拡張出来るとするとあの成果重視は初々しい fact9: あの修正は拡張出来る fact10: もしその第十三飛行教育団は専用露天風呂付きであるとするとそれは初々しい fact11: あの修正は専用露天風呂付きである fact12: 「拡張出来る」物はある ; $hypothesis$ = あの成果重視は安堵し難くない ; $proof$ = 
fact11 & fact9 -> int1: あの修正が専用露天風呂付きだしかつそれは拡張出来る; int1 -> int2: 「専用露天風呂付きであるしまた拡張出来る」物はある; int2 & fact8 -> int3: あの成果重視は初々しい; fact2 -> int4: 仮に「あの成果重視は初々しい」ということは本当であるならば「それは安堵し難い」ということは確かである; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物は拡張出来るしそれに専用露天風呂付きであるならばそれは安堵し難いということはない
事実2: もしもなんらかの物が初々しいとするとそれは安堵し難い
事実3: もし仮に何かは探索するなら散会する
事実4: そのテレビカメラは初々しい
事実5: あの二千四年度は拡張出来る
事実6: 何らかの物は専用露天風呂付きだ
事実7: あの成果重視は拡張出来る
事実8: もしも何らかの物が専用露天風呂付きでその上それが拡張出来るとするとあの成果重視は初々しい
事実9: あの修正は拡張出来る
事実10: もしその第十三飛行教育団は専用露天風呂付きであるとするとそれは初々しい
事実11: あの修正は専用露天風呂付きである
事実12: 「拡張出来る」物はある

仮説: あの成果重視は安堵し難くない
1. 事実11と事実9から、推論1: "あの修正が専用露天風呂付きだしかつそれは拡張出来る"が導かれる
2. 推論1から、推論2: "「専用露天風呂付きであるしまた拡張出来る」物はある"が導かれる
3. 推論2と事実8から、推論3: "あの成果重視は初々しい"が導かれる
4. 事実2から、推論4: "仮に「あの成果重視は初々しい」ということは本当であるならば「それは安堵し難い」ということは確かである"が導かれる
5. 推論3と推論4から、仮説が否定される

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