あの上目はコートしない
fact1: もし仮にその当該事情は根本気分であるならばそれは直送する fact2: 「その基本座標は創業する」ということは確かならば「あの上目は特殊建築物だ」ということは成り立つ fact3: もし仮にこの金属製がわりないとすればあの上目は刺々しかないが歩き難い fact4: もし「強制しない」物はあるとすれば「その当該事情はコートしないけれど特殊建築物だ」ということは間違いだ fact5: 「もしもなにがしかのものは特殊建築物であるならばコートする」ということは成り立つ fact6: もしも刺々しかない物は歩き難いなら「その基本座標は強制しない」ということは正しい fact7: この金属製はわりない fact8: あの図面作成は直送する fact9: もし仮に何かは創業しないならば根本気分であるしさらに直送する fact10: もしもその当該事情が直送するとすればその基本座標は創業する fact11: その当該事情は根本気分だ
fact1 & fact11 -> int1: その当該事情は直送する; int1 & fact10 -> int2: その基本座標は創業する; int2 & fact2 -> int3: 「あの上目は特殊建築物である」ということは正しい; fact5 -> int4: もしもあの上目が特殊建築物ならそれはコートする; int3 & int4 -> hypothesis;
この社命は根本気分だ
fact14 -> int5: 「この社命が創業しないとしたらこの社命は根本気分であるしそれにそれは直送する」ということは成り立つ; fact16 & fact15 -> int6: あの上目は刺々しかないけれど歩き難い; int6 -> int7: 「刺々しかないけれど歩き難い」ものはある; int7 & fact13 -> int8: その基本座標は強制しない; int8 -> int9: 「強制しない」物はある; int9 & fact12 -> int10: 「その当該事情はコートするということはないがしかし特殊建築物だ」ということは成り立たない; int10 -> int11: 「「コートしないけど特殊建築物だ」ということは誤っている」ものはある;
$facts$ = fact1: もし仮にその当該事情は根本気分であるならばそれは直送する fact2: 「その基本座標は創業する」ということは確かならば「あの上目は特殊建築物だ」ということは成り立つ fact3: もし仮にこの金属製がわりないとすればあの上目は刺々しかないが歩き難い fact4: もし「強制しない」物はあるとすれば「その当該事情はコートしないけれど特殊建築物だ」ということは間違いだ fact5: 「もしもなにがしかのものは特殊建築物であるならばコートする」ということは成り立つ fact6: もしも刺々しかない物は歩き難いなら「その基本座標は強制しない」ということは正しい fact7: この金属製はわりない fact8: あの図面作成は直送する fact9: もし仮に何かは創業しないならば根本気分であるしさらに直送する fact10: もしもその当該事情が直送するとすればその基本座標は創業する fact11: その当該事情は根本気分だ ; $hypothesis$ = あの上目はコートしない ; $proof$ = 
fact1 & fact11 -> int1: その当該事情は直送する; int1 & fact10 -> int2: その基本座標は創業する; int2 & fact2 -> int3: 「あの上目は特殊建築物である」ということは正しい; fact5 -> int4: もしもあの上目が特殊建築物ならそれはコートする; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその当該事情は根本気分であるならばそれは直送する
事実2: 「その基本座標は創業する」ということは確かならば「あの上目は特殊建築物だ」ということは成り立つ
事実3: もし仮にこの金属製がわりないとすればあの上目は刺々しかないが歩き難い
事実4: もし「強制しない」物はあるとすれば「その当該事情はコートしないけれど特殊建築物だ」ということは間違いだ
事実5: 「もしもなにがしかのものは特殊建築物であるならばコートする」ということは成り立つ
事実6: もしも刺々しかない物は歩き難いなら「その基本座標は強制しない」ということは正しい
事実7: この金属製はわりない
事実8: あの図面作成は直送する
事実9: もし仮に何かは創業しないならば根本気分であるしさらに直送する
事実10: もしもその当該事情が直送するとすればその基本座標は創業する
事実11: その当該事情は根本気分だ

仮説: あの上目はコートしない
1. 事実1と事実11から、推論1: "その当該事情は直送する"が導かれる
2. 推論1と事実10から、推論2: "その基本座標は創業する"が導かれる
3. 推論2と事実2から、推論3: "「あの上目は特殊建築物である」ということは正しい"が導かれる
4. 事実5から、推論4: "もしもあの上目が特殊建築物ならそれはコートする"が導かれる
5. 推論3と推論4から、仮説が否定される

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