なんらかの物は市中肺炎であるし更にスクール・マッチである
fact1: その僕以外が早しとすればそのサンライズは市中肺炎である fact2: その僕以外が性分らしいならそのサンライズは市中肺炎である fact3: その僕以外は憎たらしいし合法だ fact4: その僕以外は父親らしい fact5: その僕以外は市中肺炎である fact6: 「その僕以外は赤っぽい」ということは確かだ fact7: この配達は循環型社会形成推進基本法だ fact8: その僕以外は乗り続ける fact9: あの旅館業は早し fact10: その僕以外は循環型社会形成推進基本法であるしかつ早し fact11: そのサンライズは蓄積され易いしさらに早し fact12: その砲兵はスクール・マッチである fact13: そのサンライズは蓄積され易いしさらに循環型社会形成推進基本法だ fact14: 何かは縦径だ fact15: もしもその僕以外が蓄積され易いとするとそのサンライズは循環型社会形成推進基本法である fact16: そのサンライズは早し fact17: そのサンライズは性分らしいしかつ蓄積され易い fact18: もしもそのサンライズが性分らしいとすればスクール・マッチだ fact19: このカセットは突然変異であるしその上それは分断する fact20: その平衡論はスクール・マッチである fact21: そのサンライズは考察する fact22: 「何らかのものは循環型社会形成推進基本法である」ということは誤りでない fact23: その僕以外は遺伝子レベルである fact24: 循環型社会形成推進基本法は極冠だ
fact10 -> int1: その僕以外は早し; int1 & fact1 -> int2: そのサンライズは市中肺炎である; fact17 -> int3: そのサンライズは性分らしい; fact18 & int3 -> int4: そのサンライズはスクール・マッチである; int2 & int4 -> int5: そのサンライズは市中肺炎でスクール・マッチだ; int5 -> hypothesis;
この医局員は極冠だししかもスクール・マッチだ
fact25 -> int6: もし仮にこの医局員は循環型社会形成推進基本法であるなら極冠だ;
$facts$ = fact1: その僕以外が早しとすればそのサンライズは市中肺炎である fact2: その僕以外が性分らしいならそのサンライズは市中肺炎である fact3: その僕以外は憎たらしいし合法だ fact4: その僕以外は父親らしい fact5: その僕以外は市中肺炎である fact6: 「その僕以外は赤っぽい」ということは確かだ fact7: この配達は循環型社会形成推進基本法だ fact8: その僕以外は乗り続ける fact9: あの旅館業は早し fact10: その僕以外は循環型社会形成推進基本法であるしかつ早し fact11: そのサンライズは蓄積され易いしさらに早し fact12: その砲兵はスクール・マッチである fact13: そのサンライズは蓄積され易いしさらに循環型社会形成推進基本法だ fact14: 何かは縦径だ fact15: もしもその僕以外が蓄積され易いとするとそのサンライズは循環型社会形成推進基本法である fact16: そのサンライズは早し fact17: そのサンライズは性分らしいしかつ蓄積され易い fact18: もしもそのサンライズが性分らしいとすればスクール・マッチだ fact19: このカセットは突然変異であるしその上それは分断する fact20: その平衡論はスクール・マッチである fact21: そのサンライズは考察する fact22: 「何らかのものは循環型社会形成推進基本法である」ということは誤りでない fact23: その僕以外は遺伝子レベルである fact24: 循環型社会形成推進基本法は極冠だ ; $hypothesis$ = なんらかの物は市中肺炎であるし更にスクール・マッチである ; $proof$ = 
fact10 -> int1: その僕以外は早し; int1 & fact1 -> int2: そのサンライズは市中肺炎である; fact17 -> int3: そのサンライズは性分らしい; fact18 & int3 -> int4: そのサンライズはスクール・マッチである; int2 & int4 -> int5: そのサンライズは市中肺炎でスクール・マッチだ; int5 -> hypothesis; __PROVED__
事実1: その僕以外が早しとすればそのサンライズは市中肺炎である
事実2: その僕以外が性分らしいならそのサンライズは市中肺炎である
事実3: その僕以外は憎たらしいし合法だ
事実4: その僕以外は父親らしい
事実5: その僕以外は市中肺炎である
事実6: 「その僕以外は赤っぽい」ということは確かだ
事実7: この配達は循環型社会形成推進基本法だ
事実8: その僕以外は乗り続ける
事実9: あの旅館業は早し
事実10: その僕以外は循環型社会形成推進基本法であるしかつ早し
事実11: そのサンライズは蓄積され易いしさらに早し
事実12: その砲兵はスクール・マッチである
事実13: そのサンライズは蓄積され易いしさらに循環型社会形成推進基本法だ
事実14: 何かは縦径だ
事実15: もしもその僕以外が蓄積され易いとするとそのサンライズは循環型社会形成推進基本法である
事実16: そのサンライズは早し
事実17: そのサンライズは性分らしいしかつ蓄積され易い
事実18: もしもそのサンライズが性分らしいとすればスクール・マッチだ
事実19: このカセットは突然変異であるしその上それは分断する
事実20: その平衡論はスクール・マッチである
事実21: そのサンライズは考察する
事実22: 「何らかのものは循環型社会形成推進基本法である」ということは誤りでない
事実23: その僕以外は遺伝子レベルである
事実24: 循環型社会形成推進基本法は極冠だ

仮説: なんらかの物は市中肺炎であるし更にスクール・マッチである
1. 事実10から、推論1: "その僕以外は早し"が導かれる
2. 推論1と事実1から、推論2: "そのサンライズは市中肺炎である"が導かれる
3. 事実17から、推論3: "そのサンライズは性分らしい"が導かれる
4. 事実18と推論3から、推論4: "そのサンライズはスクール・マッチである"が導かれる
5. 推論2と推論4から、推論5: "そのサンライズは市中肺炎でスクール・マッチだ"が導かれる
6. 推論5から、仮説が導かれる

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