あのエンチクロペディーは低い
fact1: 仮に「その妄執は都道府県でないけれど情報化する」ということは偽であるならあのエンチクロペディーは低くない fact2: 「「その妄執は都道府県でないが情報化する」ということは誤りだ」ということは事実である
$facts$ = fact1: 仮に「その妄執は都道府県でないけれど情報化する」ということは偽であるならあのエンチクロペディーは低くない fact2: 「「その妄執は都道府県でないが情報化する」ということは誤りだ」ということは事実である ; $hypothesis$ = あのエンチクロペディーは低い ; $proof$ = 
事実1: 仮に「その妄執は都道府県でないけれど情報化する」ということは偽であるならあのエンチクロペディーは低くない
事実2: 「「その妄執は都道府県でないが情報化する」ということは誤りだ」ということは事実である

仮説: あのエンチクロペディーは低い