そのタイムカードは塵取りでない
fact1: 「そのタイムカードはプログラム化するかまたはしどけなくないかまたは両方ともだ」ということは成り立たない fact2: 「そのタイムカードはプログラム化するかあるいはしどけなくない」ということは事実と異なるとすると「それは塵取りでない」ということは本当だ
$facts$ = fact1: 「そのタイムカードはプログラム化するかまたはしどけなくないかまたは両方ともだ」ということは成り立たない fact2: 「そのタイムカードはプログラム化するかあるいはしどけなくない」ということは事実と異なるとすると「それは塵取りでない」ということは本当だ ; $hypothesis$ = そのタイムカードは塵取りでない ; $proof$ = 
事実1: 「そのタイムカードはプログラム化するかまたはしどけなくないかまたは両方ともだ」ということは成り立たない
事実2: 「そのタイムカードはプログラム化するかあるいはしどけなくない」ということは事実と異なるとすると「それは塵取りでない」ということは本当だ

仮説: そのタイムカードは塵取りでない