「「入り切れないし更に抜け易くない」ものはある」ということは間違っている
fact1: あの下津井は正しということはない fact2: あの下津井は入り切れるということはない fact3: 仮になにかは登記事項要約書でないとしたら「それは入り切れる」ということは成り立たない fact4: もし「その短波放送は記号化する一方で手取り平均賃金でない」ということは誤りであるとしたらそれは記号化しない fact5: 「「あの下津井は激賞するけれど断定し難くない」ということは誤りだ」ということは確かだ fact6: 何かは入り切れる一方で抜け易くない fact7: あの下津井は日本漫画でない fact8: もしもあの下津井は登記事項要約書でないならばそれは入り切れない fact9: もし仮になんらかのものが一括するということはないとすれば程遠くなくて加えて十九世紀後半だということはない fact10: 「あの下津井は麗しいということはないしかつ策定するということはない」ということは成り立つ fact11: なにかは欲張らなくてしかも装着するということはない fact12: もしも「あの下津井は登記事項要約書であるけれどそれは振り分けない」ということは間違いだとすると「登記事項要約書でない」ということは確かだ fact13: なにがしかのものは入り切れない fact14: あの下津井は中性化速度でないし勝ち易くない fact15: もしも「何らかのものは登記事項要約書でない」ということは成り立つとするとそれは入り切れないしまた抜け易いということはない fact16: 「抜け易くない」ものはある fact17: 「あの下津井は登記事項要約書だけれど振り分けない」ということは事実と異なる fact18: 登記事項要約書は十九世紀後半でないし加えて取り出し易くない fact19: 「入り切れなくてまた抜け易い」物はある fact20: もし仮にこの黒木軍が根気強いということはないならばそれは取れ易くないしそれは抜け易くない fact21: あの下津井は美しいということはない
fact15 -> int1: もしもあの下津井は登記事項要約書でないならば入り切れないしさらに抜け易くない; fact12 & fact17 -> int2: あの下津井は登記事項要約書でない; int1 & int2 -> int3: あの下津井は入り切れるということはないし更にそれは抜け易くない; int3 -> hypothesis;
fact15 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact12 & fact17 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis;
「「十九世紀後半でないしそれに取り出し易くない」ということは確かな」ものはある
fact22 -> int4: もし仮に「あの中堅・中小企業は登記事項要約書である」ということは本当であるならそれは十九世紀後半でなくて取り出し易いということはない;
$facts$ = fact1: あの下津井は正しということはない fact2: あの下津井は入り切れるということはない fact3: 仮になにかは登記事項要約書でないとしたら「それは入り切れる」ということは成り立たない fact4: もし「その短波放送は記号化する一方で手取り平均賃金でない」ということは誤りであるとしたらそれは記号化しない fact5: 「「あの下津井は激賞するけれど断定し難くない」ということは誤りだ」ということは確かだ fact6: 何かは入り切れる一方で抜け易くない fact7: あの下津井は日本漫画でない fact8: もしもあの下津井は登記事項要約書でないならばそれは入り切れない fact9: もし仮になんらかのものが一括するということはないとすれば程遠くなくて加えて十九世紀後半だということはない fact10: 「あの下津井は麗しいということはないしかつ策定するということはない」ということは成り立つ fact11: なにかは欲張らなくてしかも装着するということはない fact12: もしも「あの下津井は登記事項要約書であるけれどそれは振り分けない」ということは間違いだとすると「登記事項要約書でない」ということは確かだ fact13: なにがしかのものは入り切れない fact14: あの下津井は中性化速度でないし勝ち易くない fact15: もしも「何らかのものは登記事項要約書でない」ということは成り立つとするとそれは入り切れないしまた抜け易いということはない fact16: 「抜け易くない」ものはある fact17: 「あの下津井は登記事項要約書だけれど振り分けない」ということは事実と異なる fact18: 登記事項要約書は十九世紀後半でないし加えて取り出し易くない fact19: 「入り切れなくてまた抜け易い」物はある fact20: もし仮にこの黒木軍が根気強いということはないならばそれは取れ易くないしそれは抜け易くない fact21: あの下津井は美しいということはない ; $hypothesis$ = 「「入り切れないし更に抜け易くない」ものはある」ということは間違っている ; $proof$ = 
fact15 -> int1: もしもあの下津井は登記事項要約書でないならば入り切れないしさらに抜け易くない; fact12 & fact17 -> int2: あの下津井は登記事項要約書でない; int1 & int2 -> int3: あの下津井は入り切れるということはないし更にそれは抜け易くない; int3 -> hypothesis; __DISPROVED__
事実1: あの下津井は正しということはない
事実2: あの下津井は入り切れるということはない
事実3: 仮になにかは登記事項要約書でないとしたら「それは入り切れる」ということは成り立たない
事実4: もし「その短波放送は記号化する一方で手取り平均賃金でない」ということは誤りであるとしたらそれは記号化しない
事実5: 「「あの下津井は激賞するけれど断定し難くない」ということは誤りだ」ということは確かだ
事実6: 何かは入り切れる一方で抜け易くない
事実7: あの下津井は日本漫画でない
事実8: もしもあの下津井は登記事項要約書でないならばそれは入り切れない
事実9: もし仮になんらかのものが一括するということはないとすれば程遠くなくて加えて十九世紀後半だということはない
事実10: 「あの下津井は麗しいということはないしかつ策定するということはない」ということは成り立つ
事実11: なにかは欲張らなくてしかも装着するということはない
事実12: もしも「あの下津井は登記事項要約書であるけれどそれは振り分けない」ということは間違いだとすると「登記事項要約書でない」ということは確かだ
事実13: なにがしかのものは入り切れない
事実14: あの下津井は中性化速度でないし勝ち易くない
事実15: もしも「何らかのものは登記事項要約書でない」ということは成り立つとするとそれは入り切れないしまた抜け易いということはない
事実16: 「抜け易くない」ものはある
事実17: 「あの下津井は登記事項要約書だけれど振り分けない」ということは事実と異なる
事実18: 登記事項要約書は十九世紀後半でないし加えて取り出し易くない
事実19: 「入り切れなくてまた抜け易い」物はある
事実20: もし仮にこの黒木軍が根気強いということはないならばそれは取れ易くないしそれは抜け易くない
事実21: あの下津井は美しいということはない

仮説: 「「入り切れないし更に抜け易くない」ものはある」ということは間違っている
1. 事実15から、推論1: "もしもあの下津井は登記事項要約書でないならば入り切れないしさらに抜け易くない"が導かれる
2. 事実12と事実17から、推論2: "あの下津井は登記事項要約書でない"が導かれる
3. 推論1と推論2から、推論3: "あの下津井は入り切れるということはないし更にそれは抜け易くない"が導かれる
4. 推論3から、仮説が否定される

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