その有意性は拡大・縮小しない
fact1: そのバリカタンは筆者であるししかも親しみ易い fact2: 仮になにがしかのものが長男Ａだとしたら拡大・縮小する fact3: そのバリカタンは拡大・縮小する fact4: 「この中核問題は集会場だ」ということは本当だ fact5: 仮にその知能以外が落ち易くないならその有意性は長男Ａだ fact6: その有意性は長男Ａであるかまたは下人達である fact7: もしこの営業税は刷新しないならば「その知能以外は下人達でないがしかしそれは落ち易い」ということは誤りだ fact8: もしも「なにがしかの物は影響するがまわない」ということは成り立たないとすれば影響しない fact9: そのバリカタンは下人達だ fact10: もし仮にそのバリカタンが落ち易くないとするとその知能以外は刷新するかあるいはそれは落ち易くない fact11: 仮にそのバリカタンはまうしさらに下人達であるとすればそれは落ち易くない fact12: その知能以外は長男Ａである fact13: もし仮に何かは影響しないならばそれは長男Ａであるか集会場でない fact14: もし仮にその知能以外が刷新するとしたらその有意性は長男Ａだ fact15: その知能以外が影響しないとするとそのバリカタンは影響しない fact16: その有意性は下人達だ fact17: もしもそのバリカタンが長男Ａであるかもしくは集会場でないかもしくは両方ともであるとすればこの中核問題は長男Ａでない fact18: もしもとあるものが集会場であるかそれは影響するかまたは両方だとすると「そのバリカタンはまう」ということは成り立つ
fact4 -> int1: この中核問題は集会場であるかもしくは影響する; int1 -> int2: あるものは集会場であるか影響するかもしくは両方だ; int2 & fact18 -> int3: 「そのバリカタンはまう」ということは真実だ; int3 & fact9 -> int4: そのバリカタンはまうし更に下人達だ; int4 & fact11 -> int5: そのバリカタンは落ち易くない; int5 & fact10 -> int6: その知能以外は刷新するかあるいはそれは落ち易くないかどちらもだ; int6 & fact14 & fact5 -> int7: その有意性は長男Ａだ; fact2 -> int8: もしもその有意性は長男Ａだとすると「それは拡大・縮小する」ということは成り立つ; int7 & int8 -> hypothesis;
この中核問題は長男Ａでない
fact23 -> int9: 仮にそのバリカタンは影響しないなら「それは長男Ａであるかあるいは集会場でない」ということは確かだ; fact21 -> int10: 「その知能以外は影響するけどそれはまわない」ということは成り立たないならば「それは影響しない」ということは正しい;
$facts$ = fact1: そのバリカタンは筆者であるししかも親しみ易い fact2: 仮になにがしかのものが長男Ａだとしたら拡大・縮小する fact3: そのバリカタンは拡大・縮小する fact4: 「この中核問題は集会場だ」ということは本当だ fact5: 仮にその知能以外が落ち易くないならその有意性は長男Ａだ fact6: その有意性は長男Ａであるかまたは下人達である fact7: もしこの営業税は刷新しないならば「その知能以外は下人達でないがしかしそれは落ち易い」ということは誤りだ fact8: もしも「なにがしかの物は影響するがまわない」ということは成り立たないとすれば影響しない fact9: そのバリカタンは下人達だ fact10: もし仮にそのバリカタンが落ち易くないとするとその知能以外は刷新するかあるいはそれは落ち易くない fact11: 仮にそのバリカタンはまうしさらに下人達であるとすればそれは落ち易くない fact12: その知能以外は長男Ａである fact13: もし仮に何かは影響しないならばそれは長男Ａであるか集会場でない fact14: もし仮にその知能以外が刷新するとしたらその有意性は長男Ａだ fact15: その知能以外が影響しないとするとそのバリカタンは影響しない fact16: その有意性は下人達だ fact17: もしもそのバリカタンが長男Ａであるかもしくは集会場でないかもしくは両方ともであるとすればこの中核問題は長男Ａでない fact18: もしもとあるものが集会場であるかそれは影響するかまたは両方だとすると「そのバリカタンはまう」ということは成り立つ ; $hypothesis$ = その有意性は拡大・縮小しない ; $proof$ = 
fact4 -> int1: この中核問題は集会場であるかもしくは影響する; int1 -> int2: あるものは集会場であるか影響するかもしくは両方だ; int2 & fact18 -> int3: 「そのバリカタンはまう」ということは真実だ; int3 & fact9 -> int4: そのバリカタンはまうし更に下人達だ; int4 & fact11 -> int5: そのバリカタンは落ち易くない; int5 & fact10 -> int6: その知能以外は刷新するかあるいはそれは落ち易くないかどちらもだ; int6 & fact14 & fact5 -> int7: その有意性は長男Ａだ; fact2 -> int8: もしもその有意性は長男Ａだとすると「それは拡大・縮小する」ということは成り立つ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: そのバリカタンは筆者であるししかも親しみ易い
事実2: 仮になにがしかのものが長男Ａだとしたら拡大・縮小する
事実3: そのバリカタンは拡大・縮小する
事実4: 「この中核問題は集会場だ」ということは本当だ
事実5: 仮にその知能以外が落ち易くないならその有意性は長男Ａだ
事実6: その有意性は長男Ａであるかまたは下人達である
事実7: もしこの営業税は刷新しないならば「その知能以外は下人達でないがしかしそれは落ち易い」ということは誤りだ
事実8: もしも「なにがしかの物は影響するがまわない」ということは成り立たないとすれば影響しない
事実9: そのバリカタンは下人達だ
事実10: もし仮にそのバリカタンが落ち易くないとするとその知能以外は刷新するかあるいはそれは落ち易くない
事実11: 仮にそのバリカタンはまうしさらに下人達であるとすればそれは落ち易くない
事実12: その知能以外は長男Ａである
事実13: もし仮に何かは影響しないならばそれは長男Ａであるか集会場でない
事実14: もし仮にその知能以外が刷新するとしたらその有意性は長男Ａだ
事実15: その知能以外が影響しないとするとそのバリカタンは影響しない
事実16: その有意性は下人達だ
事実17: もしもそのバリカタンが長男Ａであるかもしくは集会場でないかもしくは両方ともであるとすればこの中核問題は長男Ａでない
事実18: もしもとあるものが集会場であるかそれは影響するかまたは両方だとすると「そのバリカタンはまう」ということは成り立つ

仮説: その有意性は拡大・縮小しない
1. 事実4から、推論1: "この中核問題は集会場であるかもしくは影響する"が導かれる
2. 推論1から、推論2: "あるものは集会場であるか影響するかもしくは両方だ"が導かれる
3. 推論2と事実18から、推論3: "「そのバリカタンはまう」ということは真実だ"が導かれる
4. 推論3と事実9から、推論4: "そのバリカタンはまうし更に下人達だ"が導かれる
5. 推論4と事実11から、推論5: "そのバリカタンは落ち易くない"が導かれる
6. 推論5と事実10から、推論6: "その知能以外は刷新するかあるいはそれは落ち易くないかどちらもだ"が導かれる
7. 推論6と事実14と事実5から、推論7: "その有意性は長男Ａだ"が導かれる
8. 事実2から、推論8: "もしもその有意性は長男Ａだとすると「それは拡大・縮小する」ということは成り立つ"が導かれる
9. 推論7と推論8から、仮説が否定される

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