「その視力検査は惜しいけどケトアシドーシスでない」ということは事実であるということはない
fact1: 全てのものは惜しいけれどケトアシドーシスでない
$facts$ = fact1: 全てのものは惜しいけれどケトアシドーシスでない ; $hypothesis$ = 「その視力検査は惜しいけどケトアシドーシスでない」ということは事実であるということはない ; $proof$ = 
事実1: 全てのものは惜しいけれどケトアシドーシスでない

仮説: 「その視力検査は惜しいけどケトアシドーシスでない」ということは事実であるということはない