「「ネイティブらしくないし利用し易くない」物はある」ということは事実と異なる
fact1: もしこの工業試験場がめんど臭いということはないとするとあの外敵はネイティブらしくない fact2: この工業試験場は出来難くない fact3: 仮に「あの外敵は儲け話でないかあるいはネイティブらしくないか両方ともだ」ということは偽であるとすればこの工業試験場はネイティブらしくない fact4: あの外敵はネイティブらしくない fact5: もしもある物はネイティブらしいということはないとすると「広しないかまたは出来易いか両方ともだ」ということは成り立つということはない fact6: 「この工業試験場は出来難いしおまけに慌ただしい」ということは嘘である fact7: 「ある物は出来難くない一方で慌ただしい」ということは誤っているとしたらめんど臭くない fact8: この工業試験場がめんど臭くないとすればあの外敵はネイティブらしくないし加えて利用し易いということはない fact9: もしなにがしかの物が広しないなら利用し易いしそれはめんど臭い fact10: 「利用し易くない」ものはある fact11: この工業試験場は出来易いし広し fact12: もし仮にこの工業試験場が出来難いしまた慌ただしいとしたらそれは広しない fact13: もしもなんらかの物が出来難いならばそれはめんど臭くない fact14: もし「この工業試験場は広しないかあるいはそれは出来易い」ということは誤りであるとするとその建て前は広しない fact15: もし仮に「何かは行き交うがそれはピックアップ出来ない」ということは偽であるならば学都でない fact16: この工業試験場が出来難いとすればそれはめんど臭いということはない fact17: この工業試験場は出来易い fact18: 「ネイティブらしいししかも利用し易くない」ものはある fact19: もし何かは学都でないなら「「それは儲け話でないかネイティブらしくないかまたは両方である」ということは確かである」ということは嘘である fact20: 「ネイティブらしくない」ものはある fact21: あの外敵は広し fact22: なんらかのものはネイティブらしくないけど利用し易い fact23: 仮にこの工業試験場は出来難いということはないが慌ただしいなら「それは広しない」ということは事実だ
void -> assump1: 以下のように仮定する。この工業試験場は出来難くないが慌ただしい; fact23 & assump1 -> int1: この工業試験場は広しない; fact11 -> int2: この工業試験場は広し; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この工業試験場は出来難くないけれどそれは慌ただしい」ということは偽だ; fact7 -> int5: 仮に「この工業試験場は出来難くない一方で慌ただしい」ということは偽だとするとそれはめんど臭いということはない; int4 & int5 -> int6: この工業試験場はめんど臭いということはない; int6 & fact8 -> int7: あの外敵はネイティブらしくないしそれは利用し易くない; int7 -> hypothesis;
その建て前は利用し易い
fact24 -> int8: もし仮にその建て前が広しないとしたらそれは利用し易くてさらにめんど臭い; fact27 -> int9: もしこの工業試験場はネイティブらしくないならば「広しないか出来易いかもしくはどちらもだ」ということは事実と異なる; fact25 -> int10: もしもあの外敵は学都でないならば「儲け話でないかあるいはネイティブらしいということはないかあるいは両方ともだ」ということは誤りだ; fact26 -> int11: もしも「あの外敵は行き交う一方でピックアップ出来ない」ということは成り立たないとすればそれは学都でない;
$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$ = 
void -> assump1: 以下のように仮定する。この工業試験場は出来難くないが慌ただしい; fact23 & assump1 -> int1: この工業試験場は広しない; fact11 -> int2: この工業試験場は広し; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この工業試験場は出来難くないけれどそれは慌ただしい」ということは偽だ; fact7 -> int5: 仮に「この工業試験場は出来難くない一方で慌ただしい」ということは偽だとするとそれはめんど臭いということはない; int4 & int5 -> int6: この工業試験場はめんど臭いということはない; int6 & fact8 -> int7: あの外敵はネイティブらしくないしそれは利用し易くない; int7 -> 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. 仮定1: 以下のように仮定する。この工業試験場は出来難くないが慌ただしい
2. 事実23と仮定1から、推論1: "この工業試験場は広しない"が導かれる
3. 事実11から、推論2: "この工業試験場は広し"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この工業試験場は出来難くないけれどそれは慌ただしい」ということは偽だ"が導かれる
6. 事実7から、推論5: "仮に「この工業試験場は出来難くない一方で慌ただしい」ということは偽だとするとそれはめんど臭いということはない"が導かれる
7. 推論4と推論5から、推論6: "この工業試験場はめんど臭いということはない"が導かれる
8. 推論6と事実8から、推論7: "あの外敵はネイティブらしくないしそれは利用し易くない"が導かれる
9. 推論7から、仮説が否定される

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