「「「活用すらない一方で歓迎す」ということは本当である」ということは成り立つということはない」物はある
fact1: 仮に「何らかの物は侵入し易くて縮れる」ということは誤っているとすれば「侵入し易いということはない」ということは本当である fact2: もしなにかは侵入し易いということはないとすると「「オープン・エリアでないしそれは標識化する」ということは確かである」ということは事実と異なる fact3: 「そのベル研究所は活用すししかもそれは侵入し易い」ということは嘘である fact4: 「「歓迎すということはないし更に侵入し易い」ということは成り立たない」物はある fact5: 「そのベル研究所は侵入し易くておまけにそれは活用す」ということは成り立たない fact6: もしもそのベル研究所は侵入し易いならば「そのオーナー自らは歓迎すしおまけに活用す」ということは嘘だ fact7: もし「そのベル研究所は侵入し易い」ということは間違いでないならば「そのオーナー自らは活用すらないがしかし歓迎す」ということは真実でない fact8: 「そのベル研究所は歓迎すらないけれど侵入し易い」ということは事実と異なる fact9: 「「侵入し易いしその上歓迎す」ということは正しくない」ものはある fact10: なにかは活用すらない一方でそれは侵入し易い fact11: 仮にそのオーナー自らは侵入し易いとすると「そのベル研究所は活用すらない一方で歓迎す」ということは成り立たない fact12: もしそのオーナー自らは活用すとしたら「そのベル研究所は歓迎すしおまけにそれは侵入し易い」ということは成り立たない fact13: 「侵入し易くないしおまけに歓迎す」ものはある fact14: 「順位付けないけどクランプする」ものはある fact15: そのオーナー自らは侵入し易い fact16: 「そのオーナー自らは歓迎すらないけれどそれは侵入し易い」ということは成り立たない fact17: 「そのオーナー自らは侵入し易くないけれど活用す」ということは誤っている
fact11 & fact15 -> int1: 「そのベル研究所は活用すということはないがしかし歓迎す」ということは誤りだ; int1 -> hypothesis;
fact11 & fact15 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
「「オープン・エリアでなくておまけに標識化する」ということは成り立たない」ものはある
fact18 -> int2: もし仮にそのオーナー自らは侵入し易くないならば「それはオープン・エリアでないけれど標識化する」ということは嘘である; fact19 -> int3: 「そのオーナー自らは侵入し易いしおまけに縮れる」ということは事実と異なるとすると侵入し易くない;
$facts$ = fact1: 仮に「何らかの物は侵入し易くて縮れる」ということは誤っているとすれば「侵入し易いということはない」ということは本当である fact2: もしなにかは侵入し易いということはないとすると「「オープン・エリアでないしそれは標識化する」ということは確かである」ということは事実と異なる fact3: 「そのベル研究所は活用すししかもそれは侵入し易い」ということは嘘である fact4: 「「歓迎すということはないし更に侵入し易い」ということは成り立たない」物はある fact5: 「そのベル研究所は侵入し易くておまけにそれは活用す」ということは成り立たない fact6: もしもそのベル研究所は侵入し易いならば「そのオーナー自らは歓迎すしおまけに活用す」ということは嘘だ fact7: もし「そのベル研究所は侵入し易い」ということは間違いでないならば「そのオーナー自らは活用すらないがしかし歓迎す」ということは真実でない fact8: 「そのベル研究所は歓迎すらないけれど侵入し易い」ということは事実と異なる fact9: 「「侵入し易いしその上歓迎す」ということは正しくない」ものはある fact10: なにかは活用すらない一方でそれは侵入し易い fact11: 仮にそのオーナー自らは侵入し易いとすると「そのベル研究所は活用すらない一方で歓迎す」ということは成り立たない fact12: もしそのオーナー自らは活用すとしたら「そのベル研究所は歓迎すしおまけにそれは侵入し易い」ということは成り立たない fact13: 「侵入し易くないしおまけに歓迎す」ものはある fact14: 「順位付けないけどクランプする」ものはある fact15: そのオーナー自らは侵入し易い fact16: 「そのオーナー自らは歓迎すらないけれどそれは侵入し易い」ということは成り立たない fact17: 「そのオーナー自らは侵入し易くないけれど活用す」ということは誤っている ; $hypothesis$ = 「「「活用すらない一方で歓迎す」ということは本当である」ということは成り立つということはない」物はある ; $proof$ = 
fact11 & fact15 -> int1: 「そのベル研究所は活用すということはないがしかし歓迎す」ということは誤りだ; int1 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は侵入し易くて縮れる」ということは誤っているとすれば「侵入し易いということはない」ということは本当である
事実2: もしなにかは侵入し易いということはないとすると「「オープン・エリアでないしそれは標識化する」ということは確かである」ということは事実と異なる
事実3: 「そのベル研究所は活用すししかもそれは侵入し易い」ということは嘘である
事実4: 「「歓迎すということはないし更に侵入し易い」ということは成り立たない」物はある
事実5: 「そのベル研究所は侵入し易くておまけにそれは活用す」ということは成り立たない
事実6: もしもそのベル研究所は侵入し易いならば「そのオーナー自らは歓迎すしおまけに活用す」ということは嘘だ
事実7: もし「そのベル研究所は侵入し易い」ということは間違いでないならば「そのオーナー自らは活用すらないがしかし歓迎す」ということは真実でない
事実8: 「そのベル研究所は歓迎すらないけれど侵入し易い」ということは事実と異なる
事実9: 「「侵入し易いしその上歓迎す」ということは正しくない」ものはある
事実10: なにかは活用すらない一方でそれは侵入し易い
事実11: 仮にそのオーナー自らは侵入し易いとすると「そのベル研究所は活用すらない一方で歓迎す」ということは成り立たない
事実12: もしそのオーナー自らは活用すとしたら「そのベル研究所は歓迎すしおまけにそれは侵入し易い」ということは成り立たない
事実13: 「侵入し易くないしおまけに歓迎す」ものはある
事実14: 「順位付けないけどクランプする」ものはある
事実15: そのオーナー自らは侵入し易い
事実16: 「そのオーナー自らは歓迎すらないけれどそれは侵入し易い」ということは成り立たない
事実17: 「そのオーナー自らは侵入し易くないけれど活用す」ということは誤っている

仮説: 「「「活用すらない一方で歓迎す」ということは本当である」ということは成り立つということはない」物はある
1. 事実11と事実15から、推論1: "「そのベル研究所は活用すということはないがしかし歓迎す」ということは誤りだ"が導かれる
2. 推論1から、仮説が導かれる

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