あのデータ通信は巨大化しない
fact1: もしも子供っぽい物は地中深いなら「それは女装しない」ということは成り立つ fact2: その足背は陶酔する fact3: 「子供っぽくない物は産地でないがしかしＱＣＤだ」ということは本当である fact4: もしも「人事関係でない」物があるならあのデータ通信は女装するかまたは巨大化する fact5: 仮に何らかのものが子供っぽいとすればそれは地中深いということはないしそれにそれはサファイアだ fact6: もし仮に抗い難くない物が取っ付き難いということはないならば人事関係だ fact7: 「とあるものは都知事選だということはない」ということは確かである fact8: もしもその足背が玄関先であるとするとこの過換気症候群は抗い難くないししかも取っ付き難くない fact9: 地中深くないものはサファイアであるとすれば巨大化しない fact10: 仮になにかは陶酔するとすれば玄関先である fact11: あのデータ通信は子供っぽいしそれは女装する fact12: 子供っぽいものは地中深くない fact13: 仮になにかは人事関係だということはないなら子供っぽいか女装するかまたは両方ともである fact14: 構え易い物は百六十九ページ参照だ fact15: あのデータ通信は専念しない fact16: もしその是非が粘り強いとするとこの過換気症候群は粘り強い fact17: もしこの過換気症候群が粘り強いし人事関係ならあのデータ通信は人事関係であるということはない fact18: もし「都知事選であるということはない」ものがあるとすればその是非は奴隷化する fact19: 百六十九ページ参照は粘り強い fact20: もしその是非が奴隷化するなら構え易い
fact5 -> int1: もしあのデータ通信が子供っぽいとしたらそれは地中深くないがサファイアである; fact11 -> int2: 「あのデータ通信は子供っぽい」ということは成り立つ; int1 & int2 -> int3: あのデータ通信は地中深くないけどそれはサファイアである; fact9 -> int4: もしも「あのデータ通信は地中深くない一方でサファイアだ」ということは本当だとしたらそれは巨大化するということはない; int3 & int4 -> hypothesis;
fact5 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact11 -> int2: {A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); fact9 -> int4: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int3 & int4 -> hypothesis;
あのデータ通信は産地だということはない一方でＱＣＤだ
fact21 -> int5: もしあのデータ通信が子供っぽくないとすると産地でないしＱＣＤである;
$facts$ = fact1: もしも子供っぽい物は地中深いなら「それは女装しない」ということは成り立つ fact2: その足背は陶酔する fact3: 「子供っぽくない物は産地でないがしかしＱＣＤだ」ということは本当である fact4: もしも「人事関係でない」物があるならあのデータ通信は女装するかまたは巨大化する fact5: 仮に何らかのものが子供っぽいとすればそれは地中深いということはないしそれにそれはサファイアだ fact6: もし仮に抗い難くない物が取っ付き難いということはないならば人事関係だ fact7: 「とあるものは都知事選だということはない」ということは確かである fact8: もしもその足背が玄関先であるとするとこの過換気症候群は抗い難くないししかも取っ付き難くない fact9: 地中深くないものはサファイアであるとすれば巨大化しない fact10: 仮になにかは陶酔するとすれば玄関先である fact11: あのデータ通信は子供っぽいしそれは女装する fact12: 子供っぽいものは地中深くない fact13: 仮になにかは人事関係だということはないなら子供っぽいか女装するかまたは両方ともである fact14: 構え易い物は百六十九ページ参照だ fact15: あのデータ通信は専念しない fact16: もしその是非が粘り強いとするとこの過換気症候群は粘り強い fact17: もしこの過換気症候群が粘り強いし人事関係ならあのデータ通信は人事関係であるということはない fact18: もし「都知事選であるということはない」ものがあるとすればその是非は奴隷化する fact19: 百六十九ページ参照は粘り強い fact20: もしその是非が奴隷化するなら構え易い ; $hypothesis$ = あのデータ通信は巨大化しない ; $proof$ = 
fact5 -> int1: もしあのデータ通信が子供っぽいとしたらそれは地中深くないがサファイアである; fact11 -> int2: 「あのデータ通信は子供っぽい」ということは成り立つ; int1 & int2 -> int3: あのデータ通信は地中深くないけどそれはサファイアである; fact9 -> int4: もしも「あのデータ通信は地中深くない一方でサファイアだ」ということは本当だとしたらそれは巨大化するということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしも子供っぽい物は地中深いなら「それは女装しない」ということは成り立つ
事実2: その足背は陶酔する
事実3: 「子供っぽくない物は産地でないがしかしＱＣＤだ」ということは本当である
事実4: もしも「人事関係でない」物があるならあのデータ通信は女装するかまたは巨大化する
事実5: 仮に何らかのものが子供っぽいとすればそれは地中深いということはないしそれにそれはサファイアだ
事実6: もし仮に抗い難くない物が取っ付き難いということはないならば人事関係だ
事実7: 「とあるものは都知事選だということはない」ということは確かである
事実8: もしもその足背が玄関先であるとするとこの過換気症候群は抗い難くないししかも取っ付き難くない
事実9: 地中深くないものはサファイアであるとすれば巨大化しない
事実10: 仮になにかは陶酔するとすれば玄関先である
事実11: あのデータ通信は子供っぽいしそれは女装する
事実12: 子供っぽいものは地中深くない
事実13: 仮になにかは人事関係だということはないなら子供っぽいか女装するかまたは両方ともである
事実14: 構え易い物は百六十九ページ参照だ
事実15: あのデータ通信は専念しない
事実16: もしその是非が粘り強いとするとこの過換気症候群は粘り強い
事実17: もしこの過換気症候群が粘り強いし人事関係ならあのデータ通信は人事関係であるということはない
事実18: もし「都知事選であるということはない」ものがあるとすればその是非は奴隷化する
事実19: 百六十九ページ参照は粘り強い
事実20: もしその是非が奴隷化するなら構え易い

仮説: あのデータ通信は巨大化しない
1. 事実5から、推論1: "もしあのデータ通信が子供っぽいとしたらそれは地中深くないがサファイアである"が導かれる
2. 事実11から、推論2: "「あのデータ通信は子供っぽい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あのデータ通信は地中深くないけどそれはサファイアである"が導かれる
4. 事実9から、推論4: "もしも「あのデータ通信は地中深くない一方でサファイアだ」ということは本当だとしたらそれは巨大化するということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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