「もし仮にはしたないということはないならちゃんとするしおまけに届き難い」ものはある
fact1: 仮にとある物が明示出来ないならそれは入り易くてそれは遠い fact2: もし仮にあの聖人達がはしたないということはないとするとちゃんとする fact3: もしも「この保安器はいみじない」ということは正しいならばちゃんとするし付け易い fact4: 「仮にはしたなくないとすると届き難い」物はある fact5: 仮にあの聖人達ははしたないとしたら「ちゃんとするししかも届き難い」ということは確かである fact6: 「「「はしたなくない」ということは確かだとすればちゃんとする」物はある」ということは成り立つ fact7: 「もし仮にはしたないとするとちゃんとするしかつ届き難い」物はある fact8: あの聖人達がはしたなくないとしたらちゃんとするし届き難い
fact8 -> hypothesis;
「もし明示出来るということはないなら入り易いし遠い」ものはある
fact9 -> int1: もしも「この品質マネジメントシステムは明示出来ない」ということは成り立てば入り易くてさらにそれは遠い; int1 -> hypothesis;
$facts$ = fact1: 仮にとある物が明示出来ないならそれは入り易くてそれは遠い fact2: もし仮にあの聖人達がはしたないということはないとするとちゃんとする fact3: もしも「この保安器はいみじない」ということは正しいならばちゃんとするし付け易い fact4: 「仮にはしたなくないとすると届き難い」物はある fact5: 仮にあの聖人達ははしたないとしたら「ちゃんとするししかも届き難い」ということは確かである fact6: 「「「はしたなくない」ということは確かだとすればちゃんとする」物はある」ということは成り立つ fact7: 「もし仮にはしたないとするとちゃんとするしかつ届き難い」物はある fact8: あの聖人達がはしたなくないとしたらちゃんとするし届き難い ; $hypothesis$ = 「もし仮にはしたないということはないならちゃんとするしおまけに届き難い」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮にとある物が明示出来ないならそれは入り易くてそれは遠い
事実2: もし仮にあの聖人達がはしたないということはないとするとちゃんとする
事実3: もしも「この保安器はいみじない」ということは正しいならばちゃんとするし付け易い
事実4: 「仮にはしたなくないとすると届き難い」物はある
事実5: 仮にあの聖人達ははしたないとしたら「ちゃんとするししかも届き難い」ということは確かである
事実6: 「「「はしたなくない」ということは確かだとすればちゃんとする」物はある」ということは成り立つ
事実7: 「もし仮にはしたないとするとちゃんとするしかつ届き難い」物はある
事実8: あの聖人達がはしたなくないとしたらちゃんとするし届き難い

仮説: 「もし仮にはしたないということはないならちゃんとするしおまけに届き難い」ものはある
1. 事実8から、仮説が導かれる

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