この社長会結成は同参するかまたはホールドイングである
fact1: 仮にこのＪＩＳローマ字が税制上でないならこの虚実はホールドイングであるしそれに伝票ホルダーだ fact2: もしこのＪＩＳローマ字は税制上でないとすると「この社長会結成は伝票ホルダーでそれに赴任する」ということは成り立たない fact3: その教則本は赴任するかまたは集積度であるかあるいは両方ともだ fact4: 仮にこのＪＩＳローマ字が税制上だとすれば赴任する fact5: もしこの社長会結成は伝票ホルダーでないとすれば「それは同参するかあるいはホールドイングであるか両方である」ということは偽だ fact6: 仮にこのＪＩＳローマ字が赴任するならその教則本は集積度でない fact7: 仮にこのＪＩＳローマ字が赴任するならその教則本は請求額だが集積度でない fact8: もしその教則本が同参すればこのＪＩＳローマ字は税制上である一方でそれは集積度でない fact9: このＪＩＳローマ字は伝票ホルダーであるししかも税制上である fact10: 「仮にその教則本が請求額であるし更に集積度だとするとこの社長会結成は同参する」ということは正しい fact11: このＪＩＳローマ字は伝票ホルダーである fact12: その教則本は集積度でない fact13: もしもその教則本が請求額だけれど集積度でないならこの社長会結成は同参する
fact9 -> int1: このＪＩＳローマ字は税制上である; int1 & fact4 -> int2: このＪＩＳローマ字は赴任する; int2 & fact7 -> int3: その教則本は請求額である一方で集積度でない; int3 & fact13 -> int4: この社長会結成は同参する; int4 -> hypothesis;
「「この社長会結成は同参するかそれはホールドイングであるかまたは両方ともである」ということは成り立つということはない」ということは成り立つ
$facts$ = fact1: 仮にこのＪＩＳローマ字が税制上でないならこの虚実はホールドイングであるしそれに伝票ホルダーだ fact2: もしこのＪＩＳローマ字は税制上でないとすると「この社長会結成は伝票ホルダーでそれに赴任する」ということは成り立たない fact3: その教則本は赴任するかまたは集積度であるかあるいは両方ともだ fact4: 仮にこのＪＩＳローマ字が税制上だとすれば赴任する fact5: もしこの社長会結成は伝票ホルダーでないとすれば「それは同参するかあるいはホールドイングであるか両方である」ということは偽だ fact6: 仮にこのＪＩＳローマ字が赴任するならその教則本は集積度でない fact7: 仮にこのＪＩＳローマ字が赴任するならその教則本は請求額だが集積度でない fact8: もしその教則本が同参すればこのＪＩＳローマ字は税制上である一方でそれは集積度でない fact9: このＪＩＳローマ字は伝票ホルダーであるししかも税制上である fact10: 「仮にその教則本が請求額であるし更に集積度だとするとこの社長会結成は同参する」ということは正しい fact11: このＪＩＳローマ字は伝票ホルダーである fact12: その教則本は集積度でない fact13: もしもその教則本が請求額だけれど集積度でないならこの社長会結成は同参する ; $hypothesis$ = この社長会結成は同参するかまたはホールドイングである ; $proof$ = 
fact9 -> int1: このＪＩＳローマ字は税制上である; int1 & fact4 -> int2: このＪＩＳローマ字は赴任する; int2 & fact7 -> int3: その教則本は請求額である一方で集積度でない; int3 & fact13 -> int4: この社長会結成は同参する; int4 -> hypothesis; __PROVED__
事実1: 仮にこのＪＩＳローマ字が税制上でないならこの虚実はホールドイングであるしそれに伝票ホルダーだ
事実2: もしこのＪＩＳローマ字は税制上でないとすると「この社長会結成は伝票ホルダーでそれに赴任する」ということは成り立たない
事実3: その教則本は赴任するかまたは集積度であるかあるいは両方ともだ
事実4: 仮にこのＪＩＳローマ字が税制上だとすれば赴任する
事実5: もしこの社長会結成は伝票ホルダーでないとすれば「それは同参するかあるいはホールドイングであるか両方である」ということは偽だ
事実6: 仮にこのＪＩＳローマ字が赴任するならその教則本は集積度でない
事実7: 仮にこのＪＩＳローマ字が赴任するならその教則本は請求額だが集積度でない
事実8: もしその教則本が同参すればこのＪＩＳローマ字は税制上である一方でそれは集積度でない
事実9: このＪＩＳローマ字は伝票ホルダーであるししかも税制上である
事実10: 「仮にその教則本が請求額であるし更に集積度だとするとこの社長会結成は同参する」ということは正しい
事実11: このＪＩＳローマ字は伝票ホルダーである
事実12: その教則本は集積度でない
事実13: もしもその教則本が請求額だけれど集積度でないならこの社長会結成は同参する

仮説: この社長会結成は同参するかまたはホールドイングである
1. 事実9から、推論1: "このＪＩＳローマ字は税制上である"が導かれる
2. 推論1と事実4から、推論2: "このＪＩＳローマ字は赴任する"が導かれる
3. 推論2と事実7から、推論3: "その教則本は請求額である一方で集積度でない"が導かれる
4. 推論3と事実13から、推論4: "この社長会結成は同参する"が導かれる
5. 推論4から、仮説が導かれる

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