「そのＤＶＤ‐ＲＷドライブは凭せるかまたは表わし為さらないかあるいは両方ともである」ということは事実でない
fact1: 「あの固定金利預金が笑い合うということはない一方でそれが本当らしいとするとそのＤＶＤ‐ＲＷドライブは見せ付けない」ということは真実である fact2: そのＤＶＤ‐ＲＷドライブは算出結果だ fact3: もし仮にあの固定金利預金が隠れ住むとしたらそれは笑い合わないししかも本当らしい fact4: その伝承はほろ苦い fact5: 「あの固定金利預金はほろ苦い」ということは真実だ fact6: 仮に何らかの物が見せ付けないとしたら素人っぽいということはない一方でほろ苦い fact7: 仮にそのＤＶＤ‐ＲＷドライブはほろ苦いとすると「あの固定金利預金は表わし為さるかもしくは凭せらないかあるいは両方ともである」ということは誤りである fact8: 「この半成工事はアサインするかあるいはそれは再活用であるということはないかまたは両方である」ということは間違いだ fact9: 「あの固定金利預金は凭せる」ということは成り立つ fact10: そのＤＶＤ‐ＲＷドライブはほろ苦い fact11: もしあの固定金利預金はほろ苦いとすれば「そのＤＶＤ‐ＲＷドライブは凭せるかそれは表わし為さらないか両方である」ということは成り立たない fact12: 素人っぽくないものはほろ苦いとしたら「表わし為さらない」ということは成り立つ
fact11 & fact5 -> hypothesis;
fact11 & fact5 -> hypothesis;
そのＤＶＤ‐ＲＷドライブは凭せるかもしくはそれは表わし為さらない
fact14 -> int1: 仮にそのＤＶＤ‐ＲＷドライブが素人っぽくないがしかしそれがほろ苦いとしたら表わし為さらない; fact13 -> int2: 仮にそのＤＶＤ‐ＲＷドライブが見せ付けないとするとそれは素人っぽくなくてしかもそれはほろ苦い;
$facts$ = fact1: 「あの固定金利預金が笑い合うということはない一方でそれが本当らしいとするとそのＤＶＤ‐ＲＷドライブは見せ付けない」ということは真実である fact2: そのＤＶＤ‐ＲＷドライブは算出結果だ fact3: もし仮にあの固定金利預金が隠れ住むとしたらそれは笑い合わないししかも本当らしい fact4: その伝承はほろ苦い fact5: 「あの固定金利預金はほろ苦い」ということは真実だ fact6: 仮に何らかの物が見せ付けないとしたら素人っぽいということはない一方でほろ苦い fact7: 仮にそのＤＶＤ‐ＲＷドライブはほろ苦いとすると「あの固定金利預金は表わし為さるかもしくは凭せらないかあるいは両方ともである」ということは誤りである fact8: 「この半成工事はアサインするかあるいはそれは再活用であるということはないかまたは両方である」ということは間違いだ fact9: 「あの固定金利預金は凭せる」ということは成り立つ fact10: そのＤＶＤ‐ＲＷドライブはほろ苦い fact11: もしあの固定金利預金はほろ苦いとすれば「そのＤＶＤ‐ＲＷドライブは凭せるかそれは表わし為さらないか両方である」ということは成り立たない fact12: 素人っぽくないものはほろ苦いとしたら「表わし為さらない」ということは成り立つ ; $hypothesis$ = 「そのＤＶＤ‐ＲＷドライブは凭せるかまたは表わし為さらないかあるいは両方ともである」ということは事実でない ; $proof$ = 
fact11 & fact5 -> hypothesis; __PROVED__
事実1: 「あの固定金利預金が笑い合うということはない一方でそれが本当らしいとするとそのＤＶＤ‐ＲＷドライブは見せ付けない」ということは真実である
事実2: そのＤＶＤ‐ＲＷドライブは算出結果だ
事実3: もし仮にあの固定金利預金が隠れ住むとしたらそれは笑い合わないししかも本当らしい
事実4: その伝承はほろ苦い
事実5: 「あの固定金利預金はほろ苦い」ということは真実だ
事実6: 仮に何らかの物が見せ付けないとしたら素人っぽいということはない一方でほろ苦い
事実7: 仮にそのＤＶＤ‐ＲＷドライブはほろ苦いとすると「あの固定金利預金は表わし為さるかもしくは凭せらないかあるいは両方ともである」ということは誤りである
事実8: 「この半成工事はアサインするかあるいはそれは再活用であるということはないかまたは両方である」ということは間違いだ
事実9: 「あの固定金利預金は凭せる」ということは成り立つ
事実10: そのＤＶＤ‐ＲＷドライブはほろ苦い
事実11: もしあの固定金利預金はほろ苦いとすれば「そのＤＶＤ‐ＲＷドライブは凭せるかそれは表わし為さらないか両方である」ということは成り立たない
事実12: 素人っぽくないものはほろ苦いとしたら「表わし為さらない」ということは成り立つ

仮説: 「そのＤＶＤ‐ＲＷドライブは凭せるかまたは表わし為さらないかあるいは両方ともである」ということは事実でない
1. 事実11と事実5から、仮説が導かれる

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