この羽音は橋渡しでない
fact1: あの特別議決はタレントさんであるしその上それは巧む fact2: あの最短年数は利用され易くない fact3: あの特別議決が焼き直すし更にタレントさんであるとしたらこの潜在型は巧まない fact4: この潜在型は浅いということはないならば「あの最短年数は利用され易いしそれは上げ難い」ということは成り立たない fact5: 仮に何かは浅いしそれにそれが後ろめたいならばこの羽音は橋渡しである fact6: もしなにかは利用され易いならば一変だ fact7: あの最短年数は利用され易くないとすれば「この潜在型は上げ難い」ということは本当である fact8: 仮になにかは巧むなら後ろめたい fact9: あの最短年数は上げ難くてまた浅い fact10: あの特別議決はタレントさんである fact11: 後ろめたい物はある fact12: とある物は浅い fact13: 上げ難い物は来し易い fact14: もし仮にこの潜在型が上げ難いとしたらあの特別議決は浅い
fact7 & fact2 -> int1: この潜在型は上げ難い; int1 & fact14 -> int2: あの特別議決は浅い; fact8 -> int3: 仮に「あの特別議決は巧む」ということは正しいとしたら「それは後ろめたくない」ということは成り立たない; fact1 -> int4: あの特別議決は巧む; int3 & int4 -> int5: あの特別議決は後ろめたい; int2 & int5 -> int6: あの特別議決は浅くてそれは後ろめたい; int6 -> int7: 何らかの物は浅いしそれに後ろめたい; int7 & fact5 -> hypothesis;
この羽音は橋渡しでない
$facts$ = fact1: あの特別議決はタレントさんであるしその上それは巧む fact2: あの最短年数は利用され易くない fact3: あの特別議決が焼き直すし更にタレントさんであるとしたらこの潜在型は巧まない fact4: この潜在型は浅いということはないならば「あの最短年数は利用され易いしそれは上げ難い」ということは成り立たない fact5: 仮に何かは浅いしそれにそれが後ろめたいならばこの羽音は橋渡しである fact6: もしなにかは利用され易いならば一変だ fact7: あの最短年数は利用され易くないとすれば「この潜在型は上げ難い」ということは本当である fact8: 仮になにかは巧むなら後ろめたい fact9: あの最短年数は上げ難くてまた浅い fact10: あの特別議決はタレントさんである fact11: 後ろめたい物はある fact12: とある物は浅い fact13: 上げ難い物は来し易い fact14: もし仮にこの潜在型が上げ難いとしたらあの特別議決は浅い ; $hypothesis$ = この羽音は橋渡しでない ; $proof$ = 
fact7 & fact2 -> int1: この潜在型は上げ難い; int1 & fact14 -> int2: あの特別議決は浅い; fact8 -> int3: 仮に「あの特別議決は巧む」ということは正しいとしたら「それは後ろめたくない」ということは成り立たない; fact1 -> int4: あの特別議決は巧む; int3 & int4 -> int5: あの特別議決は後ろめたい; int2 & int5 -> int6: あの特別議決は浅くてそれは後ろめたい; int6 -> int7: 何らかの物は浅いしそれに後ろめたい; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: あの特別議決はタレントさんであるしその上それは巧む
事実2: あの最短年数は利用され易くない
事実3: あの特別議決が焼き直すし更にタレントさんであるとしたらこの潜在型は巧まない
事実4: この潜在型は浅いということはないならば「あの最短年数は利用され易いしそれは上げ難い」ということは成り立たない
事実5: 仮に何かは浅いしそれにそれが後ろめたいならばこの羽音は橋渡しである
事実6: もしなにかは利用され易いならば一変だ
事実7: あの最短年数は利用され易くないとすれば「この潜在型は上げ難い」ということは本当である
事実8: 仮になにかは巧むなら後ろめたい
事実9: あの最短年数は上げ難くてまた浅い
事実10: あの特別議決はタレントさんである
事実11: 後ろめたい物はある
事実12: とある物は浅い
事実13: 上げ難い物は来し易い
事実14: もし仮にこの潜在型が上げ難いとしたらあの特別議決は浅い

仮説: この羽音は橋渡しでない
1. 事実7と事実2から、推論1: "この潜在型は上げ難い"が導かれる
2. 推論1と事実14から、推論2: "あの特別議決は浅い"が導かれる
3. 事実8から、推論3: "仮に「あの特別議決は巧む」ということは正しいとしたら「それは後ろめたくない」ということは成り立たない"が導かれる
4. 事実1から、推論4: "あの特別議決は巧む"が導かれる
5. 推論3と推論4から、推論5: "あの特別議決は後ろめたい"が導かれる
6. 推論2と推論5から、推論6: "あの特別議決は浅くてそれは後ろめたい"が導かれる
7. 推論6から、推論7: "何らかの物は浅いしそれに後ろめたい"が導かれる
8. 推論7と事実5から、仮説が否定される

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