「「剥離し難くないし真新しくない」ということは本当でない」物はある
fact1: 「この土地管理局は移せなくてしかもそれは下ろし易くない」ということは偽だ fact2: 「「カナールであるし加えて真新しくない」ということは間違っている」物はある fact3: 「「剥離し難くないが真新しい」ということは成り立たない」物はある fact4: 「「比定するが経営統合しない」ということは誤っている」ものはある fact5: なんらかのものは剥離し難くないししかも真新しくない fact6: もしこの婚はカナールだとすると「この閉鎖空間は剥離し難くないけれど真新しい」ということは成り立たない fact7: もしこの閉鎖空間は剥離し難いならば「この婚は真新しくなくて加えてそれはカナールでない」ということは成り立つということはない fact8: 何かはカナールでないとしたら「御ちびさんでないしそれにそれは忘れっぽくない」ということは成り立たない fact9: 「「ふやける一方で捏ね回すということはない」ということは事実と異なる」ものはある fact10: 「この閉鎖空間は剥離し難いがカナールでない」ということは間違っている fact11: 仮に「この婚はカナールだ」ということは成り立つとしたら「この閉鎖空間は剥離し難くないし更に真新しいということはない」ということは嘘である fact12: 「「この閉鎖空間は物知りであるがしかし面映ゆかない」ということは間違いでない」ということは誤りである fact13: もしもこの婚は真新しいなら「「この閉鎖空間は剥離し難くないしカナールでない」ということは偽だ」ということは嘘であるということはない fact14: この婚はカナールだ fact15: 「あの笑い男事件は忘れ為さらないけど真新しい」ということは成り立たない fact16: 「この婚はカナールでないがそれは剥離し難い」ということは本当でない
fact11 & fact14 -> int1: 「この閉鎖空間は剥離し難くないしまた真新しくない」ということは偽である; int1 -> hypothesis;
fact11 & fact14 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
「「御ちびさんでなくて加えて忘れっぽくない」ということは成り立たない」ものはある
fact17 -> int2: もしこの婚はカナールでないならば「御ちびさんでなくておまけに忘れっぽくない」ということは真実でない;
$facts$ = fact1: 「この土地管理局は移せなくてしかもそれは下ろし易くない」ということは偽だ fact2: 「「カナールであるし加えて真新しくない」ということは間違っている」物はある fact3: 「「剥離し難くないが真新しい」ということは成り立たない」物はある fact4: 「「比定するが経営統合しない」ということは誤っている」ものはある fact5: なんらかのものは剥離し難くないししかも真新しくない fact6: もしこの婚はカナールだとすると「この閉鎖空間は剥離し難くないけれど真新しい」ということは成り立たない fact7: もしこの閉鎖空間は剥離し難いならば「この婚は真新しくなくて加えてそれはカナールでない」ということは成り立つということはない fact8: 何かはカナールでないとしたら「御ちびさんでないしそれにそれは忘れっぽくない」ということは成り立たない fact9: 「「ふやける一方で捏ね回すということはない」ということは事実と異なる」ものはある fact10: 「この閉鎖空間は剥離し難いがカナールでない」ということは間違っている fact11: 仮に「この婚はカナールだ」ということは成り立つとしたら「この閉鎖空間は剥離し難くないし更に真新しいということはない」ということは嘘である fact12: 「「この閉鎖空間は物知りであるがしかし面映ゆかない」ということは間違いでない」ということは誤りである fact13: もしもこの婚は真新しいなら「「この閉鎖空間は剥離し難くないしカナールでない」ということは偽だ」ということは嘘であるということはない fact14: この婚はカナールだ fact15: 「あの笑い男事件は忘れ為さらないけど真新しい」ということは成り立たない fact16: 「この婚はカナールでないがそれは剥離し難い」ということは本当でない ; $hypothesis$ = 「「剥離し難くないし真新しくない」ということは本当でない」物はある ; $proof$ = 
fact11 & fact14 -> int1: 「この閉鎖空間は剥離し難くないしまた真新しくない」ということは偽である; int1 -> hypothesis; __PROVED__
事実1: 「この土地管理局は移せなくてしかもそれは下ろし易くない」ということは偽だ
事実2: 「「カナールであるし加えて真新しくない」ということは間違っている」物はある
事実3: 「「剥離し難くないが真新しい」ということは成り立たない」物はある
事実4: 「「比定するが経営統合しない」ということは誤っている」ものはある
事実5: なんらかのものは剥離し難くないししかも真新しくない
事実6: もしこの婚はカナールだとすると「この閉鎖空間は剥離し難くないけれど真新しい」ということは成り立たない
事実7: もしこの閉鎖空間は剥離し難いならば「この婚は真新しくなくて加えてそれはカナールでない」ということは成り立つということはない
事実8: 何かはカナールでないとしたら「御ちびさんでないしそれにそれは忘れっぽくない」ということは成り立たない
事実9: 「「ふやける一方で捏ね回すということはない」ということは事実と異なる」ものはある
事実10: 「この閉鎖空間は剥離し難いがカナールでない」ということは間違っている
事実11: 仮に「この婚はカナールだ」ということは成り立つとしたら「この閉鎖空間は剥離し難くないし更に真新しいということはない」ということは嘘である
事実12: 「「この閉鎖空間は物知りであるがしかし面映ゆかない」ということは間違いでない」ということは誤りである
事実13: もしもこの婚は真新しいなら「「この閉鎖空間は剥離し難くないしカナールでない」ということは偽だ」ということは嘘であるということはない
事実14: この婚はカナールだ
事実15: 「あの笑い男事件は忘れ為さらないけど真新しい」ということは成り立たない
事実16: 「この婚はカナールでないがそれは剥離し難い」ということは本当でない

仮説: 「「剥離し難くないし真新しくない」ということは本当でない」物はある
1. 事実11と事実14から、推論1: "「この閉鎖空間は剥離し難くないしまた真新しくない」ということは偽である"が導かれる
2. 推論1から、仮説が導かれる

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