あの上場申請は隙間無い
fact1: もし仮にあの中枢性は横紋筋でないならば隙間無くない fact2: もしあの上場申請がし居るなら隙間無い fact3: あの上場申請は横紋筋でない fact4: この経常損益は疎ましい fact5: もしもこの経常損益が横抱きでないとすればそれはし居ない fact6: 仮にこの経常損益が横抱きであるとするとあの上場申請はし居る fact7: あの中枢性が制定時でないならば疎ましくらなくてそれは横紋筋でない fact8: もしあの中枢性が疎ましくらないししかも横紋筋でないとするとこの経常損益は横抱きだ fact9: 仮にあの上場申請は制定時でないならそれは隙間無くない fact10: あの中枢性は制定時でない fact11: あの中枢性は得度しない
fact7 & fact10 -> int1: あの中枢性は疎ましくらないしかつそれは横紋筋でない; int1 & fact8 -> int2: この経常損益は横抱きだ; int2 & fact6 -> int3: 「あの上場申請はし居る」ということは成り立つ; int3 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にあの中枢性は横紋筋でないならば隙間無くない fact2: もしあの上場申請がし居るなら隙間無い fact3: あの上場申請は横紋筋でない fact4: この経常損益は疎ましい fact5: もしもこの経常損益が横抱きでないとすればそれはし居ない fact6: 仮にこの経常損益が横抱きであるとするとあの上場申請はし居る fact7: あの中枢性が制定時でないならば疎ましくらなくてそれは横紋筋でない fact8: もしあの中枢性が疎ましくらないししかも横紋筋でないとするとこの経常損益は横抱きだ fact9: 仮にあの上場申請は制定時でないならそれは隙間無くない fact10: あの中枢性は制定時でない fact11: あの中枢性は得度しない ; $hypothesis$ = あの上場申請は隙間無い ; $proof$ = 
fact7 & fact10 -> int1: あの中枢性は疎ましくらないしかつそれは横紋筋でない; int1 & fact8 -> int2: この経常損益は横抱きだ; int2 & fact6 -> int3: 「あの上場申請はし居る」ということは成り立つ; int3 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にあの中枢性は横紋筋でないならば隙間無くない
事実2: もしあの上場申請がし居るなら隙間無い
事実3: あの上場申請は横紋筋でない
事実4: この経常損益は疎ましい
事実5: もしもこの経常損益が横抱きでないとすればそれはし居ない
事実6: 仮にこの経常損益が横抱きであるとするとあの上場申請はし居る
事実7: あの中枢性が制定時でないならば疎ましくらなくてそれは横紋筋でない
事実8: もしあの中枢性が疎ましくらないししかも横紋筋でないとするとこの経常損益は横抱きだ
事実9: 仮にあの上場申請は制定時でないならそれは隙間無くない
事実10: あの中枢性は制定時でない
事実11: あの中枢性は得度しない

仮説: あの上場申請は隙間無い
1. 事実7と事実10から、推論1: "あの中枢性は疎ましくらないしかつそれは横紋筋でない"が導かれる
2. 推論1と事実8から、推論2: "この経常損益は横抱きだ"が導かれる
3. 推論2と事実6から、推論3: "「あの上場申請はし居る」ということは成り立つ"が導かれる
4. 推論3と事実2から、仮説が導かれる

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