この椎間板ヘルニアは配当利回りである
fact1: この椎間板ヘルニアは配当利回りである fact2: もし何かは火炎滅菌するということはないとしたら「記載・記録するし更に明け遣る」ということは成り立つということはない fact3: もしも「なにかは記載・記録するしかつ明け遣る」ということは誤りなら配当利回りでない fact4: 仮に「あるものは明け遣るしかつそれは記載・記録する」ということは本当でないとするとそれは明け遣らない fact5: このローマン・グラスは配当利回りである fact6: もしなにかは火炎滅菌しないとすると「明け遣るし記載・記録する」ということは成り立たない fact7: もし何かは明け遣らないならば配当利回りだ
fact1 -> hypothesis;
この椎間板ヘルニアは配当利回りでない
fact9 -> int1: 「この椎間板ヘルニアは記載・記録するしおまけに明け遣る」ということは成り立たないとすればそれは配当利回りでない; fact8 -> int2: この椎間板ヘルニアは火炎滅菌しないとしたら「それは記載・記録するし更に明け遣る」ということは成り立たない;
$facts$ = fact1: この椎間板ヘルニアは配当利回りである fact2: もし何かは火炎滅菌するということはないとしたら「記載・記録するし更に明け遣る」ということは成り立つということはない fact3: もしも「なにかは記載・記録するしかつ明け遣る」ということは誤りなら配当利回りでない fact4: 仮に「あるものは明け遣るしかつそれは記載・記録する」ということは本当でないとするとそれは明け遣らない fact5: このローマン・グラスは配当利回りである fact6: もしなにかは火炎滅菌しないとすると「明け遣るし記載・記録する」ということは成り立たない fact7: もし何かは明け遣らないならば配当利回りだ ; $hypothesis$ = この椎間板ヘルニアは配当利回りである ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この椎間板ヘルニアは配当利回りである
事実2: もし何かは火炎滅菌するということはないとしたら「記載・記録するし更に明け遣る」ということは成り立つということはない
事実3: もしも「なにかは記載・記録するしかつ明け遣る」ということは誤りなら配当利回りでない
事実4: 仮に「あるものは明け遣るしかつそれは記載・記録する」ということは本当でないとするとそれは明け遣らない
事実5: このローマン・グラスは配当利回りである
事実6: もしなにかは火炎滅菌しないとすると「明け遣るし記載・記録する」ということは成り立たない
事実7: もし何かは明け遣らないならば配当利回りだ

仮説: この椎間板ヘルニアは配当利回りである
1. 事実1から、仮説が導かれる

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