「このＴＮＦ‐Ｒは社頭だということはないし天授でない」ということは成り立たない
fact1: このＴＮＦ‐Ｒは未積み立て退職給付債務でない fact2: もしもこのＴＮＦ‐Ｒが未積み立て退職給付債務でないとしたら社頭でなくてしかも天授でない
$facts$ = fact1: このＴＮＦ‐Ｒは未積み立て退職給付債務でない fact2: もしもこのＴＮＦ‐Ｒが未積み立て退職給付債務でないとしたら社頭でなくてしかも天授でない ; $hypothesis$ = 「このＴＮＦ‐Ｒは社頭だということはないし天授でない」ということは成り立たない ; $proof$ = 
事実1: このＴＮＦ‐Ｒは未積み立て退職給付債務でない
事実2: もしもこのＴＮＦ‐Ｒが未積み立て退職給付債務でないとしたら社頭でなくてしかも天授でない

仮説: 「このＴＮＦ‐Ｒは社頭だということはないし天授でない」ということは成り立たない