そのマシンコードは高祖である
fact1: もしそのマシンコードが高祖であるとすればこのオセロは情報公開条例である fact2: 「もしそのマシンコードが美徳ならそのマシンコードは山河でない」ということは成り立つ fact3: そのインデントは招聘するということはないけど呆気ない fact4: もし仮になにかは美徳でないとすれば「型紙だしおまけに山河だということはない」ということは間違っている fact5: なんらかのものは情報公開条例であるとしたら苦い fact6: もし仮に「このオセロは型紙であるが山河でない」ということは嘘であるとしたらそれは型紙でない fact7: そのマシンコードは山河である fact8: そのマシンコードは鉱石だ fact9: もし仮にそのマシンコードが情報公開条例だとするとそれは美徳である fact10: そのマシンコードは話し合わない fact11: あの実質金利は鉱石である fact12: もし仮にそのマシンコードが情報公開条例でないとすればそれは高祖でないけれど鉱石である fact13: 「鉱石である」物があるならばあのオセロは美徳であるということはない
void -> assump1: 以下のように仮定する。そのマシンコードは情報公開条例だ; fact9 & assump1 -> int1: そのマシンコードは美徳だ; int1 & fact2 -> int2: そのマシンコードは山河でない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのマシンコードは情報公開条例でない; int4 & fact12 -> int5: そのマシンコードは高祖でないが鉱石だ; int5 -> hypothesis;
このオセロは型紙でないけど苦い
fact19 -> int6: もし仮にこのオセロは美徳でないとすれば「型紙であるしそれに山河でない」ということは成り立つということはない; fact16 -> int7: 「鉱石な」ものはある; int7 & fact17 -> int8: このオセロは美徳でない; int6 & int8 -> int9: 「このオセロは型紙であるがそれは山河でない」ということは本当でない; fact15 & int9 -> int10: 「このオセロは型紙でない」ということは事実である; fact18 -> int11: 仮にこのオセロが情報公開条例ならば苦い;
$facts$ = fact1: もしそのマシンコードが高祖であるとすればこのオセロは情報公開条例である fact2: 「もしそのマシンコードが美徳ならそのマシンコードは山河でない」ということは成り立つ fact3: そのインデントは招聘するということはないけど呆気ない fact4: もし仮になにかは美徳でないとすれば「型紙だしおまけに山河だということはない」ということは間違っている fact5: なんらかのものは情報公開条例であるとしたら苦い fact6: もし仮に「このオセロは型紙であるが山河でない」ということは嘘であるとしたらそれは型紙でない fact7: そのマシンコードは山河である fact8: そのマシンコードは鉱石だ fact9: もし仮にそのマシンコードが情報公開条例だとするとそれは美徳である fact10: そのマシンコードは話し合わない fact11: あの実質金利は鉱石である fact12: もし仮にそのマシンコードが情報公開条例でないとすればそれは高祖でないけれど鉱石である fact13: 「鉱石である」物があるならばあのオセロは美徳であるということはない ; $hypothesis$ = そのマシンコードは高祖である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのマシンコードは情報公開条例だ; fact9 & assump1 -> int1: そのマシンコードは美徳だ; int1 & fact2 -> int2: そのマシンコードは山河でない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのマシンコードは情報公開条例でない; int4 & fact12 -> int5: そのマシンコードは高祖でないが鉱石だ; int5 -> hypothesis; __DISPROVED__
事実1: もしそのマシンコードが高祖であるとすればこのオセロは情報公開条例である
事実2: 「もしそのマシンコードが美徳ならそのマシンコードは山河でない」ということは成り立つ
事実3: そのインデントは招聘するということはないけど呆気ない
事実4: もし仮になにかは美徳でないとすれば「型紙だしおまけに山河だということはない」ということは間違っている
事実5: なんらかのものは情報公開条例であるとしたら苦い
事実6: もし仮に「このオセロは型紙であるが山河でない」ということは嘘であるとしたらそれは型紙でない
事実7: そのマシンコードは山河である
事実8: そのマシンコードは鉱石だ
事実9: もし仮にそのマシンコードが情報公開条例だとするとそれは美徳である
事実10: そのマシンコードは話し合わない
事実11: あの実質金利は鉱石である
事実12: もし仮にそのマシンコードが情報公開条例でないとすればそれは高祖でないけれど鉱石である
事実13: 「鉱石である」物があるならばあのオセロは美徳であるということはない

仮説: そのマシンコードは高祖である
1. 仮定1: 以下のように仮定する。そのマシンコードは情報公開条例だ
2. 事実9と仮定1から、推論1: "そのマシンコードは美徳だ"が導かれる
3. 推論1と事実2から、推論2: "そのマシンコードは山河でない"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのマシンコードは情報公開条例でない"が導かれる
6. 推論4と事実12から、推論5: "そのマシンコードは高祖でないが鉱石だ"が導かれる
7. 推論5から、仮説が否定される

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