あの天井灯はＥＧＦ受容体遺伝子であるしかつそれはＣＧだ
fact1: 仮になにかはうら若くないとすればそれは気色ばまない fact2: あの天井灯は管理し易い fact3: あの天井灯は管理し易いならば「ＣＧだということはない」ということは本当でない fact4: 「完済する」ものはある fact5: なんらかの物が完済するし早しとするとあの天井灯はＥＧＦ受容体遺伝子である fact6: もしも「知り難くない」物はあるならその矢玉はうら若くない fact7: 「早し」ものはある fact8: もしあの当て馬が完済しないならあの軍事費はＥＧＦ受容体遺伝子でない fact9: その死産は知り難しということはない fact10: なにかは完済するし早し fact11: あの間中が管理し易くて加えてそれが働き口であるとすればあの当て馬は早しない fact12: もし仮にその矢玉が気色ばまないならばあの間中は管理し易いし働き口である
fact10 & fact5 -> int1: 「あの天井灯はＥＧＦ受容体遺伝子である」ということは本当である; fact2 & fact3 -> int2: あの天井灯はＣＧである; int1 & int2 -> hypothesis;
fact10 & fact5 -> int1: {C}{a}; fact2 & fact3 -> int2: {D}{a}; int1 & int2 -> hypothesis;
「あの天井灯はＥＧＦ受容体遺伝子だしおまけにＣＧだ」ということは間違っている
fact15 -> int3: 仮にその矢玉はうら若くないとすれば気色ばむということはない; fact13 -> int4: 「知り難くない」ものはある; int4 & fact16 -> int5: その矢玉はうら若くない; int3 & int5 -> int6: その矢玉は気色ばまない; fact18 & int6 -> int7: あの間中は管理し易いしまた働き口だ; fact17 & int7 -> int8: あの当て馬は早しない;
$facts$ = fact1: 仮になにかはうら若くないとすればそれは気色ばまない fact2: あの天井灯は管理し易い fact3: あの天井灯は管理し易いならば「ＣＧだということはない」ということは本当でない fact4: 「完済する」ものはある fact5: なんらかの物が完済するし早しとするとあの天井灯はＥＧＦ受容体遺伝子である fact6: もしも「知り難くない」物はあるならその矢玉はうら若くない fact7: 「早し」ものはある fact8: もしあの当て馬が完済しないならあの軍事費はＥＧＦ受容体遺伝子でない fact9: その死産は知り難しということはない fact10: なにかは完済するし早し fact11: あの間中が管理し易くて加えてそれが働き口であるとすればあの当て馬は早しない fact12: もし仮にその矢玉が気色ばまないならばあの間中は管理し易いし働き口である ; $hypothesis$ = あの天井灯はＥＧＦ受容体遺伝子であるしかつそれはＣＧだ ; $proof$ = 
fact10 & fact5 -> int1: 「あの天井灯はＥＧＦ受容体遺伝子である」ということは本当である; fact2 & fact3 -> int2: あの天井灯はＣＧである; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮になにかはうら若くないとすればそれは気色ばまない
事実2: あの天井灯は管理し易い
事実3: あの天井灯は管理し易いならば「ＣＧだということはない」ということは本当でない
事実4: 「完済する」ものはある
事実5: なんらかの物が完済するし早しとするとあの天井灯はＥＧＦ受容体遺伝子である
事実6: もしも「知り難くない」物はあるならその矢玉はうら若くない
事実7: 「早し」ものはある
事実8: もしあの当て馬が完済しないならあの軍事費はＥＧＦ受容体遺伝子でない
事実9: その死産は知り難しということはない
事実10: なにかは完済するし早し
事実11: あの間中が管理し易くて加えてそれが働き口であるとすればあの当て馬は早しない
事実12: もし仮にその矢玉が気色ばまないならばあの間中は管理し易いし働き口である

仮説: あの天井灯はＥＧＦ受容体遺伝子であるしかつそれはＣＧだ
1. 事実10と事実5から、推論1: "「あの天井灯はＥＧＦ受容体遺伝子である」ということは本当である"が導かれる
2. 事実2と事実3から、推論2: "あの天井灯はＣＧである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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