「もし「鬼田平子でないけれど大規模開発である」ということは誤りなら「調査済みである」ということは成り立つ」ものはある
fact1: 仮に「あのイオンは仲間らしいしおまけにそれは鬼田平子だ」ということは成り立つということはないならば再読する fact2: もし「このマネージャーは鬼田平子である」ということは確かであるとすると「それは調査済みである」ということは真実である fact3: もし仮に「このマネージャーは鬼田平子でないが大規模開発である」ということは間違いだとすればそれは調査済みだ fact4: このマネージャーは鬼田平子であるということはないけれど大規模開発であるならばそれは調査済みだ
fact3 -> hypothesis;
$facts$ = fact1: 仮に「あのイオンは仲間らしいしおまけにそれは鬼田平子だ」ということは成り立つということはないならば再読する fact2: もし「このマネージャーは鬼田平子である」ということは確かであるとすると「それは調査済みである」ということは真実である fact3: もし仮に「このマネージャーは鬼田平子でないが大規模開発である」ということは間違いだとすればそれは調査済みだ fact4: このマネージャーは鬼田平子であるということはないけれど大規模開発であるならばそれは調査済みだ ; $hypothesis$ = 「もし「鬼田平子でないけれど大規模開発である」ということは誤りなら「調査済みである」ということは成り立つ」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮に「あのイオンは仲間らしいしおまけにそれは鬼田平子だ」ということは成り立つということはないならば再読する
事実2: もし「このマネージャーは鬼田平子である」ということは確かであるとすると「それは調査済みである」ということは真実である
事実3: もし仮に「このマネージャーは鬼田平子でないが大規模開発である」ということは間違いだとすればそれは調査済みだ
事実4: このマネージャーは鬼田平子であるということはないけれど大規模開発であるならばそれは調査済みだ

仮説: 「もし「鬼田平子でないけれど大規模開発である」ということは誤りなら「調査済みである」ということは成り立つ」ものはある
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。