この第四参照は成され易いけど反映され易くない
fact1: あの関八州は積分するしさらに色好い fact2: この第四参照は運び入れるということはない fact3: この第四参照は色っぽくないが担当する fact4: あの税理士法人は成され易い fact5: この権利変動は分かり辛くない一方で反映され易い fact6: 「この第四参照はファミリーステールだけど連想し易くない」ということは確かでない fact7: この第四参照は増員すということはないけれど成され易い fact8: 仮に「「この第四参照はファミリーステールだけれど連想し易くない」ということは真実である」ということは成り立たないとしたら反映され易いということはない fact9: もし何かは積分するし色好いならばこのバレーは鞠庭でない fact10: この第四参照は連想し易いとすれば「それは反映され易くない」ということは事実である fact11: その血税は物凄くないけれど成され易い fact12: 成され易いものは色っぽくないけれど清々しい
fact8 & fact6 -> int1: この第四参照は反映され易いということはない; fact7 -> int2: この第四参照は成され易い; int1 & int2 -> hypothesis;
fact8 & fact6 -> int1: ¬{B}{a}; fact7 -> int2: {A}{a}; int1 & int2 -> hypothesis;
「この第四参照は成され易い一方でそれは反映され易いということはない」ということは偽である
fact13 -> int3: 「積分するしまた色好い」物はある; int3 & fact14 -> int4: このバレーは鞠庭であるということはない; int4 -> int5: なにがしかの物は鞠庭でない;
$facts$ = fact1: あの関八州は積分するしさらに色好い fact2: この第四参照は運び入れるということはない fact3: この第四参照は色っぽくないが担当する fact4: あの税理士法人は成され易い fact5: この権利変動は分かり辛くない一方で反映され易い fact6: 「この第四参照はファミリーステールだけど連想し易くない」ということは確かでない fact7: この第四参照は増員すということはないけれど成され易い fact8: 仮に「「この第四参照はファミリーステールだけれど連想し易くない」ということは真実である」ということは成り立たないとしたら反映され易いということはない fact9: もし何かは積分するし色好いならばこのバレーは鞠庭でない fact10: この第四参照は連想し易いとすれば「それは反映され易くない」ということは事実である fact11: その血税は物凄くないけれど成され易い fact12: 成され易いものは色っぽくないけれど清々しい ; $hypothesis$ = この第四参照は成され易いけど反映され易くない ; $proof$ = 
fact8 & fact6 -> int1: この第四参照は反映され易いということはない; fact7 -> int2: この第四参照は成され易い; int1 & int2 -> hypothesis; __PROVED__
事実1: あの関八州は積分するしさらに色好い
事実2: この第四参照は運び入れるということはない
事実3: この第四参照は色っぽくないが担当する
事実4: あの税理士法人は成され易い
事実5: この権利変動は分かり辛くない一方で反映され易い
事実6: 「この第四参照はファミリーステールだけど連想し易くない」ということは確かでない
事実7: この第四参照は増員すということはないけれど成され易い
事実8: 仮に「「この第四参照はファミリーステールだけれど連想し易くない」ということは真実である」ということは成り立たないとしたら反映され易いということはない
事実9: もし何かは積分するし色好いならばこのバレーは鞠庭でない
事実10: この第四参照は連想し易いとすれば「それは反映され易くない」ということは事実である
事実11: その血税は物凄くないけれど成され易い
事実12: 成され易いものは色っぽくないけれど清々しい

仮説: この第四参照は成され易いけど反映され易くない
1. 事実8と事実6から、推論1: "この第四参照は反映され易いということはない"が導かれる
2. 事実7から、推論2: "この第四参照は成され易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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