あの採掘予定数量は肖像である
fact1: 仮にあの大コレクションが木馬道ならばあの公衆トイレは轆轤だ fact2: ある物が独立すればそれは一般電源でなくて加えて転び易いということはない fact3: もし仮になにかは一般電源でなくてしかも転び易くないとすれば木馬道だ fact4: もし仮になにかは轆轤でないがしかし木馬道であるとしたらあの採掘予定数量は肖像でない fact5: あの耳はナビゲートしないがしかしそれは圧排する fact6: あの耳は木馬道である fact7: あの耳は轆轤でないがしかし木馬道だ fact8: 「「木馬道である」ということは嘘でない」ものはある fact9: その発声発語器官検査ははしたないとすると「この店長さんは独立する」ということは成り立つ fact10: ある物は轆轤でおまけに木馬道だ fact11: もしも「この店長さんは木馬道だ」ということは本当だとすると「あの大コレクションは木馬道だ」ということは確かだ fact12: 仮にこの公衆トイレが轆轤だとするとあの採掘予定数量は肖像だ
fact7 -> int1: あるものは轆轤でないがしかし木馬道だ; int1 & fact4 -> hypothesis;
あの採掘予定数量は肖像だ
fact15 -> int2: もし「この店長さんは一般電源でないしさらに転び易くない」ということは間違いでないならそれは木馬道だ; fact13 -> int3: もし仮にこの店長さんが独立するとしたら一般電源でなくてその上それは転び易くない;
$facts$ = fact1: 仮にあの大コレクションが木馬道ならばあの公衆トイレは轆轤だ fact2: ある物が独立すればそれは一般電源でなくて加えて転び易いということはない fact3: もし仮になにかは一般電源でなくてしかも転び易くないとすれば木馬道だ fact4: もし仮になにかは轆轤でないがしかし木馬道であるとしたらあの採掘予定数量は肖像でない fact5: あの耳はナビゲートしないがしかしそれは圧排する fact6: あの耳は木馬道である fact7: あの耳は轆轤でないがしかし木馬道だ fact8: 「「木馬道である」ということは嘘でない」ものはある fact9: その発声発語器官検査ははしたないとすると「この店長さんは独立する」ということは成り立つ fact10: ある物は轆轤でおまけに木馬道だ fact11: もしも「この店長さんは木馬道だ」ということは本当だとすると「あの大コレクションは木馬道だ」ということは確かだ fact12: 仮にこの公衆トイレが轆轤だとするとあの採掘予定数量は肖像だ ; $hypothesis$ = あの採掘予定数量は肖像である ; $proof$ = 
fact7 -> int1: あるものは轆轤でないがしかし木馬道だ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にあの大コレクションが木馬道ならばあの公衆トイレは轆轤だ
事実2: ある物が独立すればそれは一般電源でなくて加えて転び易いということはない
事実3: もし仮になにかは一般電源でなくてしかも転び易くないとすれば木馬道だ
事実4: もし仮になにかは轆轤でないがしかし木馬道であるとしたらあの採掘予定数量は肖像でない
事実5: あの耳はナビゲートしないがしかしそれは圧排する
事実6: あの耳は木馬道である
事実7: あの耳は轆轤でないがしかし木馬道だ
事実8: 「「木馬道である」ということは嘘でない」ものはある
事実9: その発声発語器官検査ははしたないとすると「この店長さんは独立する」ということは成り立つ
事実10: ある物は轆轤でおまけに木馬道だ
事実11: もしも「この店長さんは木馬道だ」ということは本当だとすると「あの大コレクションは木馬道だ」ということは確かだ
事実12: 仮にこの公衆トイレが轆轤だとするとあの採掘予定数量は肖像だ

仮説: あの採掘予定数量は肖像である
1. 事実7から、推論1: "あるものは轆轤でないがしかし木馬道だ"が導かれる
2. 推論1と事実4から、仮説が否定される

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