「「真っ暗くない」物はある」ということは成り立たない
fact1: すべてのものは御気に為さらないが空ける fact2: 「落ち続けるということはない」物はある fact3: 「真っ暗い」物はある fact4: なんらかのものはナイーブＴ細胞だ fact5: 「あの悲歌は朱書しない」ということは誤りでない fact6: この純粋さは図書館訪問記だということはない fact7: なにがしかのものが確認し易い一方で真っ暗いということはないなら「それは作り難くない」ということは真実である fact8: 受け易いものはある fact9: あの悲歌は真っ暗くない fact10: 何かは十八年末でない fact11: なにがしかの物はおっかしくない fact12: あの悲歌はハンカチーフでない fact13: 「深海である」ものはある fact14: なにかは別レイヤーだということはない
fact9 -> hypothesis;
fact9 -> hypothesis;
そのナショナル・アソシエーションは拵えるということはない
fact15 -> int1: あの資源活用は御気に為さらないけれどそれは空ける; int1 -> int2: あの資源活用は御気に為さらない; int2 -> int3: 全ては御気に為さらない; int3 -> int4: あの切り欠きは御気に為さるということはない; int4 -> int5: 何かは御気に為さらない;
$facts$ = fact1: すべてのものは御気に為さらないが空ける fact2: 「落ち続けるということはない」物はある fact3: 「真っ暗い」物はある fact4: なんらかのものはナイーブＴ細胞だ fact5: 「あの悲歌は朱書しない」ということは誤りでない fact6: この純粋さは図書館訪問記だということはない fact7: なにがしかのものが確認し易い一方で真っ暗いということはないなら「それは作り難くない」ということは真実である fact8: 受け易いものはある fact9: あの悲歌は真っ暗くない fact10: 何かは十八年末でない fact11: なにがしかの物はおっかしくない fact12: あの悲歌はハンカチーフでない fact13: 「深海である」ものはある fact14: なにかは別レイヤーだということはない ; $hypothesis$ = 「「真っ暗くない」物はある」ということは成り立たない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: すべてのものは御気に為さらないが空ける
事実2: 「落ち続けるということはない」物はある
事実3: 「真っ暗い」物はある
事実4: なんらかのものはナイーブＴ細胞だ
事実5: 「あの悲歌は朱書しない」ということは誤りでない
事実6: この純粋さは図書館訪問記だということはない
事実7: なにがしかのものが確認し易い一方で真っ暗いということはないなら「それは作り難くない」ということは真実である
事実8: 受け易いものはある
事実9: あの悲歌は真っ暗くない
事実10: 何かは十八年末でない
事実11: なにがしかの物はおっかしくない
事実12: あの悲歌はハンカチーフでない
事実13: 「深海である」ものはある
事実14: なにかは別レイヤーだということはない

仮説: 「「真っ暗くない」物はある」ということは成り立たない
1. 事実9から、仮説が否定される

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