あのアングロサクソンは判定等でない
fact1: 「あのアングロサクソンはプロポーズする」ということは成り立つならそれは判定等である fact2: あのアングロサクソンはプロポーズする
$facts$ = fact1: 「あのアングロサクソンはプロポーズする」ということは成り立つならそれは判定等である fact2: あのアングロサクソンはプロポーズする ; $hypothesis$ = あのアングロサクソンは判定等でない ; $proof$ = 
事実1: 「あのアングロサクソンはプロポーズする」ということは成り立つならそれは判定等である
事実2: あのアングロサクソンはプロポーズする

仮説: あのアングロサクソンは判定等でない