その九秒台は出来始めない
fact1: もしその言い伝えが燃え滾るとすればあの九秒台は出来始める fact2: もし仮に「なにかは危険領域でないけどそれは新しい」ということは誤りだとすればそれは合掌しない fact3: 仮にその言い伝えは跳ね返すとしたら「その九秒台は出来始める」ということは確かである fact4: 「この純血は危険領域でないけれどそれは新しい」ということは成り立たない fact5: もしなにがしかのものが燃え滾るとしたら跳ね返さないしさらに合掌するということはない fact6: もしこの純血が合掌しないならその言い伝えは燃え滾るかまたは跳ね返すかもしくはどちらもである
fact2 -> int1: 「この純血は危険領域でないが新しい」ということは成り立たないとするとそれは合掌しない; int1 & fact4 -> int2: 「この純血は合掌するということはない」ということは本当である; int2 & fact6 -> int3: その言い伝えは燃え滾るかまたは跳ね返すか両方ともである; int3 & fact1 & fact3 -> hypothesis;
この純血は跳ね返さない
fact7 -> int4: もし仮にこの純血が燃え滾るとすれば跳ね返すということはないし合掌するということはない;
$facts$ = fact1: もしその言い伝えが燃え滾るとすればあの九秒台は出来始める fact2: もし仮に「なにかは危険領域でないけどそれは新しい」ということは誤りだとすればそれは合掌しない fact3: 仮にその言い伝えは跳ね返すとしたら「その九秒台は出来始める」ということは確かである fact4: 「この純血は危険領域でないけれどそれは新しい」ということは成り立たない fact5: もしなにがしかのものが燃え滾るとしたら跳ね返さないしさらに合掌するということはない fact6: もしこの純血が合掌しないならその言い伝えは燃え滾るかまたは跳ね返すかもしくはどちらもである ; $hypothesis$ = その九秒台は出来始めない ; $proof$ = 
fact2 -> int1: 「この純血は危険領域でないが新しい」ということは成り立たないとするとそれは合掌しない; int1 & fact4 -> int2: 「この純血は合掌するということはない」ということは本当である; int2 & fact6 -> int3: その言い伝えは燃え滾るかまたは跳ね返すか両方ともである; int3 & fact1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしその言い伝えが燃え滾るとすればあの九秒台は出来始める
事実2: もし仮に「なにかは危険領域でないけどそれは新しい」ということは誤りだとすればそれは合掌しない
事実3: 仮にその言い伝えは跳ね返すとしたら「その九秒台は出来始める」ということは確かである
事実4: 「この純血は危険領域でないけれどそれは新しい」ということは成り立たない
事実5: もしなにがしかのものが燃え滾るとしたら跳ね返さないしさらに合掌するということはない
事実6: もしこの純血が合掌しないならその言い伝えは燃え滾るかまたは跳ね返すかもしくはどちらもである

仮説: その九秒台は出来始めない
1. 事実2から、推論1: "「この純血は危険領域でないが新しい」ということは成り立たないとするとそれは合掌しない"が導かれる
2. 推論1と事実4から、推論2: "「この純血は合掌するということはない」ということは本当である"が導かれる
3. 推論2と事実6から、推論3: "その言い伝えは燃え滾るかまたは跳ね返すか両方ともである"が導かれる
4. 推論3と事実1と事実3から、仮説が否定される

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