「「伴い易いかまたは東京圏である」物はある」ということは確かでない
fact1: 「その九以前は樹園地である」ということは事実だ fact2: 仮に「とあるものは掛け難くないしさらに悔いるということはない」ということは事実と異なるとすればそれは悔いる fact3: もし仮にとある物が悔いるとすると忘れ易くないかあるいは東京圏であるか両方ともだ fact4: その西欧化は狂乱するか東京圏である fact5: 「酒井家であるか懐こい」ものはある fact6: その十五冊は解読出来るか伴い易いかまたは両方ともである fact7: もし仮に「何らかのものは忘れ易くないかあるいはそれは東京圏である」ということは成り立つとすると「それは伴い易い」ということは成り立つ fact8: その十五冊は東京圏だ fact9: あのコンパクトサイズは伴い易いかまたは聞き入れるかまたは両方だ fact10: もしこの肝機能は懐こいとすると「その十五冊は掛け難いということはなくておまけに悔いない」ということは成り立たない
fact8 -> int1: その十五冊は伴い易いかもしくはそれは東京圏であるか両方ともだ; int1 -> hypothesis;
その十五冊は伴い易いかもしくは掛け易い
fact12 -> int2: もしもその十五冊が忘れ易いということはないかまたは東京圏であるかまたは両方ともであるとすると伴い易い; fact11 -> int3: もし仮にその十五冊が悔いるならそれは忘れ易くないかもしくは東京圏であるか両方だ; fact13 -> int4: もし仮に「その十五冊は掛け難いということはないし更に悔いない」ということは偽なら悔いる;
$facts$ = fact1: 「その九以前は樹園地である」ということは事実だ fact2: 仮に「とあるものは掛け難くないしさらに悔いるということはない」ということは事実と異なるとすればそれは悔いる fact3: もし仮にとある物が悔いるとすると忘れ易くないかあるいは東京圏であるか両方ともだ fact4: その西欧化は狂乱するか東京圏である fact5: 「酒井家であるか懐こい」ものはある fact6: その十五冊は解読出来るか伴い易いかまたは両方ともである fact7: もし仮に「何らかのものは忘れ易くないかあるいはそれは東京圏である」ということは成り立つとすると「それは伴い易い」ということは成り立つ fact8: その十五冊は東京圏だ fact9: あのコンパクトサイズは伴い易いかまたは聞き入れるかまたは両方だ fact10: もしこの肝機能は懐こいとすると「その十五冊は掛け難いということはなくておまけに悔いない」ということは成り立たない ; $hypothesis$ = 「「伴い易いかまたは東京圏である」物はある」ということは確かでない ; $proof$ = 
fact8 -> int1: その十五冊は伴い易いかもしくはそれは東京圏であるか両方ともだ; int1 -> hypothesis; __DISPROVED__
事実1: 「その九以前は樹園地である」ということは事実だ
事実2: 仮に「とあるものは掛け難くないしさらに悔いるということはない」ということは事実と異なるとすればそれは悔いる
事実3: もし仮にとある物が悔いるとすると忘れ易くないかあるいは東京圏であるか両方ともだ
事実4: その西欧化は狂乱するか東京圏である
事実5: 「酒井家であるか懐こい」ものはある
事実6: その十五冊は解読出来るか伴い易いかまたは両方ともである
事実7: もし仮に「何らかのものは忘れ易くないかあるいはそれは東京圏である」ということは成り立つとすると「それは伴い易い」ということは成り立つ
事実8: その十五冊は東京圏だ
事実9: あのコンパクトサイズは伴い易いかまたは聞き入れるかまたは両方だ
事実10: もしこの肝機能は懐こいとすると「その十五冊は掛け難いということはなくておまけに悔いない」ということは成り立たない

仮説: 「「伴い易いかまたは東京圏である」物はある」ということは確かでない
1. 事実8から、推論1: "その十五冊は伴い易いかもしくはそれは東京圏であるか両方ともだ"が導かれる
2. 推論1から、仮説が否定される

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