「もしも「デジタル・コンピュータであるしさらに引き易い」ということは成り立たないとしたら厚しない」ものはある
fact1: 仮に「あの文聖王はデジタル・コンピュータであるししかもそれは引き易い」ということは成り立たないとするとそれは厚しない
$facts$ = fact1: 仮に「あの文聖王はデジタル・コンピュータであるししかもそれは引き易い」ということは成り立たないとするとそれは厚しない ; $hypothesis$ = 「もしも「デジタル・コンピュータであるしさらに引き易い」ということは成り立たないとしたら厚しない」ものはある ; $proof$ = 
事実1: 仮に「あの文聖王はデジタル・コンピュータであるししかもそれは引き易い」ということは成り立たないとするとそれは厚しない

仮説: 「もしも「デジタル・コンピュータであるしさらに引き易い」ということは成り立たないとしたら厚しない」ものはある