「その奥付は乗り易くなくて集まり易くない」ということは成り立たない
fact1: 「その奥付は乗り易くないけれど集まり易い」ということは誤りである fact2: もしもあの旧工場は集まり易くないとすると「その奥付は乗り易くなくてまた集まり易くない」ということは間違いである fact3: 仮に「「人懐っこくないし回答出来ない」ということは偽である」物があるならあの旧工場は集まり易くない fact4: 「「人懐っこくないけど回答出来る」ということは誤っている」ものはある fact5: 「「その奥付は乗り易いが集まり易くない」ということは事実と異なる」ということは確かだ fact6: 「回答出来る」物があるとすればあの旧工場は集まり易いということはない fact7: 「もし仮に「あの旧工場は集まり易いということはない」ということは成り立つとすると「その奥付は乗り易くないけど集まり易い」ということは成り立たない」ということは成り立つ fact8: 「あの任意事業は紛らわしい」ということは成り立つ fact9: もしあの任意事業は紛らわしいとすると「その千九百四十四年末は人懐っこくないけど回答出来る」ということは成り立つということはない fact10: あの任意事業は紛らわしいとすれば「その千九百四十四年末は人懐っこくないし回答出来ない」ということは嘘だ
fact10 & fact8 -> int1: 「その千九百四十四年末は人懐っこいということはなくて更に回答出来ない」ということは間違いである; int1 -> int2: 「「人懐っこくないしそれに回答出来るということはない」ということは間違っている」物はある; int2 & fact3 -> int3: あの旧工場は集まり易くない; int3 & fact2 -> hypothesis;
$facts$ = fact1: 「その奥付は乗り易くないけれど集まり易い」ということは誤りである fact2: もしもあの旧工場は集まり易くないとすると「その奥付は乗り易くなくてまた集まり易くない」ということは間違いである fact3: 仮に「「人懐っこくないし回答出来ない」ということは偽である」物があるならあの旧工場は集まり易くない fact4: 「「人懐っこくないけど回答出来る」ということは誤っている」ものはある fact5: 「「その奥付は乗り易いが集まり易くない」ということは事実と異なる」ということは確かだ fact6: 「回答出来る」物があるとすればあの旧工場は集まり易いということはない fact7: 「もし仮に「あの旧工場は集まり易いということはない」ということは成り立つとすると「その奥付は乗り易くないけど集まり易い」ということは成り立たない」ということは成り立つ fact8: 「あの任意事業は紛らわしい」ということは成り立つ fact9: もしあの任意事業は紛らわしいとすると「その千九百四十四年末は人懐っこくないけど回答出来る」ということは成り立つということはない fact10: あの任意事業は紛らわしいとすれば「その千九百四十四年末は人懐っこくないし回答出来ない」ということは嘘だ ; $hypothesis$ = 「その奥付は乗り易くなくて集まり易くない」ということは成り立たない ; $proof$ = 
fact10 & fact8 -> int1: 「その千九百四十四年末は人懐っこいということはなくて更に回答出来ない」ということは間違いである; int1 -> int2: 「「人懐っこくないしそれに回答出来るということはない」ということは間違っている」物はある; int2 & fact3 -> int3: あの旧工場は集まり易くない; int3 & fact2 -> hypothesis; __PROVED__
事実1: 「その奥付は乗り易くないけれど集まり易い」ということは誤りである
事実2: もしもあの旧工場は集まり易くないとすると「その奥付は乗り易くなくてまた集まり易くない」ということは間違いである
事実3: 仮に「「人懐っこくないし回答出来ない」ということは偽である」物があるならあの旧工場は集まり易くない
事実4: 「「人懐っこくないけど回答出来る」ということは誤っている」ものはある
事実5: 「「その奥付は乗り易いが集まり易くない」ということは事実と異なる」ということは確かだ
事実6: 「回答出来る」物があるとすればあの旧工場は集まり易いということはない
事実7: 「もし仮に「あの旧工場は集まり易いということはない」ということは成り立つとすると「その奥付は乗り易くないけど集まり易い」ということは成り立たない」ということは成り立つ
事実8: 「あの任意事業は紛らわしい」ということは成り立つ
事実9: もしあの任意事業は紛らわしいとすると「その千九百四十四年末は人懐っこくないけど回答出来る」ということは成り立つということはない
事実10: あの任意事業は紛らわしいとすれば「その千九百四十四年末は人懐っこくないし回答出来ない」ということは嘘だ

仮説: 「その奥付は乗り易くなくて集まり易くない」ということは成り立たない
1. 事実10と事実8から、推論1: "「その千九百四十四年末は人懐っこいということはなくて更に回答出来ない」ということは間違いである"が導かれる
2. 推論1から、推論2: "「「人懐っこくないしそれに回答出来るということはない」ということは間違っている」物はある"が導かれる
3. 推論2と事実3から、推論3: "あの旧工場は集まり易くない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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