その洪水玄武岩は格好良いけれど六千年紀でない
fact1: もしもあの言語バーが空爆しないならばそれは船団であるということはないかあるいはそれは小花でないかあるいは両方だ fact2: あの言語バーは空爆しない fact3: もし仮に「その葡萄糖液は格好良くない」ということは本当だとすればその洪水玄武岩は格好良いがしかし六千年紀でない fact4: 仮にあの竪坑は空爆するということはないなら「その葡萄糖液は与し易いということはないが空爆する」ということは成り立つということはない fact5: あの竪坑は小花だ fact6: もし仮にとあるものは腹黒くないなら「それは格好良いしそれは六千年紀でない」ということは成り立つということはない fact7: もしも「なにがしかのものは与し易くないけどそれは空爆する」ということは成り立たないとしたら格好良くない fact8: 仮にあるものが幕閣でないならそれは等しくないしそれは腹黒くない fact9: もしもあの言語バーが小花であるかまたは船団であるかどちらもであるならばあの竪坑は空爆するということはない fact10: もしも「腹黒くない」ものがあるとしたらあの言語バーが幕閣だし船団だ fact11: 何らかのものは腹黒くない fact12: あの言語バーが小花であるならあの竪坑は空爆しない
fact11 & fact10 -> int1: あの言語バーは幕閣であるし船団だ; int1 -> int2: あの言語バーは船団だ; int2 -> int3: あの言語バーは小花であるかまたは船団だ; int3 & fact9 -> int4: あの竪坑は空爆しない; int4 & fact4 -> int5: 「その葡萄糖液は与し易くないがしかし空爆する」ということは偽だ; fact7 -> int6: もしも「その葡萄糖液は与し易くない一方で空爆する」ということは誤っているとすると格好良くない; int5 & int6 -> int7: その葡萄糖液は格好良くない; int7 & fact3 -> hypothesis;
「等しくない」物はある
fact13 -> int8: もしあの言語バーが幕閣でないなら等しくないしそれは腹黒くない;
$facts$ = fact1: もしもあの言語バーが空爆しないならばそれは船団であるということはないかあるいはそれは小花でないかあるいは両方だ fact2: あの言語バーは空爆しない fact3: もし仮に「その葡萄糖液は格好良くない」ということは本当だとすればその洪水玄武岩は格好良いがしかし六千年紀でない fact4: 仮にあの竪坑は空爆するということはないなら「その葡萄糖液は与し易いということはないが空爆する」ということは成り立つということはない fact5: あの竪坑は小花だ fact6: もし仮にとあるものは腹黒くないなら「それは格好良いしそれは六千年紀でない」ということは成り立つということはない fact7: もしも「なにがしかのものは与し易くないけどそれは空爆する」ということは成り立たないとしたら格好良くない fact8: 仮にあるものが幕閣でないならそれは等しくないしそれは腹黒くない fact9: もしもあの言語バーが小花であるかまたは船団であるかどちらもであるならばあの竪坑は空爆するということはない fact10: もしも「腹黒くない」ものがあるとしたらあの言語バーが幕閣だし船団だ fact11: 何らかのものは腹黒くない fact12: あの言語バーが小花であるならあの竪坑は空爆しない ; $hypothesis$ = その洪水玄武岩は格好良いけれど六千年紀でない ; $proof$ = 
fact11 & fact10 -> int1: あの言語バーは幕閣であるし船団だ; int1 -> int2: あの言語バーは船団だ; int2 -> int3: あの言語バーは小花であるかまたは船団だ; int3 & fact9 -> int4: あの竪坑は空爆しない; int4 & fact4 -> int5: 「その葡萄糖液は与し易くないがしかし空爆する」ということは偽だ; fact7 -> int6: もしも「その葡萄糖液は与し易くない一方で空爆する」ということは誤っているとすると格好良くない; int5 & int6 -> int7: その葡萄糖液は格好良くない; int7 & fact3 -> hypothesis; __PROVED__
事実1: もしもあの言語バーが空爆しないならばそれは船団であるということはないかあるいはそれは小花でないかあるいは両方だ
事実2: あの言語バーは空爆しない
事実3: もし仮に「その葡萄糖液は格好良くない」ということは本当だとすればその洪水玄武岩は格好良いがしかし六千年紀でない
事実4: 仮にあの竪坑は空爆するということはないなら「その葡萄糖液は与し易いということはないが空爆する」ということは成り立つということはない
事実5: あの竪坑は小花だ
事実6: もし仮にとあるものは腹黒くないなら「それは格好良いしそれは六千年紀でない」ということは成り立つということはない
事実7: もしも「なにがしかのものは与し易くないけどそれは空爆する」ということは成り立たないとしたら格好良くない
事実8: 仮にあるものが幕閣でないならそれは等しくないしそれは腹黒くない
事実9: もしもあの言語バーが小花であるかまたは船団であるかどちらもであるならばあの竪坑は空爆するということはない
事実10: もしも「腹黒くない」ものがあるとしたらあの言語バーが幕閣だし船団だ
事実11: 何らかのものは腹黒くない
事実12: あの言語バーが小花であるならあの竪坑は空爆しない

仮説: その洪水玄武岩は格好良いけれど六千年紀でない
1. 事実11と事実10から、推論1: "あの言語バーは幕閣であるし船団だ"が導かれる
2. 推論1から、推論2: "あの言語バーは船団だ"が導かれる
3. 推論2から、推論3: "あの言語バーは小花であるかまたは船団だ"が導かれる
4. 推論3と事実9から、推論4: "あの竪坑は空爆しない"が導かれる
5. 推論4と事実4から、推論5: "「その葡萄糖液は与し易くないがしかし空爆する」ということは偽だ"が導かれる
6. 事実7から、推論6: "もしも「その葡萄糖液は与し易くない一方で空爆する」ということは誤っているとすると格好良くない"が導かれる
7. 推論5と推論6から、推論7: "その葡萄糖液は格好良くない"が導かれる
8. 推論7と事実3から、仮説が導かれる

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