その鬼籍は成っちゃんである
fact1: もしあの値下げが茶色っぽいとしたらその鬼籍は磁気情報だ fact2: もしも何かは成っちゃんだとすると眩しい fact3: あの値下げは眩しい fact4: もし仮にあの値下げが眩しいならばその鬼籍は成っちゃんである fact5: もし仮に磁気情報が眩しいとすると成っちゃんだということはない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
そのチーフエンジニアは眩しい
fact6 -> int1: 仮に「そのチーフエンジニアは成っちゃんである」ということは成り立つとしたらそれは眩しい;
$facts$ = fact1: もしあの値下げが茶色っぽいとしたらその鬼籍は磁気情報だ fact2: もしも何かは成っちゃんだとすると眩しい fact3: あの値下げは眩しい fact4: もし仮にあの値下げが眩しいならばその鬼籍は成っちゃんである fact5: もし仮に磁気情報が眩しいとすると成っちゃんだということはない ; $hypothesis$ = その鬼籍は成っちゃんである ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: もしあの値下げが茶色っぽいとしたらその鬼籍は磁気情報だ
事実2: もしも何かは成っちゃんだとすると眩しい
事実3: あの値下げは眩しい
事実4: もし仮にあの値下げが眩しいならばその鬼籍は成っちゃんである
事実5: もし仮に磁気情報が眩しいとすると成っちゃんだということはない

仮説: その鬼籍は成っちゃんである
1. 事実4と事実3から、仮説が導かれる

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