そのアスレティシズムは低くない
fact1: もし仮に「挙式するし出し合う」ものがあるならばあの烏堂は取っ付き易くない fact2: この広範囲は挙式する fact3: 仮にそのアスレティシズムが出し合わないならこの広範囲は出し合うしさらに取っ付き易い fact4: 「挙式する」物はある fact5: そのアスレティシズムは取っ付き易い fact6: 「その大文字は出し合う」ということは成り立つ fact7: この広範囲は取っ付き易いしかつそれは百七十五便である fact8: なんらかのものが挙式するとするとそれは低くない fact9: 「この広範囲は出し合う」ということは成り立つ fact10: この烏堂が取っ付き易くないならばそのアスレティシズムは取っ付き易くて低い
fact2 & fact9 -> int1: この広範囲は挙式するし更に出し合う; int1 -> int2: 「挙式するし出し合う」ものはある; int2 & fact1 -> int3: この烏堂は取っ付き易くない; int3 & fact10 -> int4: そのアスレティシズムは取っ付き易いししかも低い; int4 -> hypothesis;
そのアスレティシズムは低いということはない
fact11 -> int5: そのアスレティシズムが挙式するとすると低くない;
$facts$ = fact1: もし仮に「挙式するし出し合う」ものがあるならばあの烏堂は取っ付き易くない fact2: この広範囲は挙式する fact3: 仮にそのアスレティシズムが出し合わないならこの広範囲は出し合うしさらに取っ付き易い fact4: 「挙式する」物はある fact5: そのアスレティシズムは取っ付き易い fact6: 「その大文字は出し合う」ということは成り立つ fact7: この広範囲は取っ付き易いしかつそれは百七十五便である fact8: なんらかのものが挙式するとするとそれは低くない fact9: 「この広範囲は出し合う」ということは成り立つ fact10: この烏堂が取っ付き易くないならばそのアスレティシズムは取っ付き易くて低い ; $hypothesis$ = そのアスレティシズムは低くない ; $proof$ = 
fact2 & fact9 -> int1: この広範囲は挙式するし更に出し合う; int1 -> int2: 「挙式するし出し合う」ものはある; int2 & fact1 -> int3: この烏堂は取っ付き易くない; int3 & fact10 -> int4: そのアスレティシズムは取っ付き易いししかも低い; int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「挙式するし出し合う」ものがあるならばあの烏堂は取っ付き易くない
事実2: この広範囲は挙式する
事実3: 仮にそのアスレティシズムが出し合わないならこの広範囲は出し合うしさらに取っ付き易い
事実4: 「挙式する」物はある
事実5: そのアスレティシズムは取っ付き易い
事実6: 「その大文字は出し合う」ということは成り立つ
事実7: この広範囲は取っ付き易いしかつそれは百七十五便である
事実8: なんらかのものが挙式するとするとそれは低くない
事実9: 「この広範囲は出し合う」ということは成り立つ
事実10: この烏堂が取っ付き易くないならばそのアスレティシズムは取っ付き易くて低い

仮説: そのアスレティシズムは低くない
1. 事実2と事実9から、推論1: "この広範囲は挙式するし更に出し合う"が導かれる
2. 推論1から、推論2: "「挙式するし出し合う」ものはある"が導かれる
3. 推論2と事実1から、推論3: "この烏堂は取っ付き易くない"が導かれる
4. 推論3と事実10から、推論4: "そのアスレティシズムは取っ付き易いししかも低い"が導かれる
5. 推論4から、仮説が否定される

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