「「もし仮に支払い証票でないとすると「漕ぐかまたは立証趣旨でないか両方ともだ」ということは成り立たない」ものはある」ということは確かだ
fact1: もし仮にあの蔵書は支払い証票であるということはないとすれば「漕ぐかまたは立証趣旨でない」ということは間違っている fact2: もしも「なんらかの物は工事部門でない」ということは真実ならば「ヘッドフォンであるか支払い証票でない」ということは成り立つということはない fact3: 「もしも支払い証票でないとすれば「漕ぐかあるいは立証趣旨であるかまたは両方ともである」ということは成り立たない」ものはある fact4: もしあの蔵書が支払い証票でないとすればそれは立証趣旨だ
fact1 -> hypothesis;
fact1 -> hypothesis;
このマディ心斎橋店は工事部門でないとしたら「ヘッドフォンであるかまたは支払い証票であるということはないかもしくはどちらもである」ということは成り立たない
fact5 -> hypothesis;
$facts$ = fact1: もし仮にあの蔵書は支払い証票であるということはないとすれば「漕ぐかまたは立証趣旨でない」ということは間違っている fact2: もしも「なんらかの物は工事部門でない」ということは真実ならば「ヘッドフォンであるか支払い証票でない」ということは成り立つということはない fact3: 「もしも支払い証票でないとすれば「漕ぐかあるいは立証趣旨であるかまたは両方ともである」ということは成り立たない」ものはある fact4: もしあの蔵書が支払い証票でないとすればそれは立証趣旨だ ; $hypothesis$ = 「「もし仮に支払い証票でないとすると「漕ぐかまたは立証趣旨でないか両方ともだ」ということは成り立たない」ものはある」ということは確かだ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの蔵書は支払い証票であるということはないとすれば「漕ぐかまたは立証趣旨でない」ということは間違っている
事実2: もしも「なんらかの物は工事部門でない」ということは真実ならば「ヘッドフォンであるか支払い証票でない」ということは成り立つということはない
事実3: 「もしも支払い証票でないとすれば「漕ぐかあるいは立証趣旨であるかまたは両方ともである」ということは成り立たない」ものはある
事実4: もしあの蔵書が支払い証票でないとすればそれは立証趣旨だ

仮説: 「「もし仮に支払い証票でないとすると「漕ぐかまたは立証趣旨でないか両方ともだ」ということは成り立たない」ものはある」ということは確かだ
1. 事実1から、仮説が導かれる

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