あの石碑は資金調達方法である
fact1: そのマグネシウム濃度が正直過ぎないとするとあの三分以内は容易い一方で欲深くない fact2: 仮にあの二υが利用し易くないかまたは豊満でないかもしくは両方ともであるとしたらあの三分以内は豊満でない fact3: もしあの三分以内が資金調達方法であるけど正直過ぎないならばあの石碑は欲深くない fact4: そのマグネシウム濃度は欲深くない fact5: なんらかのものは直接入力モードだとしたら「あの石碑は腐り易くないが緑表紙教科書である」ということは偽である fact6: もしそのマグネシウム濃度が容易くないならばあの三分以内は欲深いがしかし正直過ぎない fact7: もし仮にそのマグネシウム濃度が欲深くないとしたらあの三分以内は正直過ぎるがそれは容易くない fact8: もしあの三分以内は正直過ぎるしおまけに容易いとすると「あの石碑は資金調達方法でない」ということは成り立つ fact9: あの三分以内が正直過ぎないならあの石碑は資金調達方法だ一方で容易くない fact10: もしなんらかの物は資金調達方法でないとしたらそれは狭苦しいが欲深くない fact11: 仮に「とある物は豊満でない一方でそれは走り回る」ということは間違いであるとすればそれは走り回らない fact12: 「直接入力モードである」物はある fact13: もし「「腐り易くないけれど緑表紙教科書である」ということは成り立たない」ものはあるとすれば「あの三分以内は利用し易いということはない」ということは正しい fact14: もしもなんらかのものは利用し易くないならば「豊満だということはないし走り回る」ということは偽である fact15: あの三分以内は容易くない fact16: もしそのマグネシウム濃度が欲深くないとしたらあの三分以内は容易いということはない fact17: あの三分以内は走り回らないとすると「そのマグネシウム濃度は手緩いということはないけれど資金調達方法である」ということは偽である fact18: あの石碑は打ち易いが耐え切れるということはない fact19: あの三分以内が正直過ぎるけれど容易くないとするとあの石碑は資金調達方法だということはない fact20: あの二υは利用し易いということはないかもしくはそれは豊満でない
fact7 & fact4 -> int1: あの三分以内は正直過ぎるけれど容易くない; int1 & fact19 -> hypothesis;
その伝送は狭苦しいがそれは欲深くない
fact24 -> int2: もしもその伝送が資金調達方法でないとしたら狭苦しくてそれは欲深くない; fact21 -> int3: もしも「あの三分以内は豊満でないけれどそれは走り回る」ということは成り立たないとしたら「走り回る」ということは成り立たない; fact23 -> int4: 「もしもあの三分以内は利用し易くないとすると「あの三分以内は豊満でないがしかし走り回る」ということは成り立たない」ということは偽でない; fact26 & fact22 -> int5: 「あの石碑は腐り易くないけれど緑表紙教科書だ」ということは誤りである; int5 -> int6: 「「腐り易くないし緑表紙教科書である」ということは成り立たない」物はある; int6 & fact25 -> int7: あの三分以内は利用し易くない; int4 & int7 -> int8: 「あの三分以内は豊満でないがしかしそれは走り回る」ということは嘘である; int3 & int8 -> int9: あの三分以内は走り回らない; fact27 & int9 -> int10: 「そのマグネシウム濃度は手緩くない一方で資金調達方法だ」ということは成り立たない; int10 -> int11: 「「手緩くないがしかし資金調達方法だ」ということは事実でない」物はある;
$facts$ = fact1: そのマグネシウム濃度が正直過ぎないとするとあの三分以内は容易い一方で欲深くない fact2: 仮にあの二υが利用し易くないかまたは豊満でないかもしくは両方ともであるとしたらあの三分以内は豊満でない fact3: もしあの三分以内が資金調達方法であるけど正直過ぎないならばあの石碑は欲深くない fact4: そのマグネシウム濃度は欲深くない fact5: なんらかのものは直接入力モードだとしたら「あの石碑は腐り易くないが緑表紙教科書である」ということは偽である fact6: もしそのマグネシウム濃度が容易くないならばあの三分以内は欲深いがしかし正直過ぎない fact7: もし仮にそのマグネシウム濃度が欲深くないとしたらあの三分以内は正直過ぎるがそれは容易くない fact8: もしあの三分以内は正直過ぎるしおまけに容易いとすると「あの石碑は資金調達方法でない」ということは成り立つ fact9: あの三分以内が正直過ぎないならあの石碑は資金調達方法だ一方で容易くない fact10: もしなんらかの物は資金調達方法でないとしたらそれは狭苦しいが欲深くない fact11: 仮に「とある物は豊満でない一方でそれは走り回る」ということは間違いであるとすればそれは走り回らない fact12: 「直接入力モードである」物はある fact13: もし「「腐り易くないけれど緑表紙教科書である」ということは成り立たない」ものはあるとすれば「あの三分以内は利用し易いということはない」ということは正しい fact14: もしもなんらかのものは利用し易くないならば「豊満だということはないし走り回る」ということは偽である fact15: あの三分以内は容易くない fact16: もしそのマグネシウム濃度が欲深くないとしたらあの三分以内は容易いということはない fact17: あの三分以内は走り回らないとすると「そのマグネシウム濃度は手緩いということはないけれど資金調達方法である」ということは偽である fact18: あの石碑は打ち易いが耐え切れるということはない fact19: あの三分以内が正直過ぎるけれど容易くないとするとあの石碑は資金調達方法だということはない fact20: あの二υは利用し易いということはないかもしくはそれは豊満でない ; $hypothesis$ = あの石碑は資金調達方法である ; $proof$ = 
fact7 & fact4 -> int1: あの三分以内は正直過ぎるけれど容易くない; int1 & fact19 -> hypothesis; __DISPROVED__
事実1: そのマグネシウム濃度が正直過ぎないとするとあの三分以内は容易い一方で欲深くない
事実2: 仮にあの二υが利用し易くないかまたは豊満でないかもしくは両方ともであるとしたらあの三分以内は豊満でない
事実3: もしあの三分以内が資金調達方法であるけど正直過ぎないならばあの石碑は欲深くない
事実4: そのマグネシウム濃度は欲深くない
事実5: なんらかのものは直接入力モードだとしたら「あの石碑は腐り易くないが緑表紙教科書である」ということは偽である
事実6: もしそのマグネシウム濃度が容易くないならばあの三分以内は欲深いがしかし正直過ぎない
事実7: もし仮にそのマグネシウム濃度が欲深くないとしたらあの三分以内は正直過ぎるがそれは容易くない
事実8: もしあの三分以内は正直過ぎるしおまけに容易いとすると「あの石碑は資金調達方法でない」ということは成り立つ
事実9: あの三分以内が正直過ぎないならあの石碑は資金調達方法だ一方で容易くない
事実10: もしなんらかの物は資金調達方法でないとしたらそれは狭苦しいが欲深くない
事実11: 仮に「とある物は豊満でない一方でそれは走り回る」ということは間違いであるとすればそれは走り回らない
事実12: 「直接入力モードである」物はある
事実13: もし「「腐り易くないけれど緑表紙教科書である」ということは成り立たない」ものはあるとすれば「あの三分以内は利用し易いということはない」ということは正しい
事実14: もしもなんらかのものは利用し易くないならば「豊満だということはないし走り回る」ということは偽である
事実15: あの三分以内は容易くない
事実16: もしそのマグネシウム濃度が欲深くないとしたらあの三分以内は容易いということはない
事実17: あの三分以内は走り回らないとすると「そのマグネシウム濃度は手緩いということはないけれど資金調達方法である」ということは偽である
事実18: あの石碑は打ち易いが耐え切れるということはない
事実19: あの三分以内が正直過ぎるけれど容易くないとするとあの石碑は資金調達方法だということはない
事実20: あの二υは利用し易いということはないかもしくはそれは豊満でない

仮説: あの石碑は資金調達方法である
1. 事実7と事実4から、推論1: "あの三分以内は正直過ぎるけれど容易くない"が導かれる
2. 推論1と事実19から、仮説が否定される

よって、仮説が否定されました。