「あの細胞内外は投書しない」ということは成り立つ
fact1: もしもそのホームマネジメントが仕付けるとしたら浪岡城である fact2: 「すべてのものは与え得る」ということは成り立つ fact3: 掴み易いものは与え得るということはない fact4: 「何かは度し難くないけど掴み易い」ということは事実と異なるとしたら掴み易くない fact5: もし「あの細胞内外は掴み易くなくてかつ特許出願しない」ということは成り立たないなら「それは掴み易い」ということは確かだ fact6: 「そのホームマネジメントは大人っぽいけどそれは仕付けない」ということは嘘だ fact7: 「あの細胞内外は仕付けるが投書しない」ということは真実でない fact8: 「そのホームマネジメントは大人っぽいし仕付ける」ということは誤りだ fact9: もし仮にとある物が与え得ないとすれば投書しない一方で浪岡城だ fact10: 「そのホームマネジメントは大人っぽいけど仕付けない」ということは偽であるなら浪岡城だ fact11: あの細胞内外は大人っぽいとすれば「そのホームマネジメントは投書する」ということは成り立つ fact12: もしもそのホームマネジメントが浪岡城ならばあの細胞内外は投書する fact13: もし「あの細胞内外は仕付けるけれどそれは投書するということはない」ということは成り立つということはないならば大人っぽい
fact10 & fact6 -> int1: そのホームマネジメントは浪岡城である; int1 & fact12 -> hypothesis;
fact10 & fact6 -> int1: {B}{a}; int1 & fact12 -> hypothesis;
あの細胞内外は投書しない
fact14 -> int2: もしもあの細胞内外が与え得ないとしたらそれは投書しないしまたそれは浪岡城だ; fact15 -> int3: もしあの細胞内外が掴み易いなら与え得ない;
$facts$ = fact1: もしもそのホームマネジメントが仕付けるとしたら浪岡城である fact2: 「すべてのものは与え得る」ということは成り立つ fact3: 掴み易いものは与え得るということはない fact4: 「何かは度し難くないけど掴み易い」ということは事実と異なるとしたら掴み易くない fact5: もし「あの細胞内外は掴み易くなくてかつ特許出願しない」ということは成り立たないなら「それは掴み易い」ということは確かだ fact6: 「そのホームマネジメントは大人っぽいけどそれは仕付けない」ということは嘘だ fact7: 「あの細胞内外は仕付けるが投書しない」ということは真実でない fact8: 「そのホームマネジメントは大人っぽいし仕付ける」ということは誤りだ fact9: もし仮にとある物が与え得ないとすれば投書しない一方で浪岡城だ fact10: 「そのホームマネジメントは大人っぽいけど仕付けない」ということは偽であるなら浪岡城だ fact11: あの細胞内外は大人っぽいとすれば「そのホームマネジメントは投書する」ということは成り立つ fact12: もしもそのホームマネジメントが浪岡城ならばあの細胞内外は投書する fact13: もし「あの細胞内外は仕付けるけれどそれは投書するということはない」ということは成り立つということはないならば大人っぽい ; $hypothesis$ = 「あの細胞内外は投書しない」ということは成り立つ ; $proof$ = 
fact10 & fact6 -> int1: そのホームマネジメントは浪岡城である; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもそのホームマネジメントが仕付けるとしたら浪岡城である
事実2: 「すべてのものは与え得る」ということは成り立つ
事実3: 掴み易いものは与え得るということはない
事実4: 「何かは度し難くないけど掴み易い」ということは事実と異なるとしたら掴み易くない
事実5: もし「あの細胞内外は掴み易くなくてかつ特許出願しない」ということは成り立たないなら「それは掴み易い」ということは確かだ
事実6: 「そのホームマネジメントは大人っぽいけどそれは仕付けない」ということは嘘だ
事実7: 「あの細胞内外は仕付けるが投書しない」ということは真実でない
事実8: 「そのホームマネジメントは大人っぽいし仕付ける」ということは誤りだ
事実9: もし仮にとある物が与え得ないとすれば投書しない一方で浪岡城だ
事実10: 「そのホームマネジメントは大人っぽいけど仕付けない」ということは偽であるなら浪岡城だ
事実11: あの細胞内外は大人っぽいとすれば「そのホームマネジメントは投書する」ということは成り立つ
事実12: もしもそのホームマネジメントが浪岡城ならばあの細胞内外は投書する
事実13: もし「あの細胞内外は仕付けるけれどそれは投書するということはない」ということは成り立つということはないならば大人っぽい

仮説: 「あの細胞内外は投書しない」ということは成り立つ
1. 事実10と事実6から、推論1: "そのホームマネジメントは浪岡城である"が導かれる
2. 推論1と事実12から、仮説が否定される

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