「「仮に「問い質さない」ということは確かであるなら「支払い回数であるか幅広いかあるいは両方ともである」ということは間違っている」物はある」ということは本当である
fact1: もしもあの名古屋市内が問い質さないとするとそれは支払い回数であるかそれは幅広い fact2: 「もし問い質すなら「支払い回数であるか幅広い」ということは成り立たない」物はある fact3: もし仮にあの名古屋市内は問い質せば「支払い回数であるかあるいは幅広いか両方ともである」ということは間違いである fact4: もし仮にあの名古屋市内は問い質さないとしたら「支払い回数であるか幅広いかもしくは両方である」ということは事実と異なる fact5: 「仮に問い質すということはないならば幅広くない」ものはある fact6: 「もし仮に問い質さないとすれば支払い回数であるかもしくは幅広いかまたは両方ともな」物はある fact7: もしもあの名古屋市内は問い質さないとすると「それは支払い回数でない」ということは正しい
fact4 -> hypothesis;
$facts$ = fact1: もしもあの名古屋市内が問い質さないとするとそれは支払い回数であるかそれは幅広い fact2: 「もし問い質すなら「支払い回数であるか幅広い」ということは成り立たない」物はある fact3: もし仮にあの名古屋市内は問い質せば「支払い回数であるかあるいは幅広いか両方ともである」ということは間違いである fact4: もし仮にあの名古屋市内は問い質さないとしたら「支払い回数であるか幅広いかもしくは両方である」ということは事実と異なる fact5: 「仮に問い質すということはないならば幅広くない」ものはある fact6: 「もし仮に問い質さないとすれば支払い回数であるかもしくは幅広いかまたは両方ともな」物はある fact7: もしもあの名古屋市内は問い質さないとすると「それは支払い回数でない」ということは正しい ; $hypothesis$ = 「「仮に「問い質さない」ということは確かであるなら「支払い回数であるか幅広いかあるいは両方ともである」ということは間違っている」物はある」ということは本当である ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもあの名古屋市内が問い質さないとするとそれは支払い回数であるかそれは幅広い
事実2: 「もし問い質すなら「支払い回数であるか幅広い」ということは成り立たない」物はある
事実3: もし仮にあの名古屋市内は問い質せば「支払い回数であるかあるいは幅広いか両方ともである」ということは間違いである
事実4: もし仮にあの名古屋市内は問い質さないとしたら「支払い回数であるか幅広いかもしくは両方である」ということは事実と異なる
事実5: 「仮に問い質すということはないならば幅広くない」ものはある
事実6: 「もし仮に問い質さないとすれば支払い回数であるかもしくは幅広いかまたは両方ともな」物はある
事実7: もしもあの名古屋市内は問い質さないとすると「それは支払い回数でない」ということは正しい

仮説: 「「仮に「問い質さない」ということは確かであるなら「支払い回数であるか幅広いかあるいは両方ともである」ということは間違っている」物はある」ということは本当である
1. 事実4から、仮説が導かれる

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