あの代謝経路は素晴らしいしその上開き為さる
fact1: もしもその特許権が買い換えるとするとそれは血臭でないし二関する件でない fact2: もしなんらかの物は聞き取り易くないならば「それは素晴らしいし開き為さる」ということは成り立たない fact3: 仮にその劣等生が区切り文字でないかあるいはそれは審決書でないか両方なら腫らすということはない fact4: 「「三センチメートル長さでないけれど遇する」ということは間違いな」物はある fact5: もし「あの代謝経路は飲み易くない」ということは偽でないならばその特許権は開き為さる fact6: 仮にこのＲＥＩＴが取り掛かり易いが小屋組材でないならその劣等生は小屋組材でない fact7: あの代謝経路は素晴らしい fact8: 「あのＣＤラジカセは素晴らしい」ということは本当だ fact9: もしその特許権が素晴らしくないならばあの代謝経路は素晴らしい fact10: 「その特許権は千九百九十六Ａであるし飲み易い」ということは偽である fact11: もしもその劣等生が小屋組材でないがしかし買い換えるとするとその特許権は買い換える fact12: 「その特許権は開き為さるということはないけどそれは千九百九十六Ａだ」ということは間違いである fact13: その劣等生は区切り文字でないかそれは審決書でないかもしくはどちらもだ fact14: あの代謝経路は千九百九十六Ａでしかもそれは素晴らしい fact15: 「その特許権は千九百九十六Ａでないがしかし飲み易い」ということは確かでない fact16: もし仮に「「三センチメートル長さでないけど遇する」ということは成り立たない」物があるならこのＲＥＩＴは三センチメートル長さだ fact17: もし仮になにがしかのものが腫らさないならば買い換えるしまた世界規模である fact18: 三センチメートル長さは取り掛かり易いけど小屋組材でない fact19: 仮にその特許権が素晴らしくないならあの代謝経路は素晴らしくてかつそれは開き為さる fact20: 仮にあるものは買い換えるしその上二関する件であるならそれは血臭でない fact21: その特許権が血臭であるということはないならあの減弱は返りらしいし開き為さる fact22: 仮に「その特許権は千九百九十六Ａでないがしかし飲み易い」ということは成り立たないとしたらそれは素晴らしくない fact23: 「あの代謝経路は飲み易い」ということは成り立つ
fact22 & fact15 -> int1: その特許権は素晴らしくない; int1 & fact19 -> hypothesis;
fact22 & fact15 -> int1: ¬{B}{a}; int1 & fact19 -> hypothesis;
あの減弱は返りらしいし更に認証する
fact24 -> int2: もしもその特許権は買い換えるし二関する件であるとするとそれは血臭でない;
$facts$ = fact1: もしもその特許権が買い換えるとするとそれは血臭でないし二関する件でない fact2: もしなんらかの物は聞き取り易くないならば「それは素晴らしいし開き為さる」ということは成り立たない fact3: 仮にその劣等生が区切り文字でないかあるいはそれは審決書でないか両方なら腫らすということはない fact4: 「「三センチメートル長さでないけれど遇する」ということは間違いな」物はある fact5: もし「あの代謝経路は飲み易くない」ということは偽でないならばその特許権は開き為さる fact6: 仮にこのＲＥＩＴが取り掛かり易いが小屋組材でないならその劣等生は小屋組材でない fact7: あの代謝経路は素晴らしい fact8: 「あのＣＤラジカセは素晴らしい」ということは本当だ fact9: もしその特許権が素晴らしくないならばあの代謝経路は素晴らしい fact10: 「その特許権は千九百九十六Ａであるし飲み易い」ということは偽である fact11: もしもその劣等生が小屋組材でないがしかし買い換えるとするとその特許権は買い換える fact12: 「その特許権は開き為さるということはないけどそれは千九百九十六Ａだ」ということは間違いである fact13: その劣等生は区切り文字でないかそれは審決書でないかもしくはどちらもだ fact14: あの代謝経路は千九百九十六Ａでしかもそれは素晴らしい fact15: 「その特許権は千九百九十六Ａでないがしかし飲み易い」ということは確かでない fact16: もし仮に「「三センチメートル長さでないけど遇する」ということは成り立たない」物があるならこのＲＥＩＴは三センチメートル長さだ fact17: もし仮になにがしかのものが腫らさないならば買い換えるしまた世界規模である fact18: 三センチメートル長さは取り掛かり易いけど小屋組材でない fact19: 仮にその特許権が素晴らしくないならあの代謝経路は素晴らしくてかつそれは開き為さる fact20: 仮にあるものは買い換えるしその上二関する件であるならそれは血臭でない fact21: その特許権が血臭であるということはないならあの減弱は返りらしいし開き為さる fact22: 仮に「その特許権は千九百九十六Ａでないがしかし飲み易い」ということは成り立たないとしたらそれは素晴らしくない fact23: 「あの代謝経路は飲み易い」ということは成り立つ ; $hypothesis$ = あの代謝経路は素晴らしいしその上開き為さる ; $proof$ = 
fact22 & fact15 -> int1: その特許権は素晴らしくない; int1 & fact19 -> hypothesis; __PROVED__
事実1: もしもその特許権が買い換えるとするとそれは血臭でないし二関する件でない
事実2: もしなんらかの物は聞き取り易くないならば「それは素晴らしいし開き為さる」ということは成り立たない
事実3: 仮にその劣等生が区切り文字でないかあるいはそれは審決書でないか両方なら腫らすということはない
事実4: 「「三センチメートル長さでないけれど遇する」ということは間違いな」物はある
事実5: もし「あの代謝経路は飲み易くない」ということは偽でないならばその特許権は開き為さる
事実6: 仮にこのＲＥＩＴが取り掛かり易いが小屋組材でないならその劣等生は小屋組材でない
事実7: あの代謝経路は素晴らしい
事実8: 「あのＣＤラジカセは素晴らしい」ということは本当だ
事実9: もしその特許権が素晴らしくないならばあの代謝経路は素晴らしい
事実10: 「その特許権は千九百九十六Ａであるし飲み易い」ということは偽である
事実11: もしもその劣等生が小屋組材でないがしかし買い換えるとするとその特許権は買い換える
事実12: 「その特許権は開き為さるということはないけどそれは千九百九十六Ａだ」ということは間違いである
事実13: その劣等生は区切り文字でないかそれは審決書でないかもしくはどちらもだ
事実14: あの代謝経路は千九百九十六Ａでしかもそれは素晴らしい
事実15: 「その特許権は千九百九十六Ａでないがしかし飲み易い」ということは確かでない
事実16: もし仮に「「三センチメートル長さでないけど遇する」ということは成り立たない」物があるならこのＲＥＩＴは三センチメートル長さだ
事実17: もし仮になにがしかのものが腫らさないならば買い換えるしまた世界規模である
事実18: 三センチメートル長さは取り掛かり易いけど小屋組材でない
事実19: 仮にその特許権が素晴らしくないならあの代謝経路は素晴らしくてかつそれは開き為さる
事実20: 仮にあるものは買い換えるしその上二関する件であるならそれは血臭でない
事実21: その特許権が血臭であるということはないならあの減弱は返りらしいし開き為さる
事実22: 仮に「その特許権は千九百九十六Ａでないがしかし飲み易い」ということは成り立たないとしたらそれは素晴らしくない
事実23: 「あの代謝経路は飲み易い」ということは成り立つ

仮説: あの代謝経路は素晴らしいしその上開き為さる
1. 事実22と事実15から、推論1: "その特許権は素晴らしくない"が導かれる
2. 推論1と事実19から、仮説が導かれる

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