あのピラミッド型は名誉博士号でないけれど携行する
fact1: もし仮にあのピラミッド型が美々しいとしたらこの二列目は名誉博士号でないけど携行する fact2: この二列目は再集計すれば「頬っぺでないしまた道筋であるということはない」ということは誤りである fact3: 仮にあの片棒が受け入れられ易いとするとあのピラミッド型は受け入れられ易い fact4: もしも「この二列目は美々しい」ということは真実であるとするとあのピラミッド型は携行する fact5: 仮にその波長帯が擬制的性格でないし加えてそれが濃染めしないならばあの片棒は受け入れられ易い fact6: 夥しいものは擬制的性格でないし濃染めしない fact7: もしも「何かは転変するが夥しくない」ということは確かでないならそれは夥しい fact8: この二列目は名誉博士号だということはない一方で恐ろしい fact9: 美々しいものは携行する fact10: 「この二列目は美々しい」ということは成り立つ fact11: 何らかのものは再集計するとすると「頬っぺでない一方で道筋である」ということは間違いである fact12: もしあのピラミッド型が再集計すればこの二列目は再集計する fact13: 仮にこの二列目が美々しいとしたらあのピラミッド型は名誉博士号でないけどそれは携行する fact14: すべては耕さない fact15: あのピラミッド型は携行する fact16: もしもとある物は美々しかないならば「名誉博士号でないしそれにそれは携行する」ということは成り立たない fact17: 「「この二列目は頬っぺでないけどそれは道筋である」ということは成り立たない」ということは誤りでないとするとこの湯立ては美々しい fact18: もし仮に何らかの物は耕さないならば「転変するがしかし夥しくない」ということは正しくない fact19: なにかは受け入れられ易いとすると再集計する
fact13 & fact10 -> hypothesis;
fact13 & fact10 -> hypothesis;
「あのピラミッド型は名誉博士号でないけれど携行する」ということは成り立たない
fact21 -> int1: もしあのピラミッド型は美々しかないなら「名誉博士号だということはないけど携行する」ということは間違いである;
$facts$ = fact1: もし仮にあのピラミッド型が美々しいとしたらこの二列目は名誉博士号でないけど携行する fact2: この二列目は再集計すれば「頬っぺでないしまた道筋であるということはない」ということは誤りである fact3: 仮にあの片棒が受け入れられ易いとするとあのピラミッド型は受け入れられ易い fact4: もしも「この二列目は美々しい」ということは真実であるとするとあのピラミッド型は携行する fact5: 仮にその波長帯が擬制的性格でないし加えてそれが濃染めしないならばあの片棒は受け入れられ易い fact6: 夥しいものは擬制的性格でないし濃染めしない fact7: もしも「何かは転変するが夥しくない」ということは確かでないならそれは夥しい fact8: この二列目は名誉博士号だということはない一方で恐ろしい fact9: 美々しいものは携行する fact10: 「この二列目は美々しい」ということは成り立つ fact11: 何らかのものは再集計するとすると「頬っぺでない一方で道筋である」ということは間違いである fact12: もしあのピラミッド型が再集計すればこの二列目は再集計する fact13: 仮にこの二列目が美々しいとしたらあのピラミッド型は名誉博士号でないけどそれは携行する fact14: すべては耕さない fact15: あのピラミッド型は携行する fact16: もしもとある物は美々しかないならば「名誉博士号でないしそれにそれは携行する」ということは成り立たない fact17: 「「この二列目は頬っぺでないけどそれは道筋である」ということは成り立たない」ということは誤りでないとするとこの湯立ては美々しい fact18: もし仮に何らかの物は耕さないならば「転変するがしかし夥しくない」ということは正しくない fact19: なにかは受け入れられ易いとすると再集計する ; $hypothesis$ = あのピラミッド型は名誉博士号でないけれど携行する ; $proof$ = 
fact13 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にあのピラミッド型が美々しいとしたらこの二列目は名誉博士号でないけど携行する
事実2: この二列目は再集計すれば「頬っぺでないしまた道筋であるということはない」ということは誤りである
事実3: 仮にあの片棒が受け入れられ易いとするとあのピラミッド型は受け入れられ易い
事実4: もしも「この二列目は美々しい」ということは真実であるとするとあのピラミッド型は携行する
事実5: 仮にその波長帯が擬制的性格でないし加えてそれが濃染めしないならばあの片棒は受け入れられ易い
事実6: 夥しいものは擬制的性格でないし濃染めしない
事実7: もしも「何かは転変するが夥しくない」ということは確かでないならそれは夥しい
事実8: この二列目は名誉博士号だということはない一方で恐ろしい
事実9: 美々しいものは携行する
事実10: 「この二列目は美々しい」ということは成り立つ
事実11: 何らかのものは再集計するとすると「頬っぺでない一方で道筋である」ということは間違いである
事実12: もしあのピラミッド型が再集計すればこの二列目は再集計する
事実13: 仮にこの二列目が美々しいとしたらあのピラミッド型は名誉博士号でないけどそれは携行する
事実14: すべては耕さない
事実15: あのピラミッド型は携行する
事実16: もしもとある物は美々しかないならば「名誉博士号でないしそれにそれは携行する」ということは成り立たない
事実17: 「「この二列目は頬っぺでないけどそれは道筋である」ということは成り立たない」ということは誤りでないとするとこの湯立ては美々しい
事実18: もし仮に何らかの物は耕さないならば「転変するがしかし夥しくない」ということは正しくない
事実19: なにかは受け入れられ易いとすると再集計する

仮説: あのピラミッド型は名誉博士号でないけれど携行する
1. 事実13と事実10から、仮説が導かれる

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