あの利害関心は下がり始めるしまたそれは宣伝する
fact1: もし仮に何らかの物は得られ易いということはないならば「下がり始めるしそれは宣伝する」ということは嘘である fact2: 「「「取り組めるしまた遊び歩かない」ということは本当である」ということは確かでない」物はある fact3: 仮にこの右副腎は取り組めないとすると「このホワイトムスクは発電用でないがしかし青い」ということは成り立たない fact4: もしもこの右副腎が発電用である一方でそれが青くないとするとあの利害関心は得られ易いということはない fact5: あの利害関心は得られ易い fact6: あの利害関心は下がり始めるし更に得られ易い fact7: あの利害関心は宣伝するし発電用だ fact8: 「「とあるものは発電用だということはないけれど青い」ということは事実だ」ということは正しくないとすればそれは退ける
fact6 -> int1: あの利害関心は下がり始める; fact7 -> int2: あの利害関心は宣伝する; int1 & int2 -> hypothesis;
「「あの利害関心は下がり始めるし加えて宣伝する」ということは本当である」ということは間違いである
fact10 -> int3: 「あの利害関心は得られ易くない」ということは確かなら「それは下がり始めるしおまけに宣伝する」ということは本当でない;
$facts$ = fact1: もし仮に何らかの物は得られ易いということはないならば「下がり始めるしそれは宣伝する」ということは嘘である fact2: 「「「取り組めるしまた遊び歩かない」ということは本当である」ということは確かでない」物はある fact3: 仮にこの右副腎は取り組めないとすると「このホワイトムスクは発電用でないがしかし青い」ということは成り立たない fact4: もしもこの右副腎が発電用である一方でそれが青くないとするとあの利害関心は得られ易いということはない fact5: あの利害関心は得られ易い fact6: あの利害関心は下がり始めるし更に得られ易い fact7: あの利害関心は宣伝するし発電用だ fact8: 「「とあるものは発電用だということはないけれど青い」ということは事実だ」ということは正しくないとすればそれは退ける ; $hypothesis$ = あの利害関心は下がり始めるしまたそれは宣伝する ; $proof$ = 
fact6 -> int1: あの利害関心は下がり始める; fact7 -> int2: あの利害関心は宣伝する; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物は得られ易いということはないならば「下がり始めるしそれは宣伝する」ということは嘘である
事実2: 「「「取り組めるしまた遊び歩かない」ということは本当である」ということは確かでない」物はある
事実3: 仮にこの右副腎は取り組めないとすると「このホワイトムスクは発電用でないがしかし青い」ということは成り立たない
事実4: もしもこの右副腎が発電用である一方でそれが青くないとするとあの利害関心は得られ易いということはない
事実5: あの利害関心は得られ易い
事実6: あの利害関心は下がり始めるし更に得られ易い
事実7: あの利害関心は宣伝するし発電用だ
事実8: 「「とあるものは発電用だということはないけれど青い」ということは事実だ」ということは正しくないとすればそれは退ける

仮説: あの利害関心は下がり始めるしまたそれは宣伝する
1. 事実6から、推論1: "あの利害関心は下がり始める"が導かれる
2. 事実7から、推論2: "あの利害関心は宣伝する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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