その先祖供養は肌寒い
fact1: 仮に何かは定型化しないとするとそれは肌寒いけど窶さない fact2: もしもその先祖供養が肌寒いがしかし窶さないならばそのクオリティ・オブ・ライフは肌寒い fact3: 「あのデータ値は肌寒い」ということは本当だ fact4: その先祖供養は肌寒い fact5: その息の根が窶すならその先祖供養は肌寒くない fact6: その先祖供養は古し fact7: もし仮になにがしかのものがイデアルでないしその上それは裁判事務でないとするとそれは定型化しない
fact4 -> hypothesis;
fact4 -> hypothesis;
「そのクオリティ・オブ・ライフは肌寒い」ということは確かだ
fact9 -> int1: 仮にその先祖供養が定型化しないとすれば肌寒いがしかし窶さない; fact8 -> int2: その先祖供養がイデアルでなくてまたそれは裁判事務でないとしたら定型化しない;
$facts$ = fact1: 仮に何かは定型化しないとするとそれは肌寒いけど窶さない fact2: もしもその先祖供養が肌寒いがしかし窶さないならばそのクオリティ・オブ・ライフは肌寒い fact3: 「あのデータ値は肌寒い」ということは本当だ fact4: その先祖供養は肌寒い fact5: その息の根が窶すならその先祖供養は肌寒くない fact6: その先祖供養は古し fact7: もし仮になにがしかのものがイデアルでないしその上それは裁判事務でないとするとそれは定型化しない ; $hypothesis$ = その先祖供養は肌寒い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮に何かは定型化しないとするとそれは肌寒いけど窶さない
事実2: もしもその先祖供養が肌寒いがしかし窶さないならばそのクオリティ・オブ・ライフは肌寒い
事実3: 「あのデータ値は肌寒い」ということは本当だ
事実4: その先祖供養は肌寒い
事実5: その息の根が窶すならその先祖供養は肌寒くない
事実6: その先祖供養は古し
事実7: もし仮になにがしかのものがイデアルでないしその上それは裁判事務でないとするとそれは定型化しない

仮説: その先祖供養は肌寒い
1. 事実4から、仮説が導かれる

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