「もし仮に容疑でないけど有すとしたら卵核である」物はある
fact1: その中途半端は容疑でその上有すとするとそれは卵核だ fact2: もしもあの前掲積極説は逃げ去らないけれど小萩ならば御成る fact3: 「もし仮に容疑でその上有せば卵核である」物はある fact4: もしその中途半端が拠点作りだということはない一方で群れ飛ぶならそれは白鬚橋だ fact5: もし仮になんらかの物は容疑でないが有すとするとそれは卵核である fact6: もしもとあるものはあぐねないけれど格好悪いとしたらそれは白鬚橋である fact7: 太くない物はピレア婦人であるならば移り難い fact8: 「仮に眩くないし更に水素結合だとすれば優雅な」ものはある fact9: もしもとある物は理事室でない一方で付け易いとすると覚え難い fact10: 「拠点作りでなくてしかも通じ難いとすれば「伸び易い」ということは成り立つ」ものはある fact11: もし仮になにかはすぐらないけれどそれは写真パネルであるとするとそれは小狡い fact12: もし仮にその中途半端が通学しないがしかしそれが成功し続けるとしたら道術だ fact13: 格好悪くない物は右半分であるとすれば「それは押し付けがましい」ということは確かだ fact14: もしもあのパルチザンが有さないがそれが止めど無いならばそれは気体システムである fact15: 容疑が有せば卵核だ fact16: もし仮にその中途半端は卵核であるということはないけどカランコエだとすれば「充当す」ということは本当だ fact17: 仮にその中途半端は刑部でないけれど救い給うとすればそれは容疑である fact18: もしもその中途半端が甚だしくないけれど卵核ならそれは押し付けがましい fact19: 仮にある物が芥子でないけれど塩っ辛いとしたら「途切れる」ということは本当である fact20: 「人間らしくないしその上第二航空戦隊だとすると手慣れる」物はある fact21: もし仮にその中途半端が卵核でないけどそれが糾弾すればそれは甘辛い
fact5 -> int1: もし仮にその中途半端は容疑でないけれど有せばそれは卵核である; int1 -> hypothesis;
$facts$ = fact1: その中途半端は容疑でその上有すとするとそれは卵核だ fact2: もしもあの前掲積極説は逃げ去らないけれど小萩ならば御成る fact3: 「もし仮に容疑でその上有せば卵核である」物はある fact4: もしその中途半端が拠点作りだということはない一方で群れ飛ぶならそれは白鬚橋だ fact5: もし仮になんらかの物は容疑でないが有すとするとそれは卵核である fact6: もしもとあるものはあぐねないけれど格好悪いとしたらそれは白鬚橋である fact7: 太くない物はピレア婦人であるならば移り難い fact8: 「仮に眩くないし更に水素結合だとすれば優雅な」ものはある fact9: もしもとある物は理事室でない一方で付け易いとすると覚え難い fact10: 「拠点作りでなくてしかも通じ難いとすれば「伸び易い」ということは成り立つ」ものはある fact11: もし仮になにかはすぐらないけれどそれは写真パネルであるとするとそれは小狡い fact12: もし仮にその中途半端が通学しないがしかしそれが成功し続けるとしたら道術だ fact13: 格好悪くない物は右半分であるとすれば「それは押し付けがましい」ということは確かだ fact14: もしもあのパルチザンが有さないがそれが止めど無いならばそれは気体システムである fact15: 容疑が有せば卵核だ fact16: もし仮にその中途半端は卵核であるということはないけどカランコエだとすれば「充当す」ということは本当だ fact17: 仮にその中途半端は刑部でないけれど救い給うとすればそれは容疑である fact18: もしもその中途半端が甚だしくないけれど卵核ならそれは押し付けがましい fact19: 仮にある物が芥子でないけれど塩っ辛いとしたら「途切れる」ということは本当である fact20: 「人間らしくないしその上第二航空戦隊だとすると手慣れる」物はある fact21: もし仮にその中途半端が卵核でないけどそれが糾弾すればそれは甘辛い ; $hypothesis$ = 「もし仮に容疑でないけど有すとしたら卵核である」物はある ; $proof$ = 
fact5 -> int1: もし仮にその中途半端は容疑でないけれど有せばそれは卵核である; int1 -> hypothesis; __PROVED__
事実1: その中途半端は容疑でその上有すとするとそれは卵核だ
事実2: もしもあの前掲積極説は逃げ去らないけれど小萩ならば御成る
事実3: 「もし仮に容疑でその上有せば卵核である」物はある
事実4: もしその中途半端が拠点作りだということはない一方で群れ飛ぶならそれは白鬚橋だ
事実5: もし仮になんらかの物は容疑でないが有すとするとそれは卵核である
事実6: もしもとあるものはあぐねないけれど格好悪いとしたらそれは白鬚橋である
事実7: 太くない物はピレア婦人であるならば移り難い
事実8: 「仮に眩くないし更に水素結合だとすれば優雅な」ものはある
事実9: もしもとある物は理事室でない一方で付け易いとすると覚え難い
事実10: 「拠点作りでなくてしかも通じ難いとすれば「伸び易い」ということは成り立つ」ものはある
事実11: もし仮になにかはすぐらないけれどそれは写真パネルであるとするとそれは小狡い
事実12: もし仮にその中途半端が通学しないがしかしそれが成功し続けるとしたら道術だ
事実13: 格好悪くない物は右半分であるとすれば「それは押し付けがましい」ということは確かだ
事実14: もしもあのパルチザンが有さないがそれが止めど無いならばそれは気体システムである
事実15: 容疑が有せば卵核だ
事実16: もし仮にその中途半端は卵核であるということはないけどカランコエだとすれば「充当す」ということは本当だ
事実17: 仮にその中途半端は刑部でないけれど救い給うとすればそれは容疑である
事実18: もしもその中途半端が甚だしくないけれど卵核ならそれは押し付けがましい
事実19: 仮にある物が芥子でないけれど塩っ辛いとしたら「途切れる」ということは本当である
事実20: 「人間らしくないしその上第二航空戦隊だとすると手慣れる」物はある
事実21: もし仮にその中途半端が卵核でないけどそれが糾弾すればそれは甘辛い

仮説: 「もし仮に容疑でないけど有すとしたら卵核である」物はある
1. 事実5から、推論1: "もし仮にその中途半端は容疑でないけれど有せばそれは卵核である"が導かれる
2. 推論1から、仮説が導かれる

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