この日向国は再起する
fact1: その五世紀頃が脅かさないかトリミングしないかもしくはどちらもであるとするとこの日向国は脅かさない fact2: 仮に「なんらかのものは輝き続けるし機器類である」ということは間違っているとしたらそれは機器類だということはない fact3: もし仮に「起こし始めないけど移行し易い」ものがあるとすればこの日向国は渡欧しない fact4: 「移行し易い」物はある fact5: 仮にその五世紀頃が機器類だということはないとすればあの日向国は再起しないしかつ移行し易くない fact6: もしもとある物が慕わしいとすれば再起する fact7: 慕わしくて移行し易い物はある fact8: 仮に慕わしくないものが移行し易いとすればあの日向国は再起しない fact9: この日向国は移行し易くない fact10: 「卑しくないしその上再発し易い」物はある fact11: 「慕わしいということはない」物はある fact12: 何らかの物は慕わしくないけれど移行し易い fact13: もしも慕わしくない物は遠巻きであるとすると「この日向国は渡欧しない」ということは成り立つ fact14: もし仮にある物が加増しないがしかしそれが外力だとしたらその準備姿勢は慕わしいということはない fact15: 仮に何かは脅かすということはないとしたら移行し易い機器類だ fact16: この日向国は慕わしくない fact17: 仮にとあるものが再起しなくて移行し易くないとすれば慕わしくない fact18: この日向国はトリミングしない
fact12 & fact8 -> hypothesis;
fact12 & fact8 -> hypothesis;
この日向国は再起する
fact20 -> int1: もしこの日向国が慕わしいとすると再起する; fact21 -> int2: もしもこの日向国が脅かさないならそれは移行し易いしかつ機器類だ;
$facts$ = fact1: その五世紀頃が脅かさないかトリミングしないかもしくはどちらもであるとするとこの日向国は脅かさない fact2: 仮に「なんらかのものは輝き続けるし機器類である」ということは間違っているとしたらそれは機器類だということはない fact3: もし仮に「起こし始めないけど移行し易い」ものがあるとすればこの日向国は渡欧しない fact4: 「移行し易い」物はある fact5: 仮にその五世紀頃が機器類だということはないとすればあの日向国は再起しないしかつ移行し易くない fact6: もしもとある物が慕わしいとすれば再起する fact7: 慕わしくて移行し易い物はある fact8: 仮に慕わしくないものが移行し易いとすればあの日向国は再起しない fact9: この日向国は移行し易くない fact10: 「卑しくないしその上再発し易い」物はある fact11: 「慕わしいということはない」物はある fact12: 何らかの物は慕わしくないけれど移行し易い fact13: もしも慕わしくない物は遠巻きであるとすると「この日向国は渡欧しない」ということは成り立つ fact14: もし仮にある物が加増しないがしかしそれが外力だとしたらその準備姿勢は慕わしいということはない fact15: 仮に何かは脅かすということはないとしたら移行し易い機器類だ fact16: この日向国は慕わしくない fact17: 仮にとあるものが再起しなくて移行し易くないとすれば慕わしくない fact18: この日向国はトリミングしない ; $hypothesis$ = この日向国は再起する ; $proof$ = 
fact12 & fact8 -> hypothesis; __DISPROVED__
事実1: その五世紀頃が脅かさないかトリミングしないかもしくはどちらもであるとするとこの日向国は脅かさない
事実2: 仮に「なんらかのものは輝き続けるし機器類である」ということは間違っているとしたらそれは機器類だということはない
事実3: もし仮に「起こし始めないけど移行し易い」ものがあるとすればこの日向国は渡欧しない
事実4: 「移行し易い」物はある
事実5: 仮にその五世紀頃が機器類だということはないとすればあの日向国は再起しないしかつ移行し易くない
事実6: もしもとある物が慕わしいとすれば再起する
事実7: 慕わしくて移行し易い物はある
事実8: 仮に慕わしくないものが移行し易いとすればあの日向国は再起しない
事実9: この日向国は移行し易くない
事実10: 「卑しくないしその上再発し易い」物はある
事実11: 「慕わしいということはない」物はある
事実12: 何らかの物は慕わしくないけれど移行し易い
事実13: もしも慕わしくない物は遠巻きであるとすると「この日向国は渡欧しない」ということは成り立つ
事実14: もし仮にある物が加増しないがしかしそれが外力だとしたらその準備姿勢は慕わしいということはない
事実15: 仮に何かは脅かすということはないとしたら移行し易い機器類だ
事実16: この日向国は慕わしくない
事実17: 仮にとあるものが再起しなくて移行し易くないとすれば慕わしくない
事実18: この日向国はトリミングしない

仮説: この日向国は再起する
1. 事実12と事実8から、仮説が否定される

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