「「このタイムレコーダーは居直らない一方で予見出来る」ということは嘘である」ということは成り立つ
fact1: 「このタイムレコーダーは居直らないけれど予見出来る」ということは真実でない
$facts$ = fact1: 「このタイムレコーダーは居直らないけれど予見出来る」ということは真実でない ; $hypothesis$ = 「「このタイムレコーダーは居直らない一方で予見出来る」ということは嘘である」ということは成り立つ ; $proof$ = 
事実1: 「このタイムレコーダーは居直らないけれど予見出来る」ということは真実でない

仮説: 「「このタイムレコーダーは居直らない一方で予見出来る」ということは嘘である」ということは成り立つ