その博物学は恐れ多くない
fact1: もしもなんらかの物が発展出来ないとすると重層するかあるいは真っ暗い fact2: このＰＬ法が恐れ多いとしたらその博物学は真っ暗くないし発展出来ない fact3: もしこのＰＬ法が恐れ多いとしたらその博物学は重層しなくて発展出来ない fact4: その博物学は御強い fact5: もし仮にこのＰＬ法が重層するならその博物学は発展出来なくて恐れ多くない fact6: もしこのＰＬ法が真っ暗いならば重層する fact7: このＰＬ法は恐れ多くない fact8: このＰＬ法は真っ暗い fact9: もしもその博物学が真っ暗いとするとこのＰＬ法は恐れ多いということはないし重層しない fact10: もし仮に何らかの物は二音節でないならそれは弄れる一方でパースであるということはない fact11: その博物学が発展出来るとするとこのＰＬ法は真っ暗くないし恐れ多くない fact12: リアシートは利用技術だ fact13: このＰＬ法は疎ましい fact14: 「その博物学は美しくない」ということは真実だ fact15: 仮に「「疎ましい」ということは正しい」ものはあるとすれば「その博物学は訳無くないが二音節である」ということは成り立たない fact16: 仮にその南越館が誤解し易いとすると二音節だ fact17: その博物学が発展出来ればそれは重層する fact18: その博物学は重層する fact19: もし仮にその博物学は発展出来るとすると「真っ暗い」ということは正しい fact20: 仮にこのＰＬ法が重層するとしたらその博物学は発展出来ない fact21: 仮に「その博物学は訳無くない一方で二音節である」ということは成り立つということはないとすると二音節であるということはない fact22: その博物学は発展出来ない fact23: もしもその博物学が弄れるがそれはパースでないとしたらそれは発展出来ない
fact6 & fact8 -> int1: このＰＬ法は重層する; int1 & fact5 -> int2: その博物学は発展出来なくてかつ恐れ多くない; int2 -> hypothesis;
その博物学は恐れ多い
fact25 -> int3: もし仮にその博物学が発展出来ないならばそれは重層するか真っ暗い; fact28 -> int4: もしもその博物学が二音節でないとすればそれは弄れるけれどパースでない; fact26 -> int5: 「疎ましい」ものはある; int5 & fact29 -> int6: 「その博物学は訳無くないけど二音節である」ということは成り立たない; fact27 & int6 -> int7: その博物学は二音節でない; int4 & int7 -> int8: その博物学は弄れるけどパースでない; fact24 & int8 -> int9: その博物学は発展出来ない; int3 & int9 -> int10: その博物学は重層するかあるいは真っ暗い;
$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$ = 
fact6 & fact8 -> int1: このＰＬ法は重層する; int1 & fact5 -> int2: その博物学は発展出来なくてかつ恐れ多くない; int2 -> 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. 事実6と事実8から、推論1: "このＰＬ法は重層する"が導かれる
2. 推論1と事実5から、推論2: "その博物学は発展出来なくてかつ恐れ多くない"が導かれる
3. 推論2から、仮説が導かれる

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