あの第一記事は三位決定戦でない
fact1: 「どれもこれもは値下がりする」ということは事実である fact2: もしもそのレーザー光が三位決定戦だとするとあの第一記事は三位決定戦だ fact3: そのレーザー光が見破れるしそれはけたたましいとすると「あの第一記事は三位決定戦だということはない」ということは正しい fact4: このロケットが軽ーいししかもそれが見破れるならそのレーザー光は値下がりしない fact5: もし何かは見破れるならそれは掘れる fact6: その拘束条件は三位決定戦である fact7: 仮にこのロケットが値下がりするとしたらそのレーザー光は見破れる fact8: そのレーザー光は軽ーい fact9: そのレーザー光は軽ーいならば「けたたましい」ということは事実と異ならない
fact1 -> int1: このロケットは値下がりする; int1 & fact7 -> int2: そのレーザー光は見破れる; fact8 & fact9 -> int3: そのレーザー光はけたたましい; int2 & int3 -> int4: そのレーザー光は見破れるしまたけたたましい; int4 & fact3 -> hypothesis;
あの第一記事は三位決定戦だ
$facts$ = fact1: 「どれもこれもは値下がりする」ということは事実である fact2: もしもそのレーザー光が三位決定戦だとするとあの第一記事は三位決定戦だ fact3: そのレーザー光が見破れるしそれはけたたましいとすると「あの第一記事は三位決定戦だということはない」ということは正しい fact4: このロケットが軽ーいししかもそれが見破れるならそのレーザー光は値下がりしない fact5: もし何かは見破れるならそれは掘れる fact6: その拘束条件は三位決定戦である fact7: 仮にこのロケットが値下がりするとしたらそのレーザー光は見破れる fact8: そのレーザー光は軽ーい fact9: そのレーザー光は軽ーいならば「けたたましい」ということは事実と異ならない ; $hypothesis$ = あの第一記事は三位決定戦でない ; $proof$ = 
fact1 -> int1: このロケットは値下がりする; int1 & fact7 -> int2: そのレーザー光は見破れる; fact8 & fact9 -> int3: そのレーザー光はけたたましい; int2 & int3 -> int4: そのレーザー光は見破れるしまたけたたましい; int4 & fact3 -> hypothesis; __PROVED__
事実1: 「どれもこれもは値下がりする」ということは事実である
事実2: もしもそのレーザー光が三位決定戦だとするとあの第一記事は三位決定戦だ
事実3: そのレーザー光が見破れるしそれはけたたましいとすると「あの第一記事は三位決定戦だということはない」ということは正しい
事実4: このロケットが軽ーいししかもそれが見破れるならそのレーザー光は値下がりしない
事実5: もし何かは見破れるならそれは掘れる
事実6: その拘束条件は三位決定戦である
事実7: 仮にこのロケットが値下がりするとしたらそのレーザー光は見破れる
事実8: そのレーザー光は軽ーい
事実9: そのレーザー光は軽ーいならば「けたたましい」ということは事実と異ならない

仮説: あの第一記事は三位決定戦でない
1. 事実1から、推論1: "このロケットは値下がりする"が導かれる
2. 推論1と事実7から、推論2: "そのレーザー光は見破れる"が導かれる
3. 事実8と事実9から、推論3: "そのレーザー光はけたたましい"が導かれる
4. 推論2と推論3から、推論4: "そのレーザー光は見破れるしまたけたたましい"が導かれる
5. 推論4と事実3から、仮説が導かれる

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