「「説明し難い一方で育児サークルでない」物はある」ということは成り立たない
fact1: 説明し難くない物は刷り込む一方でアクセスし易くない fact2: 「敵中深いが糞食らえない」物はある fact3: あの接合体は育児サークルでない fact4: なにがしかのものは育児サークルでない fact5: 「説明し難い」物はある fact6: 「あの接合体は説明し難い」ということは誤っていない fact7: ある物は説明し難くてさらに育児サークルである fact8: 「暑いがしかし天使らしくない」物はある
fact6 & fact3 -> int1: あの接合体は説明し難いがしかしそれは育児サークルでない; int1 -> hypothesis;
あの接合体は刷り込むがしかしアクセスし易くない
fact9 -> int2: もしあの接合体は説明し難くないとすれば「刷り込む一方でアクセスし易くない」ということは真実である;
$facts$ = fact1: 説明し難くない物は刷り込む一方でアクセスし易くない fact2: 「敵中深いが糞食らえない」物はある fact3: あの接合体は育児サークルでない fact4: なにがしかのものは育児サークルでない fact5: 「説明し難い」物はある fact6: 「あの接合体は説明し難い」ということは誤っていない fact7: ある物は説明し難くてさらに育児サークルである fact8: 「暑いがしかし天使らしくない」物はある ; $hypothesis$ = 「「説明し難い一方で育児サークルでない」物はある」ということは成り立たない ; $proof$ = 
fact6 & fact3 -> int1: あの接合体は説明し難いがしかしそれは育児サークルでない; int1 -> hypothesis; __DISPROVED__
事実1: 説明し難くない物は刷り込む一方でアクセスし易くない
事実2: 「敵中深いが糞食らえない」物はある
事実3: あの接合体は育児サークルでない
事実4: なにがしかのものは育児サークルでない
事実5: 「説明し難い」物はある
事実6: 「あの接合体は説明し難い」ということは誤っていない
事実7: ある物は説明し難くてさらに育児サークルである
事実8: 「暑いがしかし天使らしくない」物はある

仮説: 「「説明し難い一方で育児サークルでない」物はある」ということは成り立たない
1. 事実6と事実3から、推論1: "あの接合体は説明し難いがしかしそれは育児サークルでない"が導かれる
2. 推論1から、仮説が否定される

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