「この大字は本村であるかもしくはそれは至る」ということは誤っている
fact1: この条約法会議が監視し易いならこの大字は監視し易くない fact2: 「あるものは追認であるしまた間違え易い」ということは事実と異なるとしたら「それは追認でない」ということは本当である fact3: この大字は監視し易くない fact4: もしこの抽選会が間違え易いとしたらこの条約法会議は監視し易い fact5: 「この条約法会議は監視し易いかそれは至るかもしくは両方だ」ということは本当である fact6: その和文体は読み易い fact7: その水鏡は追認であるかそれは監視し易いかもしくはどちらもである fact8: 「この抽選会は格好悪くてそれに間違え易い」ということは成り立たない fact9: もしも「この抽選会は格好悪いがしかし間違え易くない」ということは成り立たないならばこの条約法会議は監視し易い fact10: もし「追認である」物はあるなら「この抽選会は格好悪いけれど間違え易くない」ということは成り立たない fact11: 「その水鏡は追認でない」ということは誤っている fact12: その賞品は監視し易い fact13: もしもこの条約法会議が監視し易いとしたらこの大字は本村であるけど監視し易いということはない fact14: 仮になにがしかのものは追認だとすると「この抽選会は格好悪くて間違え易い」ということは嘘だ
fact11 -> int1: なにがしかのものは追認だ; int1 & fact10 -> int2: 「この抽選会は格好悪い一方で間違え易くない」ということは成り立たない; int2 & fact9 -> int3: この条約法会議は監視し易い; int3 & fact13 -> int4: この大字は本村だが監視し易くない; int4 -> int5: この大字は本村だ; int5 -> hypothesis;
「この大字は本村であるかもしくはそれは至るかあるいはどちらもである」ということは成り立たない
fact15 -> int6: 「この大字は追認であるしまた間違え易い」ということは成り立たないならばそれは追認でない;
$facts$ = fact1: この条約法会議が監視し易いならこの大字は監視し易くない fact2: 「あるものは追認であるしまた間違え易い」ということは事実と異なるとしたら「それは追認でない」ということは本当である fact3: この大字は監視し易くない fact4: もしこの抽選会が間違え易いとしたらこの条約法会議は監視し易い fact5: 「この条約法会議は監視し易いかそれは至るかもしくは両方だ」ということは本当である fact6: その和文体は読み易い fact7: その水鏡は追認であるかそれは監視し易いかもしくはどちらもである fact8: 「この抽選会は格好悪くてそれに間違え易い」ということは成り立たない fact9: もしも「この抽選会は格好悪いがしかし間違え易くない」ということは成り立たないならばこの条約法会議は監視し易い fact10: もし「追認である」物はあるなら「この抽選会は格好悪いけれど間違え易くない」ということは成り立たない fact11: 「その水鏡は追認でない」ということは誤っている fact12: その賞品は監視し易い fact13: もしもこの条約法会議が監視し易いとしたらこの大字は本村であるけど監視し易いということはない fact14: 仮になにがしかのものは追認だとすると「この抽選会は格好悪くて間違え易い」ということは嘘だ ; $hypothesis$ = 「この大字は本村であるかもしくはそれは至る」ということは誤っている ; $proof$ = 
fact11 -> int1: なにがしかのものは追認だ; int1 & fact10 -> int2: 「この抽選会は格好悪い一方で間違え易くない」ということは成り立たない; int2 & fact9 -> int3: この条約法会議は監視し易い; int3 & fact13 -> int4: この大字は本村だが監視し易くない; int4 -> int5: この大字は本村だ; int5 -> hypothesis; __DISPROVED__
事実1: この条約法会議が監視し易いならこの大字は監視し易くない
事実2: 「あるものは追認であるしまた間違え易い」ということは事実と異なるとしたら「それは追認でない」ということは本当である
事実3: この大字は監視し易くない
事実4: もしこの抽選会が間違え易いとしたらこの条約法会議は監視し易い
事実5: 「この条約法会議は監視し易いかそれは至るかもしくは両方だ」ということは本当である
事実6: その和文体は読み易い
事実7: その水鏡は追認であるかそれは監視し易いかもしくはどちらもである
事実8: 「この抽選会は格好悪くてそれに間違え易い」ということは成り立たない
事実9: もしも「この抽選会は格好悪いがしかし間違え易くない」ということは成り立たないならばこの条約法会議は監視し易い
事実10: もし「追認である」物はあるなら「この抽選会は格好悪いけれど間違え易くない」ということは成り立たない
事実11: 「その水鏡は追認でない」ということは誤っている
事実12: その賞品は監視し易い
事実13: もしもこの条約法会議が監視し易いとしたらこの大字は本村であるけど監視し易いということはない
事実14: 仮になにがしかのものは追認だとすると「この抽選会は格好悪くて間違え易い」ということは嘘だ

仮説: 「この大字は本村であるかもしくはそれは至る」ということは誤っている
1. 事実11から、推論1: "なにがしかのものは追認だ"が導かれる
2. 推論1と事実10から、推論2: "「この抽選会は格好悪い一方で間違え易くない」ということは成り立たない"が導かれる
3. 推論2と事実9から、推論3: "この条約法会議は監視し易い"が導かれる
4. 推論3と事実13から、推論4: "この大字は本村だが監視し易くない"が導かれる
5. 推論4から、推論5: "この大字は本村だ"が導かれる
6. 推論5から、仮説が否定される

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