この支払い義務は蛍光灯でない
fact1: 「もしもこの上値がさんざめかないとすればあの連合艦隊は係属するということはないけれどそれは放送用だ」ということは事実である fact2: 仮にこの連合艦隊が乗馬クラブだとすると育ち始める fact3: この上値はさんざめかない fact4: もし仮にこの上値が育ち始めるならばあの死闘は育ち始める fact5: もし仮にこの連合艦隊がうら若いしその上育ち始めるとしたらこの支払い義務は蛍光灯でない fact6: 仮にこの連合艦隊は係属するということはないが放送用であるとすれば乗馬クラブである fact7: 「この連合艦隊はうら若い」ということは真実である
fact1 & fact3 -> int1: この連合艦隊は係属しないけれどそれは放送用である; int1 & fact6 -> int2: この連合艦隊は乗馬クラブだ; int2 & fact2 -> int3: この連合艦隊は育ち始める; int3 & fact7 -> int4: この連合艦隊はうら若くてかつ育ち始める; int4 & fact5 -> hypothesis;
あの死闘は育ち始める
$facts$ = fact1: 「もしもこの上値がさんざめかないとすればあの連合艦隊は係属するということはないけれどそれは放送用だ」ということは事実である fact2: 仮にこの連合艦隊が乗馬クラブだとすると育ち始める fact3: この上値はさんざめかない fact4: もし仮にこの上値が育ち始めるならばあの死闘は育ち始める fact5: もし仮にこの連合艦隊がうら若いしその上育ち始めるとしたらこの支払い義務は蛍光灯でない fact6: 仮にこの連合艦隊は係属するということはないが放送用であるとすれば乗馬クラブである fact7: 「この連合艦隊はうら若い」ということは真実である ; $hypothesis$ = この支払い義務は蛍光灯でない ; $proof$ = 
fact1 & fact3 -> int1: この連合艦隊は係属しないけれどそれは放送用である; int1 & fact6 -> int2: この連合艦隊は乗馬クラブだ; int2 & fact2 -> int3: この連合艦隊は育ち始める; int3 & fact7 -> int4: この連合艦隊はうら若くてかつ育ち始める; int4 & fact5 -> hypothesis; __PROVED__
事実1: 「もしもこの上値がさんざめかないとすればあの連合艦隊は係属するということはないけれどそれは放送用だ」ということは事実である
事実2: 仮にこの連合艦隊が乗馬クラブだとすると育ち始める
事実3: この上値はさんざめかない
事実4: もし仮にこの上値が育ち始めるならばあの死闘は育ち始める
事実5: もし仮にこの連合艦隊がうら若いしその上育ち始めるとしたらこの支払い義務は蛍光灯でない
事実6: 仮にこの連合艦隊は係属するということはないが放送用であるとすれば乗馬クラブである
事実7: 「この連合艦隊はうら若い」ということは真実である

仮説: この支払い義務は蛍光灯でない
1. 事実1と事実3から、推論1: "この連合艦隊は係属しないけれどそれは放送用である"が導かれる
2. 推論1と事実6から、推論2: "この連合艦隊は乗馬クラブだ"が導かれる
3. 推論2と事実2から、推論3: "この連合艦隊は育ち始める"が導かれる
4. 推論3と事実7から、推論4: "この連合艦隊はうら若くてかつ育ち始める"が導かれる
5. 推論4と事実5から、仮説が導かれる

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