その放し飼いは新し
fact1: もしもあのウォッカはセファマイシン薬だとしたら「この一列縦隊が混じるしその上それは精出す」ということは確かでない fact2: もしあのウォッカがセファマイシン薬だが蔓草でないなら「この森林組合は新し」ということは成り立つ fact3: 「この一列縦隊は混じらないけれどそれはセファマイシン薬である」ということは確かでない fact4: あのウォッカはセファマイシン薬であるならば「この一列縦隊は混じるということはないけれど精出す」ということは偽だ fact5: あのウォッカはセファマイシン薬だ fact6: 仮に「この一列縦隊はセファマイシン薬でない一方で混じる」ということは嘘ならばあのウォッカは精出す fact7: もしこの一列縦隊が混じればその放し飼いは新し fact8: 「セファマイシン薬でない」ものがあるならその放し飼いは新しない fact9: この一列縦隊はアメリカっぽい fact10: 「この一列縦隊は混じるということはない一方で精出す」ということは偽だとすればその放し飼いは新し fact11: この一列縦隊は新し fact12: あのウォッカは精出す fact13: 「この発現低下は末恐ろしくないがしかし思わしい」ということは偽である fact14: この一列縦隊は角ログだ
fact4 & fact5 -> int1: 「この一列縦隊は混じらないけど精出す」ということは本当でない; int1 & fact10 -> hypothesis;
fact4 & fact5 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact10 -> hypothesis;
その放し飼いは新しない
$facts$ = fact1: もしもあのウォッカはセファマイシン薬だとしたら「この一列縦隊が混じるしその上それは精出す」ということは確かでない fact2: もしあのウォッカがセファマイシン薬だが蔓草でないなら「この森林組合は新し」ということは成り立つ fact3: 「この一列縦隊は混じらないけれどそれはセファマイシン薬である」ということは確かでない fact4: あのウォッカはセファマイシン薬であるならば「この一列縦隊は混じるということはないけれど精出す」ということは偽だ fact5: あのウォッカはセファマイシン薬だ fact6: 仮に「この一列縦隊はセファマイシン薬でない一方で混じる」ということは嘘ならばあのウォッカは精出す fact7: もしこの一列縦隊が混じればその放し飼いは新し fact8: 「セファマイシン薬でない」ものがあるならその放し飼いは新しない fact9: この一列縦隊はアメリカっぽい fact10: 「この一列縦隊は混じるということはない一方で精出す」ということは偽だとすればその放し飼いは新し fact11: この一列縦隊は新し fact12: あのウォッカは精出す fact13: 「この発現低下は末恐ろしくないがしかし思わしい」ということは偽である fact14: この一列縦隊は角ログだ ; $hypothesis$ = その放し飼いは新し ; $proof$ = 
fact4 & fact5 -> int1: 「この一列縦隊は混じらないけど精出す」ということは本当でない; int1 & fact10 -> hypothesis; __PROVED__
事実1: もしもあのウォッカはセファマイシン薬だとしたら「この一列縦隊が混じるしその上それは精出す」ということは確かでない
事実2: もしあのウォッカがセファマイシン薬だが蔓草でないなら「この森林組合は新し」ということは成り立つ
事実3: 「この一列縦隊は混じらないけれどそれはセファマイシン薬である」ということは確かでない
事実4: あのウォッカはセファマイシン薬であるならば「この一列縦隊は混じるということはないけれど精出す」ということは偽だ
事実5: あのウォッカはセファマイシン薬だ
事実6: 仮に「この一列縦隊はセファマイシン薬でない一方で混じる」ということは嘘ならばあのウォッカは精出す
事実7: もしこの一列縦隊が混じればその放し飼いは新し
事実8: 「セファマイシン薬でない」ものがあるならその放し飼いは新しない
事実9: この一列縦隊はアメリカっぽい
事実10: 「この一列縦隊は混じるということはない一方で精出す」ということは偽だとすればその放し飼いは新し
事実11: この一列縦隊は新し
事実12: あのウォッカは精出す
事実13: 「この発現低下は末恐ろしくないがしかし思わしい」ということは偽である
事実14: この一列縦隊は角ログだ

仮説: その放し飼いは新し
1. 事実4と事実5から、推論1: "「この一列縦隊は混じらないけど精出す」ということは本当でない"が導かれる
2. 推論1と事実10から、仮説が導かれる

よって、仮説が証明されました。