このグリーン上は品質低下だ
fact1: あの畏怖は逞しい fact2: もしもあの畏怖が逞しいとするとこのグリーン上は品質低下である fact3: もし仮にあの畏怖が狭しとすればそれはのたうち回らない fact4: 「「減額修正するし結合利潤である」ということは間違いな」物はある fact5: 仮にとある物は減額修正しないけれど逞しいとすれば品質低下でない fact6: 仮に「「減額修正するしかつ結合利潤である」ということは成り立たない」ものはあるなら「このグリーン上は減額修正しない」ということは成り立つ fact7: 仮に何らかのものがのたうち回るということはないがしかしそれが絶えるとすれば別段でない fact8: 「あの畏怖は別段でない」ということは成り立つとしたらこのグリーン上が逞しいしその上変更し為さる fact9: このビテロジェニンは逞しい
fact2 & fact1 -> hypothesis;
このグリーン上は品質低下でない
fact11 -> int1: 仮にこのグリーン上は減額修正しないけれど逞しいとしたらそれは品質低下であるということはない; fact13 & fact10 -> int2: このグリーン上は減額修正しない; fact12 -> int3: もしもあの畏怖はのたうち回らないがしかし絶えるとしたらそれは別段でない;
$facts$ = fact1: あの畏怖は逞しい fact2: もしもあの畏怖が逞しいとするとこのグリーン上は品質低下である fact3: もし仮にあの畏怖が狭しとすればそれはのたうち回らない fact4: 「「減額修正するし結合利潤である」ということは間違いな」物はある fact5: 仮にとある物は減額修正しないけれど逞しいとすれば品質低下でない fact6: 仮に「「減額修正するしかつ結合利潤である」ということは成り立たない」ものはあるなら「このグリーン上は減額修正しない」ということは成り立つ fact7: 仮に何らかのものがのたうち回るということはないがしかしそれが絶えるとすれば別段でない fact8: 「あの畏怖は別段でない」ということは成り立つとしたらこのグリーン上が逞しいしその上変更し為さる fact9: このビテロジェニンは逞しい ; $hypothesis$ = このグリーン上は品質低下だ ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: あの畏怖は逞しい
事実2: もしもあの畏怖が逞しいとするとこのグリーン上は品質低下である
事実3: もし仮にあの畏怖が狭しとすればそれはのたうち回らない
事実4: 「「減額修正するし結合利潤である」ということは間違いな」物はある
事実5: 仮にとある物は減額修正しないけれど逞しいとすれば品質低下でない
事実6: 仮に「「減額修正するしかつ結合利潤である」ということは成り立たない」ものはあるなら「このグリーン上は減額修正しない」ということは成り立つ
事実7: 仮に何らかのものがのたうち回るということはないがしかしそれが絶えるとすれば別段でない
事実8: 「あの畏怖は別段でない」ということは成り立つとしたらこのグリーン上が逞しいしその上変更し為さる
事実9: このビテロジェニンは逞しい

仮説: このグリーン上は品質低下だ
1. 事実2と事実1から、仮説が導かれる

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