そのセルサイズリポソーム内は驚愕するし加えて連関する
fact1: 「そのスキーヤーは驚愕する」ということは成り立つ fact2: もし仮に何かはミシンでないとしたらそれはイオン化である一方で内分泌検査であるということはない fact3: そのセルサイズリポソーム内は連関する fact4: あの黒字は連関する fact5: 「そのセルサイズリポソーム内は驚愕する」ということは成り立つ fact6: 仮にとあるものが連関しないなら驚愕するしかつ尽く fact7: もしも「なにがしかのものは汚れ易くない」ということは真実なら「それは驚愕するし更にそれは連関する」ということは誤っている fact8: ある物はミシンであるということはない fact9: もしある物はイオン化だけれど内分泌検査でないならそれは汚れ易くない
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
「そのセルサイズリポソーム内は驚愕するし更に連関する」ということは成り立たない
fact12 -> int1: もしそのセルサイズリポソーム内は汚れ易くないとすると「それは驚愕するし連関する」ということは事実と異なる; fact11 -> int2: もし仮にそのセルサイズリポソーム内がイオン化である一方でそれは内分泌検査でないならば汚れ易くない; fact10 -> int3: もし仮にそのセルサイズリポソーム内はミシンでないとするとイオン化であるが内分泌検査でない;
$facts$ = fact1: 「そのスキーヤーは驚愕する」ということは成り立つ fact2: もし仮に何かはミシンでないとしたらそれはイオン化である一方で内分泌検査であるということはない fact3: そのセルサイズリポソーム内は連関する fact4: あの黒字は連関する fact5: 「そのセルサイズリポソーム内は驚愕する」ということは成り立つ fact6: 仮にとあるものが連関しないなら驚愕するしかつ尽く fact7: もしも「なにがしかのものは汚れ易くない」ということは真実なら「それは驚愕するし更にそれは連関する」ということは誤っている fact8: ある物はミシンであるということはない fact9: もしある物はイオン化だけれど内分泌検査でないならそれは汚れ易くない ; $hypothesis$ = そのセルサイズリポソーム内は驚愕するし加えて連関する ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: 「そのスキーヤーは驚愕する」ということは成り立つ
事実2: もし仮に何かはミシンでないとしたらそれはイオン化である一方で内分泌検査であるということはない
事実3: そのセルサイズリポソーム内は連関する
事実4: あの黒字は連関する
事実5: 「そのセルサイズリポソーム内は驚愕する」ということは成り立つ
事実6: 仮にとあるものが連関しないなら驚愕するしかつ尽く
事実7: もしも「なにがしかのものは汚れ易くない」ということは真実なら「それは驚愕するし更にそれは連関する」ということは誤っている
事実8: ある物はミシンであるということはない
事実9: もしある物はイオン化だけれど内分泌検査でないならそれは汚れ易くない

仮説: そのセルサイズリポソーム内は驚愕するし加えて連関する
1. 事実5と事実3から、仮説が導かれる

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