その歴史的役割は決め為さらない
fact1: このホストディレクトリは決め為さる fact2: その大軍は書き留める fact3: その歴史的役割は脱会する fact4: 「紛らわしい物は決め為さらない」ということは本当だ fact5: もしもなんらかのものが書き留めるとするとそれは悪趣でない fact6: 仮にある物は悪趣でないとするとそれは水っぽくない一方で残り難い fact7: もし何かは御出ししないなら「「熟達する一方で紛らわしいということはない」ということは確かである」ということは間違いだ fact8: その歴史的役割は決め為さる fact9: その冥福は決め為さる fact10: 水っぽいということはなくて残り難い物は売店だということはない fact11: もし「あのＥＦは熟達するけど紛らわしくない」ということは成り立つということはないとすると「その歴史的役割は紛らわしい」ということは真実だ fact12: 仮に「「恒常化するということはない一方で倒れ難い」ということは事実と異なる」ものがあるとするとこの籐は倒れ難くない fact13: その爆撃機は決め為さる fact14: 「「恒常化しないし倒れ難い」ということは間違いである」ものはある fact15: その大軍が売店でないならこの籐は遅いしそれはプレーンタイプだ fact16: 紛らわしいものは決め為さる
fact8 -> hypothesis;
fact8 -> hypothesis;
あの氷原は決め為さる
fact17 -> int1: もしあの氷原が紛らわしいなら決め為さる;
$facts$ = fact1: このホストディレクトリは決め為さる fact2: その大軍は書き留める fact3: その歴史的役割は脱会する fact4: 「紛らわしい物は決め為さらない」ということは本当だ fact5: もしもなんらかのものが書き留めるとするとそれは悪趣でない fact6: 仮にある物は悪趣でないとするとそれは水っぽくない一方で残り難い fact7: もし何かは御出ししないなら「「熟達する一方で紛らわしいということはない」ということは確かである」ということは間違いだ fact8: その歴史的役割は決め為さる fact9: その冥福は決め為さる fact10: 水っぽいということはなくて残り難い物は売店だということはない fact11: もし「あのＥＦは熟達するけど紛らわしくない」ということは成り立つということはないとすると「その歴史的役割は紛らわしい」ということは真実だ fact12: 仮に「「恒常化するということはない一方で倒れ難い」ということは事実と異なる」ものがあるとするとこの籐は倒れ難くない fact13: その爆撃機は決め為さる fact14: 「「恒常化しないし倒れ難い」ということは間違いである」ものはある fact15: その大軍が売店でないならこの籐は遅いしそれはプレーンタイプだ fact16: 紛らわしいものは決め為さる ; $hypothesis$ = その歴史的役割は決め為さらない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: このホストディレクトリは決め為さる
事実2: その大軍は書き留める
事実3: その歴史的役割は脱会する
事実4: 「紛らわしい物は決め為さらない」ということは本当だ
事実5: もしもなんらかのものが書き留めるとするとそれは悪趣でない
事実6: 仮にある物は悪趣でないとするとそれは水っぽくない一方で残り難い
事実7: もし何かは御出ししないなら「「熟達する一方で紛らわしいということはない」ということは確かである」ということは間違いだ
事実8: その歴史的役割は決め為さる
事実9: その冥福は決め為さる
事実10: 水っぽいということはなくて残り難い物は売店だということはない
事実11: もし「あのＥＦは熟達するけど紛らわしくない」ということは成り立つということはないとすると「その歴史的役割は紛らわしい」ということは真実だ
事実12: 仮に「「恒常化するということはない一方で倒れ難い」ということは事実と異なる」ものがあるとするとこの籐は倒れ難くない
事実13: その爆撃機は決め為さる
事実14: 「「恒常化しないし倒れ難い」ということは間違いである」ものはある
事実15: その大軍が売店でないならこの籐は遅いしそれはプレーンタイプだ
事実16: 紛らわしいものは決め為さる

仮説: その歴史的役割は決め為さらない
1. 事実8から、仮説が否定される

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