この学習プログラムは放出しない
fact1: すべてのものはぎくしゃくするしまた放出する fact2: なんらかのものは金閣寺でないとすると「降り積もらなくてそれはぎくしゃくする」ということは間違っている fact3: この学習プログラムが連動でないとすれば御引き取り頂かない fact4: もし仮にとあるものが退魔士だとするとそれは御引き取り頂かない fact5: 「なんらかの物は降り積もらないがしかしぎくしゃくする」ということは成り立つということはないとしたら放出しない
fact1 -> int1: この学習プログラムはぎくしゃくするし更に放出する; int1 -> hypothesis;
fact1 -> int1: ({A}{aa} & {B}{aa}); int1 -> hypothesis;
この学習プログラムは放出しない
fact7 -> int2: 「この学習プログラムは降り積もらないがぎくしゃくする」ということは確かでないとすると「それは放出するということはない」ということは本当だ; fact6 -> int3: 仮にこの学習プログラムは金閣寺でないとしたら「降り積もらないけれどぎくしゃくする」ということは間違っている; fact9 -> int4: 仮にこの学習プログラムは退魔士ならば「それは御引き取り頂かない」ということは成り立つ;
$facts$ = fact1: すべてのものはぎくしゃくするしまた放出する fact2: なんらかのものは金閣寺でないとすると「降り積もらなくてそれはぎくしゃくする」ということは間違っている fact3: この学習プログラムが連動でないとすれば御引き取り頂かない fact4: もし仮にとあるものが退魔士だとするとそれは御引き取り頂かない fact5: 「なんらかの物は降り積もらないがしかしぎくしゃくする」ということは成り立つということはないとしたら放出しない ; $hypothesis$ = この学習プログラムは放出しない ; $proof$ = 
fact1 -> int1: この学習プログラムはぎくしゃくするし更に放出する; int1 -> hypothesis; __DISPROVED__
事実1: すべてのものはぎくしゃくするしまた放出する
事実2: なんらかのものは金閣寺でないとすると「降り積もらなくてそれはぎくしゃくする」ということは間違っている
事実3: この学習プログラムが連動でないとすれば御引き取り頂かない
事実4: もし仮にとあるものが退魔士だとするとそれは御引き取り頂かない
事実5: 「なんらかの物は降り積もらないがしかしぎくしゃくする」ということは成り立つということはないとしたら放出しない

仮説: この学習プログラムは放出しない
1. 事実1から、推論1: "この学習プログラムはぎくしゃくするし更に放出する"が導かれる
2. 推論1から、仮説が否定される

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