「あの人的資源管理は終身雇用である」ということは成り立つ
fact1: 「この甘口はセルＧでおまけに青白い」ということは成り立たない fact2: 仮に「この甘口はセルＧであるし青白い」ということは成り立たないとするとあの人的資源管理は終身雇用でない
$facts$ = fact1: 「この甘口はセルＧでおまけに青白い」ということは成り立たない fact2: 仮に「この甘口はセルＧであるし青白い」ということは成り立たないとするとあの人的資源管理は終身雇用でない ; $hypothesis$ = 「あの人的資源管理は終身雇用である」ということは成り立つ ; $proof$ = 
事実1: 「この甘口はセルＧでおまけに青白い」ということは成り立たない
事実2: 仮に「この甘口はセルＧであるし青白い」ということは成り立たないとするとあの人的資源管理は終身雇用でない

仮説: 「あの人的資源管理は終身雇用である」ということは成り立つ