「そのヨーロッパ学界は血豆だ」ということは事実である
fact1: 全ての物はよろよろする fact2: 仮にある物は世界チャンピオンであるならば「それは追い詰めるということはないけど御陵だ」ということは成り立たない fact3: もしもその秋葉道が言語知識主義だとすればそのヨーロッパ学界はエディンバラ公でないがしかし血豆である fact4: もしも「とあるものは追い詰める」ということは成り立つとするとエディンバラ公でない fact5: 「何らかのものは追い詰めないけど御陵である」ということは偽であるなら「それはエディンバラ公でない」ということは間違っていない fact6: もし仮に「何らかの物は世界チャンピオンでなくて更にそれは追い詰めるということはない」ということは間違っているとするとそれは追い詰める fact7: そのヨーロッパ学界は言語知識主義だ fact8: もしも「その秋葉道は言語知識主義だ」ということは成り立つとしたらそのヨーロッパ学界はエディンバラ公でない fact9: もしもなにかは大麦でないかもしくはそれが世界チャンピオンであるかまたはどちらもであるとするとその社会関係は世界チャンピオンだ fact10: 言語知識主義はよろよろする fact11: もしなんらかのものはエディンバラ公でないとすると「それは言語知識主義でないが血豆である」ということは間違っている fact12: そのヨーロッパ学界は狡くないがしぶく fact13: 「そのヨーロッパ学界は渡来する」ということは事実であるとすればその秋葉道は言語知識主義でない一方で手加減する fact14: 仮に「なにかは言語知識主義でない一方で血豆である」ということは誤っていればそれは言語知識主義だ fact15: その秋葉道はエディンバラ公である fact16: もし仮にその宸筆は御陵だとすると「それは世界チャンピオンでなくて追い詰めるということはない」ということは偽である fact17: 仮にその秋葉道がよろよろするとすればそれは言語知識主義だ fact18: そのヨーロッパ学界はエディンバラ公でない fact19: あのジャーナリズムはよろよろする fact20: 仮に「あのキレート水は言語知識主義でないかそれはよろよろするかまたは両方ともだ」ということは誤りならばそのヨーロッパ学界は血豆でない fact21: そのヨーロッパ学界は世界チャンピオンであるしまた灯し難い
fact1 -> int1: その秋葉道はよろよろする; int1 & fact17 -> int2: その秋葉道は言語知識主義だ; int2 & fact3 -> int3: そのヨーロッパ学界はエディンバラ公でないけれどそれは血豆である; int3 -> hypothesis;
そのヨーロッパ学界は血豆でない
fact25 -> int4: その宸筆が追い詰めるとすればそれはエディンバラ公であるということはない; fact24 -> int5: 「その宸筆は世界チャンピオンでないし更に追い詰めるということはない」ということは本当でないなら追い詰める;
$facts$ = fact1: 全ての物はよろよろする fact2: 仮にある物は世界チャンピオンであるならば「それは追い詰めるということはないけど御陵だ」ということは成り立たない fact3: もしもその秋葉道が言語知識主義だとすればそのヨーロッパ学界はエディンバラ公でないがしかし血豆である fact4: もしも「とあるものは追い詰める」ということは成り立つとするとエディンバラ公でない fact5: 「何らかのものは追い詰めないけど御陵である」ということは偽であるなら「それはエディンバラ公でない」ということは間違っていない fact6: もし仮に「何らかの物は世界チャンピオンでなくて更にそれは追い詰めるということはない」ということは間違っているとするとそれは追い詰める fact7: そのヨーロッパ学界は言語知識主義だ fact8: もしも「その秋葉道は言語知識主義だ」ということは成り立つとしたらそのヨーロッパ学界はエディンバラ公でない fact9: もしもなにかは大麦でないかもしくはそれが世界チャンピオンであるかまたはどちらもであるとするとその社会関係は世界チャンピオンだ fact10: 言語知識主義はよろよろする fact11: もしなんらかのものはエディンバラ公でないとすると「それは言語知識主義でないが血豆である」ということは間違っている fact12: そのヨーロッパ学界は狡くないがしぶく fact13: 「そのヨーロッパ学界は渡来する」ということは事実であるとすればその秋葉道は言語知識主義でない一方で手加減する fact14: 仮に「なにかは言語知識主義でない一方で血豆である」ということは誤っていればそれは言語知識主義だ fact15: その秋葉道はエディンバラ公である fact16: もし仮にその宸筆は御陵だとすると「それは世界チャンピオンでなくて追い詰めるということはない」ということは偽である fact17: 仮にその秋葉道がよろよろするとすればそれは言語知識主義だ fact18: そのヨーロッパ学界はエディンバラ公でない fact19: あのジャーナリズムはよろよろする fact20: 仮に「あのキレート水は言語知識主義でないかそれはよろよろするかまたは両方ともだ」ということは誤りならばそのヨーロッパ学界は血豆でない fact21: そのヨーロッパ学界は世界チャンピオンであるしまた灯し難い ; $hypothesis$ = 「そのヨーロッパ学界は血豆だ」ということは事実である ; $proof$ = 
fact1 -> int1: その秋葉道はよろよろする; int1 & fact17 -> int2: その秋葉道は言語知識主義だ; int2 & fact3 -> int3: そのヨーロッパ学界はエディンバラ公でないけれどそれは血豆である; int3 -> hypothesis; __PROVED__
事実1: 全ての物はよろよろする
事実2: 仮にある物は世界チャンピオンであるならば「それは追い詰めるということはないけど御陵だ」ということは成り立たない
事実3: もしもその秋葉道が言語知識主義だとすればそのヨーロッパ学界はエディンバラ公でないがしかし血豆である
事実4: もしも「とあるものは追い詰める」ということは成り立つとするとエディンバラ公でない
事実5: 「何らかのものは追い詰めないけど御陵である」ということは偽であるなら「それはエディンバラ公でない」ということは間違っていない
事実6: もし仮に「何らかの物は世界チャンピオンでなくて更にそれは追い詰めるということはない」ということは間違っているとするとそれは追い詰める
事実7: そのヨーロッパ学界は言語知識主義だ
事実8: もしも「その秋葉道は言語知識主義だ」ということは成り立つとしたらそのヨーロッパ学界はエディンバラ公でない
事実9: もしもなにかは大麦でないかもしくはそれが世界チャンピオンであるかまたはどちらもであるとするとその社会関係は世界チャンピオンだ
事実10: 言語知識主義はよろよろする
事実11: もしなんらかのものはエディンバラ公でないとすると「それは言語知識主義でないが血豆である」ということは間違っている
事実12: そのヨーロッパ学界は狡くないがしぶく
事実13: 「そのヨーロッパ学界は渡来する」ということは事実であるとすればその秋葉道は言語知識主義でない一方で手加減する
事実14: 仮に「なにかは言語知識主義でない一方で血豆である」ということは誤っていればそれは言語知識主義だ
事実15: その秋葉道はエディンバラ公である
事実16: もし仮にその宸筆は御陵だとすると「それは世界チャンピオンでなくて追い詰めるということはない」ということは偽である
事実17: 仮にその秋葉道がよろよろするとすればそれは言語知識主義だ
事実18: そのヨーロッパ学界はエディンバラ公でない
事実19: あのジャーナリズムはよろよろする
事実20: 仮に「あのキレート水は言語知識主義でないかそれはよろよろするかまたは両方ともだ」ということは誤りならばそのヨーロッパ学界は血豆でない
事実21: そのヨーロッパ学界は世界チャンピオンであるしまた灯し難い

仮説: 「そのヨーロッパ学界は血豆だ」ということは事実である
1. 事実1から、推論1: "その秋葉道はよろよろする"が導かれる
2. 推論1と事実17から、推論2: "その秋葉道は言語知識主義だ"が導かれる
3. 推論2と事実3から、推論3: "そのヨーロッパ学界はエディンバラ公でないけれどそれは血豆である"が導かれる
4. 推論3から、仮説が導かれる

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