この八十六人は飛び移る
fact1: 仮にとある物が圧倒出来るなら大破するけれど春らしいということはない fact2: この八十六人は脱げるけど再投資しない fact3: この八十六人は御寒いけど飛び移らないとしたらつれなくない fact4: もしこの支配形態が艶っぽくないし更にそれがディコードしないとしたらそれは心苦しくない fact5: 仮になにがしかのものが飛び移るなら圧倒出来る fact6: この支配形態は艶っぽくないし加えてディコードしない fact7: もし仮にこの八十六人は脱げるし再投資するとしたら飛び移らない fact8: そのクライが恙無くてそれが投げ付けるならあの加害者は恙無いということはない fact9: この八十六人は採用すけど零‐一乱数列でない fact10: もしこの八十六人が脱げるけれど再投資しないとしたらそれは飛び移らない fact11: この八十六人は再投資しない
fact10 & fact2 -> hypothesis;
fact10 & fact2 -> hypothesis;
この八十六人は飛び移る
fact14 & fact13 -> int1: この支配形態は心苦しくない; int1 -> int2: 「心苦しくない」物はある;
$facts$ = fact1: 仮にとある物が圧倒出来るなら大破するけれど春らしいということはない fact2: この八十六人は脱げるけど再投資しない fact3: この八十六人は御寒いけど飛び移らないとしたらつれなくない fact4: もしこの支配形態が艶っぽくないし更にそれがディコードしないとしたらそれは心苦しくない fact5: 仮になにがしかのものが飛び移るなら圧倒出来る fact6: この支配形態は艶っぽくないし加えてディコードしない fact7: もし仮にこの八十六人は脱げるし再投資するとしたら飛び移らない fact8: そのクライが恙無くてそれが投げ付けるならあの加害者は恙無いということはない fact9: この八十六人は採用すけど零‐一乱数列でない fact10: もしこの八十六人が脱げるけれど再投資しないとしたらそれは飛び移らない fact11: この八十六人は再投資しない ; $hypothesis$ = この八十六人は飛び移る ; $proof$ = 
fact10 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が圧倒出来るなら大破するけれど春らしいということはない
事実2: この八十六人は脱げるけど再投資しない
事実3: この八十六人は御寒いけど飛び移らないとしたらつれなくない
事実4: もしこの支配形態が艶っぽくないし更にそれがディコードしないとしたらそれは心苦しくない
事実5: 仮になにがしかのものが飛び移るなら圧倒出来る
事実6: この支配形態は艶っぽくないし加えてディコードしない
事実7: もし仮にこの八十六人は脱げるし再投資するとしたら飛び移らない
事実8: そのクライが恙無くてそれが投げ付けるならあの加害者は恙無いということはない
事実9: この八十六人は採用すけど零‐一乱数列でない
事実10: もしこの八十六人が脱げるけれど再投資しないとしたらそれは飛び移らない
事実11: この八十六人は再投資しない

仮説: この八十六人は飛び移る
1. 事実10と事実2から、仮説が否定される

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