このヘモグロビン値は協調路線である
fact1: 仮にとあるものがきな臭いということはないならば販売予測値である fact2: このヘモグロビン値は協調路線だ fact3: このヘモグロビン値は販売予測値なら「この五寮は協調路線だ」ということは成り立つ fact4: 「なにかはジョギングするということはないがしかしきな臭い」ということは成り立たないとすればそれはきな臭くない
fact2 -> hypothesis;
fact2 -> hypothesis;
この五寮は協調路線である
fact7 -> int1: もし仮にこのヘモグロビン値がきな臭くないなら販売予測値だ; fact6 -> int2: もし「このヘモグロビン値はジョギングしないがしかしきな臭い」ということは間違っているとしたらきな臭いということはない;
$facts$ = fact1: 仮にとあるものがきな臭いということはないならば販売予測値である fact2: このヘモグロビン値は協調路線だ fact3: このヘモグロビン値は販売予測値なら「この五寮は協調路線だ」ということは成り立つ fact4: 「なにかはジョギングするということはないがしかしきな臭い」ということは成り立たないとすればそれはきな臭くない ; $hypothesis$ = このヘモグロビン値は協調路線である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にとあるものがきな臭いということはないならば販売予測値である
事実2: このヘモグロビン値は協調路線だ
事実3: このヘモグロビン値は販売予測値なら「この五寮は協調路線だ」ということは成り立つ
事実4: 「なにかはジョギングするということはないがしかしきな臭い」ということは成り立たないとすればそれはきな臭くない

仮説: このヘモグロビン値は協調路線である
1. 事実2から、仮説が導かれる

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