あのカテは君らしいということはない
fact1: 仮になにがしかのものが規制緩和しないとすれば吹奏するか愛くるしいか両方だ fact2: この主要河川は君らしい fact3: この機動は君らしい fact4: その九十七年以降は吹奏しなくて加えて規制緩和するということはない fact5: あのカテは怯え切る fact6: もしもあるものは排除出来ないならば「それは規制緩和しなくて更にそれはアウトフローでない」ということは成り立たない fact7: もし「あのカテは規制緩和しなくてそれにアウトフローでない」ということは間違いであるとするとこのベトミン勢力は規制緩和するということはない fact8: もしもその九十七年以降が困らないならそれは押し退けなくて排除出来ない fact9: あのカテは君らしい fact10: 仮にその九十七年以降が押し退けるということはないし排除出来ないならあのカテは排除出来ない
fact9 -> hypothesis;
fact9 -> hypothesis;
このベトミン勢力は君らしい
fact13 -> int1: もし仮にこのベトミン勢力が規制緩和しないなら吹奏するかもしくはそれは愛くるしい; fact12 -> int2: あのカテは排除出来ないとしたら「「それは規制緩和しなくて加えてアウトフローでない」ということは真実である」ということは嘘である;
$facts$ = fact1: 仮になにがしかのものが規制緩和しないとすれば吹奏するか愛くるしいか両方だ fact2: この主要河川は君らしい fact3: この機動は君らしい fact4: その九十七年以降は吹奏しなくて加えて規制緩和するということはない fact5: あのカテは怯え切る fact6: もしもあるものは排除出来ないならば「それは規制緩和しなくて更にそれはアウトフローでない」ということは成り立たない fact7: もし「あのカテは規制緩和しなくてそれにアウトフローでない」ということは間違いであるとするとこのベトミン勢力は規制緩和するということはない fact8: もしもその九十七年以降が困らないならそれは押し退けなくて排除出来ない fact9: あのカテは君らしい fact10: 仮にその九十七年以降が押し退けるということはないし排除出来ないならあのカテは排除出来ない ; $hypothesis$ = あのカテは君らしいということはない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものが規制緩和しないとすれば吹奏するか愛くるしいか両方だ
事実2: この主要河川は君らしい
事実3: この機動は君らしい
事実4: その九十七年以降は吹奏しなくて加えて規制緩和するということはない
事実5: あのカテは怯え切る
事実6: もしもあるものは排除出来ないならば「それは規制緩和しなくて更にそれはアウトフローでない」ということは成り立たない
事実7: もし「あのカテは規制緩和しなくてそれにアウトフローでない」ということは間違いであるとするとこのベトミン勢力は規制緩和するということはない
事実8: もしもその九十七年以降が困らないならそれは押し退けなくて排除出来ない
事実9: あのカテは君らしい
事実10: 仮にその九十七年以降が押し退けるということはないし排除出来ないならあのカテは排除出来ない

仮説: あのカテは君らしいということはない
1. 事実9から、仮説が否定される

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