「あの決め技は挨拶するしおまけに不足し易い」ということは偽である
fact1: なんらかのものが出土するとすればそれは経営行為でないかまたは各要素であるかもしくは両方ともだ fact2: 仮にその二千三年春が挙行しなくてその上それが出土しないならばあの決め技は出土する fact3: 「挙行しない」ものはあるとしたら「あの決め技は挨拶するし不足し易い」ということは事実でない fact4: 「この選好関係は老博士でない」ということは事実だ fact5: 仮にこの選好関係は挨拶すれば「あの譲り受け人は挨拶する」ということは事実である fact6: この追跡行が宣告するしその上習合する fact7: 仮にこの日本料理が不足し易いとすればその二千三年春は挙行しなくてその上出土しない fact8: もし仮にこの追跡行が経営行為でないか各要素であるかあるいは両方ともであるならばこの選好関係は挙行しない fact9: もしもこの追跡行が各要素であるとするとこの選好関係は挙行しない fact10: 仮にあの決め技が出土するならこの選好関係は挨拶する fact11: 「この追跡行はリバランシングだ」ということは成り立つ fact12: この追跡行は出土するしリバランシングである
fact1 -> int1: 仮にこの追跡行が出土するとすればそれは経営行為でないかもしくはそれは各要素である; fact12 -> int2: この追跡行は出土する; int1 & int2 -> int3: この追跡行は経営行為でないか各要素である; int3 & fact8 -> int4: この選好関係は挙行しない; int4 -> int5: 何らかのものは挙行しない; int5 & fact3 -> hypothesis;
あの譲り受け人は挨拶する
$facts$ = fact1: なんらかのものが出土するとすればそれは経営行為でないかまたは各要素であるかもしくは両方ともだ fact2: 仮にその二千三年春が挙行しなくてその上それが出土しないならばあの決め技は出土する fact3: 「挙行しない」ものはあるとしたら「あの決め技は挨拶するし不足し易い」ということは事実でない fact4: 「この選好関係は老博士でない」ということは事実だ fact5: 仮にこの選好関係は挨拶すれば「あの譲り受け人は挨拶する」ということは事実である fact6: この追跡行が宣告するしその上習合する fact7: 仮にこの日本料理が不足し易いとすればその二千三年春は挙行しなくてその上出土しない fact8: もし仮にこの追跡行が経営行為でないか各要素であるかあるいは両方ともであるならばこの選好関係は挙行しない fact9: もしもこの追跡行が各要素であるとするとこの選好関係は挙行しない fact10: 仮にあの決め技が出土するならこの選好関係は挨拶する fact11: 「この追跡行はリバランシングだ」ということは成り立つ fact12: この追跡行は出土するしリバランシングである ; $hypothesis$ = 「あの決め技は挨拶するしおまけに不足し易い」ということは偽である ; $proof$ = 
fact1 -> int1: 仮にこの追跡行が出土するとすればそれは経営行為でないかもしくはそれは各要素である; fact12 -> int2: この追跡行は出土する; int1 & int2 -> int3: この追跡行は経営行為でないか各要素である; int3 & fact8 -> int4: この選好関係は挙行しない; int4 -> int5: 何らかのものは挙行しない; int5 & fact3 -> hypothesis; __PROVED__
事実1: なんらかのものが出土するとすればそれは経営行為でないかまたは各要素であるかもしくは両方ともだ
事実2: 仮にその二千三年春が挙行しなくてその上それが出土しないならばあの決め技は出土する
事実3: 「挙行しない」ものはあるとしたら「あの決め技は挨拶するし不足し易い」ということは事実でない
事実4: 「この選好関係は老博士でない」ということは事実だ
事実5: 仮にこの選好関係は挨拶すれば「あの譲り受け人は挨拶する」ということは事実である
事実6: この追跡行が宣告するしその上習合する
事実7: 仮にこの日本料理が不足し易いとすればその二千三年春は挙行しなくてその上出土しない
事実8: もし仮にこの追跡行が経営行為でないか各要素であるかあるいは両方ともであるならばこの選好関係は挙行しない
事実9: もしもこの追跡行が各要素であるとするとこの選好関係は挙行しない
事実10: 仮にあの決め技が出土するならこの選好関係は挨拶する
事実11: 「この追跡行はリバランシングだ」ということは成り立つ
事実12: この追跡行は出土するしリバランシングである

仮説: 「あの決め技は挨拶するしおまけに不足し易い」ということは偽である
1. 事実1から、推論1: "仮にこの追跡行が出土するとすればそれは経営行為でないかもしくはそれは各要素である"が導かれる
2. 事実12から、推論2: "この追跡行は出土する"が導かれる
3. 推論1と推論2から、推論3: "この追跡行は経営行為でないか各要素である"が導かれる
4. 推論3と事実8から、推論4: "この選好関係は挙行しない"が導かれる
5. 推論4から、推論5: "何らかのものは挙行しない"が導かれる
6. 推論5と事実3から、仮説が導かれる

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