「その足並みは括れるかまたは抜去するということはないかまたは両方ともである」ということは誤っている
fact1: 仮になにがしかのものは承認図でないとすると「それは括れるかまたは抜去しない」ということは嘘である fact2: あの森林面積は承認図であるかまたは清いかもしくはどちらもだ fact3: 何らかのものが括れるとすればそれは抜去する fact4: 「「恨みがましいしさらに雲珠だ」ということは成り立つということはない」ものはある fact5: 「「表現しないしさらに承認図だ」ということは誤っている」物はある fact6: あの森林面積は甥であるかまたは用益物権でないかもしくは両方である fact7: あの森林面積は抜去する fact8: あの森林面積が承認図であるとするとその足並みは表現する fact9: 「「括れなくてまた承認図である」ということは偽である」ものはある fact10: もし仮に「何らかの物は抜去するし加えて括れる」ということは嘘であるとすれば「括れない」ということは成り立つ fact11: もしあの森林面積は刑具でないとすると「この在宅福祉サービスセンター事業が抜去するしその上括れる」ということは誤っている fact12: 仮になにがしかのものが表現すれば括れる fact13: 「仮に「恨みがましい」物があるとしたらあの森林面積は承認図だ」ということは事実だ fact14: あの森林面積は括れるかあるいは承認図でないかもしくはどちらもである fact15: 「恨みがましかないがしかし雲珠な」物はある fact16: 仮に「「「恨みがましいということはないがしかし雲珠である」ということは事実である」ということは事実と異なる」ものがあるならばあの森林面積は承認図である fact17: その足並みは承認図だ fact18: 「もし仮に「あの森林面積は刑具であるけどコンストラクタであるということはない」ということは成り立たないならばあの森林面積は刑具であるということはない」ということは成り立つ fact19: もしもその足並みはかおり風景でないとしたら「「あの森林面積は刑具だがコンストラクタでない」ということは事実だということはない」ということは正しい fact20: もし仮になにかは表現すれば抜去する fact21: その足並みは括れるかあるいは抜去するかもしくはどちらもである fact22: もしそのレスがコンストラクタであるなら表現するということはないし加えてそれは刑具である fact23: 「「恨みがましかないが雲珠だ」ということは誤っている」物はある
fact23 & fact16 -> int1: あの森林面積は承認図だ; int1 & fact8 -> int2: 「その足並みは表現するということはない」ということは間違いだ; fact12 -> int3: もしその足並みは表現するとすると「括れる」ということは本当である; int2 & int3 -> int4: 「その足並みは括れる」ということは確かだ; int4 -> hypothesis;
この在宅福祉サービスセンター事業は承認図である
fact26 -> int5: 「この在宅福祉サービスセンター事業は抜去するし更に括れる」ということは誤りであるならば「括れない」ということは確かである;
$facts$ = fact1: 仮になにがしかのものは承認図でないとすると「それは括れるかまたは抜去しない」ということは嘘である fact2: あの森林面積は承認図であるかまたは清いかもしくはどちらもだ fact3: 何らかのものが括れるとすればそれは抜去する fact4: 「「恨みがましいしさらに雲珠だ」ということは成り立つということはない」ものはある fact5: 「「表現しないしさらに承認図だ」ということは誤っている」物はある fact6: あの森林面積は甥であるかまたは用益物権でないかもしくは両方である fact7: あの森林面積は抜去する fact8: あの森林面積が承認図であるとするとその足並みは表現する fact9: 「「括れなくてまた承認図である」ということは偽である」ものはある fact10: もし仮に「何らかの物は抜去するし加えて括れる」ということは嘘であるとすれば「括れない」ということは成り立つ fact11: もしあの森林面積は刑具でないとすると「この在宅福祉サービスセンター事業が抜去するしその上括れる」ということは誤っている fact12: 仮になにがしかのものが表現すれば括れる fact13: 「仮に「恨みがましい」物があるとしたらあの森林面積は承認図だ」ということは事実だ fact14: あの森林面積は括れるかあるいは承認図でないかもしくはどちらもである fact15: 「恨みがましかないがしかし雲珠な」物はある fact16: 仮に「「「恨みがましいということはないがしかし雲珠である」ということは事実である」ということは事実と異なる」ものがあるならばあの森林面積は承認図である fact17: その足並みは承認図だ fact18: 「もし仮に「あの森林面積は刑具であるけどコンストラクタであるということはない」ということは成り立たないならばあの森林面積は刑具であるということはない」ということは成り立つ fact19: もしもその足並みはかおり風景でないとしたら「「あの森林面積は刑具だがコンストラクタでない」ということは事実だということはない」ということは正しい fact20: もし仮になにかは表現すれば抜去する fact21: その足並みは括れるかあるいは抜去するかもしくはどちらもである fact22: もしそのレスがコンストラクタであるなら表現するということはないし加えてそれは刑具である fact23: 「「恨みがましかないが雲珠だ」ということは誤っている」物はある ; $hypothesis$ = 「その足並みは括れるかまたは抜去するということはないかまたは両方ともである」ということは誤っている ; $proof$ = 
fact23 & fact16 -> int1: あの森林面積は承認図だ; int1 & fact8 -> int2: 「その足並みは表現するということはない」ということは間違いだ; fact12 -> int3: もしその足並みは表現するとすると「括れる」ということは本当である; int2 & int3 -> int4: 「その足並みは括れる」ということは確かだ; int4 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものは承認図でないとすると「それは括れるかまたは抜去しない」ということは嘘である
事実2: あの森林面積は承認図であるかまたは清いかもしくはどちらもだ
事実3: 何らかのものが括れるとすればそれは抜去する
事実4: 「「恨みがましいしさらに雲珠だ」ということは成り立つということはない」ものはある
事実5: 「「表現しないしさらに承認図だ」ということは誤っている」物はある
事実6: あの森林面積は甥であるかまたは用益物権でないかもしくは両方である
事実7: あの森林面積は抜去する
事実8: あの森林面積が承認図であるとするとその足並みは表現する
事実9: 「「括れなくてまた承認図である」ということは偽である」ものはある
事実10: もし仮に「何らかの物は抜去するし加えて括れる」ということは嘘であるとすれば「括れない」ということは成り立つ
事実11: もしあの森林面積は刑具でないとすると「この在宅福祉サービスセンター事業が抜去するしその上括れる」ということは誤っている
事実12: 仮になにがしかのものが表現すれば括れる
事実13: 「仮に「恨みがましい」物があるとしたらあの森林面積は承認図だ」ということは事実だ
事実14: あの森林面積は括れるかあるいは承認図でないかもしくはどちらもである
事実15: 「恨みがましかないがしかし雲珠な」物はある
事実16: 仮に「「「恨みがましいということはないがしかし雲珠である」ということは事実である」ということは事実と異なる」ものがあるならばあの森林面積は承認図である
事実17: その足並みは承認図だ
事実18: 「もし仮に「あの森林面積は刑具であるけどコンストラクタであるということはない」ということは成り立たないならばあの森林面積は刑具であるということはない」ということは成り立つ
事実19: もしもその足並みはかおり風景でないとしたら「「あの森林面積は刑具だがコンストラクタでない」ということは事実だということはない」ということは正しい
事実20: もし仮になにかは表現すれば抜去する
事実21: その足並みは括れるかあるいは抜去するかもしくはどちらもである
事実22: もしそのレスがコンストラクタであるなら表現するということはないし加えてそれは刑具である
事実23: 「「恨みがましかないが雲珠だ」ということは誤っている」物はある

仮説: 「その足並みは括れるかまたは抜去するということはないかまたは両方ともである」ということは誤っている
1. 事実23と事実16から、推論1: "あの森林面積は承認図だ"が導かれる
2. 推論1と事実8から、推論2: "「その足並みは表現するということはない」ということは間違いだ"が導かれる
3. 事実12から、推論3: "もしその足並みは表現するとすると「括れる」ということは本当である"が導かれる
4. 推論2と推論3から、推論4: "「その足並みは括れる」ということは確かだ"が導かれる
5. 推論4から、仮説が否定される

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