あのＨ列は下がり過ぎる
fact1: もし何らかの物は闇手当てでないならば「下がり過ぎるしかつ既存株主でない」ということは嘘だ fact2: 仮に「あるものは下がり過ぎるがしかし既存株主であるということはない」ということは嘘だとすると「下がり過ぎない」ということは間違いだということはない fact3: その調査年次は闇手当てだ fact4: 仮にその調査年次が闇手当てであるとしたらあのＨ列は下がり過ぎる fact5: 仮に「あのＨ列は闇手当てだがＣチャイルドビューでない」ということは間違っているとしたらそれは闇手当てでない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
あのＨ列は下がり過ぎない
fact7 -> int1: もし仮に「「あのＨ列は下がり過ぎるが既存株主でない」ということは成り立たない」ということは成り立つなら下がり過ぎない; fact6 -> int2: もしあのＨ列は闇手当てでないとすれば「それは下がり過ぎるけど既存株主でない」ということは嘘だ;
$facts$ = fact1: もし何らかの物は闇手当てでないならば「下がり過ぎるしかつ既存株主でない」ということは嘘だ fact2: 仮に「あるものは下がり過ぎるがしかし既存株主であるということはない」ということは嘘だとすると「下がり過ぎない」ということは間違いだということはない fact3: その調査年次は闇手当てだ fact4: 仮にその調査年次が闇手当てであるとしたらあのＨ列は下がり過ぎる fact5: 仮に「あのＨ列は闇手当てだがＣチャイルドビューでない」ということは間違っているとしたらそれは闇手当てでない ; $hypothesis$ = あのＨ列は下がり過ぎる ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: もし何らかの物は闇手当てでないならば「下がり過ぎるしかつ既存株主でない」ということは嘘だ
事実2: 仮に「あるものは下がり過ぎるがしかし既存株主であるということはない」ということは嘘だとすると「下がり過ぎない」ということは間違いだということはない
事実3: その調査年次は闇手当てだ
事実4: 仮にその調査年次が闇手当てであるとしたらあのＨ列は下がり過ぎる
事実5: 仮に「あのＨ列は闇手当てだがＣチャイルドビューでない」ということは間違っているとしたらそれは闇手当てでない

仮説: あのＨ列は下がり過ぎる
1. 事実4と事実3から、仮説が導かれる

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