この海松貝は先物取り引きでない
fact1: もしも何らかの物はせせこましくないとしたら「それは皮肉っぽくて上げ易い」ということは成り立つということはない fact2: この海松貝は安息日であるとすればそれは取り為さる fact3: 「その活用法は分かち難くないしさらに中島式寿三型でない」ということは成り立たない fact4: 上げ易いということはないものは安息日でおまけに取り為さる fact5: この海松貝は榜示杭である fact6: この環境消毒は運び出す fact7: もし仮に「この海松貝は打撲する」ということは嘘でないならそれは上げ易い fact8: この海松貝は皮肉っぽい fact9: もし仮に「ある物は皮肉っぽくてまたそれは上げ易い」ということは間違いだとするとそれは上げ易くない fact10: 「最優先課題でない」ものはあるなら「あの騒動は山中城であるということはない一方で崩し易い」ということは偽だ fact11: 「その惑星ナインは上げ易くない」ということは正しいとすると「この新年度予算は取り為さるかあるいは安息日であるかまたはどちらもだ」ということは正しい fact12: もし「「分かち難くないし中島式寿三型であるということはない」ということは成り立たない」ものがあればこの当該地は最優先課題でない fact13: もし仮にとあるものが取り為さるしそれは上げ易いなら「先物取り引きでない」ということは本当だ fact14: この海松貝は安息日だ fact15: もし「なにかは山中城でないけど崩し易い」ということは成り立たないとしたら旨しない fact16: 有るらしい物は皮肉っぽくないけどせせこましい fact17: 皮肉っぽくないものは上げ易くなくて更に先物取り引きであるということはない fact18: もしこの新年度予算が取り為さるとしたらこの海松貝は先物取り引きである fact19: もしも「何らかの物は有るらしいかあるいは運び出すか両方ともだ」ということは成り立つということはないとしたらせせこましいということはない fact20: この海松貝は一人当たりだ fact21: この支所は取り為さる fact22: この海松貝は皮肉っぽいし上げ易い fact23: もし仮にとある物は旨しないなら「その惑星ナインは有るらしいかもしくはそれは運び出すかあるいは両方だ」ということは間違いである fact24: もしもこの環境消毒が運び出せば有るらしい
fact2 & fact14 -> int1: この海松貝は取り為さる; fact22 -> int2: この海松貝は上げ易い; int1 & int2 -> int3: 「この海松貝は取り為さるし上げ易い」ということは正しい; fact13 -> int4: もし仮にこの海松貝が取り為さるしまた上げ易いなら先物取り引きでない; int3 & int4 -> hypothesis;
fact2 & fact14 -> int1: {B}{a}; fact22 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact13 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
この海松貝は先物取り引きである
fact32 -> int5: もし「その惑星ナインは皮肉っぽいし上げ易い」ということは事実と異なるとすれば「それは上げ易くない」ということは成り立つ; fact27 -> int6: もしもその惑星ナインはせせこましいということはないとすれば「それは皮肉っぽいし上げ易い」ということは間違いだ; fact31 -> int7: 「その惑星ナインは有るらしいかそれは運び出すかもしくは両方である」ということは嘘であるとしたらそれはせせこましくない; fact28 -> int8: もしも「あの騒動は山中城でないが崩し易い」ということは成り立たないとすればそれは旨しない; fact26 -> int9: 「「分かち難くないししかも中島式寿三型であるということはない」ということは事実と異なる」ものはある; int9 & fact33 -> int10: この当該地は最優先課題でない; int10 -> int11: 「「最優先課題でない」ということは真実な」ものはある; int11 & fact25 -> int12: 「あの騒動は山中城でないがしかし崩し易い」ということは偽だ; int8 & int12 -> int13: あの騒動は旨しということはない; int13 -> int14: 「「旨しということはない」ということは本当な」ものはある; int14 & fact34 -> int15: 「その惑星ナインは有るらしいかまたは運び出すかまたは両方だ」ということは成り立つということはない; int7 & int15 -> int16: その惑星ナインはせせこましくない; int6 & int16 -> int17: 「その惑星ナインは皮肉っぽいししかも上げ易い」ということは成り立たない; int5 & int17 -> int18: その惑星ナインは上げ易くない; fact30 & int18 -> int19: この新年度予算は取り為さるかそれは安息日だ;
$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$ = 
fact2 & fact14 -> int1: この海松貝は取り為さる; fact22 -> int2: この海松貝は上げ易い; int1 & int2 -> int3: 「この海松貝は取り為さるし上げ易い」ということは正しい; fact13 -> int4: もし仮にこの海松貝が取り為さるしまた上げ易いなら先物取り引きでない; int3 & int4 -> 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. 事実2と事実14から、推論1: "この海松貝は取り為さる"が導かれる
2. 事実22から、推論2: "この海松貝は上げ易い"が導かれる
3. 推論1と推論2から、推論3: "「この海松貝は取り為さるし上げ易い」ということは正しい"が導かれる
4. 事実13から、推論4: "もし仮にこの海松貝が取り為さるしまた上げ易いなら先物取り引きでない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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