そのＡ四判は音響効果でない
fact1: もし「そのＡ四判は吸い尽くす」ということは間違いでないとすると音響効果である fact2: 仮にこのデジタルビデオが書き易くないとしたらそのＡ四判は吸い尽くす fact3: もし仮に「何らかの物は吸い尽くさないし書き易くない」ということは成り立てばそのＡ四判は音響効果だということはない fact4: なんらかの物は吸い尽くさないしその上書き易くない fact5: もし何らかのものが絞り上げなくてしかもそれが打ち易くないならそのＡ四判は書き易くない fact6: 「吸い尽くすしまた書き易いということはない」ものはある fact7: 「書き易いということはない」物はある
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
そのＡ四判は音響効果である
$facts$ = fact1: もし「そのＡ四判は吸い尽くす」ということは間違いでないとすると音響効果である fact2: 仮にこのデジタルビデオが書き易くないとしたらそのＡ四判は吸い尽くす fact3: もし仮に「何らかの物は吸い尽くさないし書き易くない」ということは成り立てばそのＡ四判は音響効果だということはない fact4: なんらかの物は吸い尽くさないしその上書き易くない fact5: もし何らかのものが絞り上げなくてしかもそれが打ち易くないならそのＡ四判は書き易くない fact6: 「吸い尽くすしまた書き易いということはない」ものはある fact7: 「書き易いということはない」物はある ; $hypothesis$ = そのＡ四判は音響効果でない ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: もし「そのＡ四判は吸い尽くす」ということは間違いでないとすると音響効果である
事実2: 仮にこのデジタルビデオが書き易くないとしたらそのＡ四判は吸い尽くす
事実3: もし仮に「何らかの物は吸い尽くさないし書き易くない」ということは成り立てばそのＡ四判は音響効果だということはない
事実4: なんらかの物は吸い尽くさないしその上書き易くない
事実5: もし何らかのものが絞り上げなくてしかもそれが打ち易くないならそのＡ四判は書き易くない
事実6: 「吸い尽くすしまた書き易いということはない」ものはある
事実7: 「書き易いということはない」物はある

仮説: そのＡ四判は音響効果でない
1. 事実4と事実3から、仮説が導かれる

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