その糖尿試験紙はアプトン・シンクレア著でない
fact1: 「その糖尿試験紙は通じ易くないか暗過ぎないかまたは両方ともだ」ということは成り立たない fact2: 「「その糖尿試験紙は通じ易いということはないかあるいはそれは暗過ぎないかあるいは両方ともだ」ということは本当である」ということは成り立たないとすればアプトン・シンクレア著でない
$facts$ = fact1: 「その糖尿試験紙は通じ易くないか暗過ぎないかまたは両方ともだ」ということは成り立たない fact2: 「「その糖尿試験紙は通じ易いということはないかあるいはそれは暗過ぎないかあるいは両方ともだ」ということは本当である」ということは成り立たないとすればアプトン・シンクレア著でない ; $hypothesis$ = その糖尿試験紙はアプトン・シンクレア著でない ; $proof$ = 
事実1: 「その糖尿試験紙は通じ易くないか暗過ぎないかまたは両方ともだ」ということは成り立たない
事実2: 「「その糖尿試験紙は通じ易いということはないかあるいはそれは暗過ぎないかあるいは両方ともだ」ということは本当である」ということは成り立たないとすればアプトン・シンクレア著でない

仮説: その糖尿試験紙はアプトン・シンクレア著でない