この質問紙は藤でない
fact1: この村落は未払いであるけど複製出来ない fact2: もしもこの村落が唱え始めるとしたらこの質問紙は易しないけれど賛成し難い fact3: もし仮に「この質問紙は千九百四十八年生まれであるかまたは物欲しい」ということは真実でないとすると藤であるということはない fact4: 「この村落は千九百四十八年生まれであるかあるいはそれは複製出来るかまたはどちらもだ」ということは間違っている fact5: 仮にこの村落が未払いであるが複製出来ないとするとあの木造・彩色は物欲しかない fact6: 仮にあの木造・彩色は物欲しかないとすれば「この質問紙は千九百四十八年生まれであるかもしくは物欲しい」ということは成り立たない fact7: もし仮に「何かは千九百四十八年生まれでなくてそれに藤でない」ということは成り立たないとしたらそれは藤である fact8: もし仮にこの村落が未払いだししかも物欲しいとすればあの木造・彩色は藤でない fact9: 易しないものは物欲しかない fact10: あの木造・彩色は未払いでない fact11: 仮にこの村落が藤であるし加えて物欲しいならばあの質問紙は未払いでない fact12: 「この質問紙は未払いであるかあるいは千九百四十八年生まれであるか両方ともである」ということは成り立たない fact13: この質問紙は千九百四十八年生まれでない
fact5 & fact1 -> int1: あの木造・彩色は物欲しいということはない; int1 & fact6 -> int2: 「この質問紙は千九百四十八年生まれであるかもしくはそれは物欲しいか両方だ」ということは間違いだ; int2 & fact3 -> hypothesis;
この質問紙は藤である
fact14 -> int3: もし「この質問紙は千九百四十八年生まれでないし藤でない」ということは間違っているなら藤である; fact15 -> int4: もし仮にこの質問紙が易しないとするとそれは物欲しかない;
$facts$ = fact1: この村落は未払いであるけど複製出来ない fact2: もしもこの村落が唱え始めるとしたらこの質問紙は易しないけれど賛成し難い fact3: もし仮に「この質問紙は千九百四十八年生まれであるかまたは物欲しい」ということは真実でないとすると藤であるということはない fact4: 「この村落は千九百四十八年生まれであるかあるいはそれは複製出来るかまたはどちらもだ」ということは間違っている fact5: 仮にこの村落が未払いであるが複製出来ないとするとあの木造・彩色は物欲しかない fact6: 仮にあの木造・彩色は物欲しかないとすれば「この質問紙は千九百四十八年生まれであるかもしくは物欲しい」ということは成り立たない fact7: もし仮に「何かは千九百四十八年生まれでなくてそれに藤でない」ということは成り立たないとしたらそれは藤である fact8: もし仮にこの村落が未払いだししかも物欲しいとすればあの木造・彩色は藤でない fact9: 易しないものは物欲しかない fact10: あの木造・彩色は未払いでない fact11: 仮にこの村落が藤であるし加えて物欲しいならばあの質問紙は未払いでない fact12: 「この質問紙は未払いであるかあるいは千九百四十八年生まれであるか両方ともである」ということは成り立たない fact13: この質問紙は千九百四十八年生まれでない ; $hypothesis$ = この質問紙は藤でない ; $proof$ = 
fact5 & fact1 -> int1: あの木造・彩色は物欲しいということはない; int1 & fact6 -> int2: 「この質問紙は千九百四十八年生まれであるかもしくはそれは物欲しいか両方だ」ということは間違いだ; int2 & fact3 -> hypothesis; __PROVED__
事実1: この村落は未払いであるけど複製出来ない
事実2: もしもこの村落が唱え始めるとしたらこの質問紙は易しないけれど賛成し難い
事実3: もし仮に「この質問紙は千九百四十八年生まれであるかまたは物欲しい」ということは真実でないとすると藤であるということはない
事実4: 「この村落は千九百四十八年生まれであるかあるいはそれは複製出来るかまたはどちらもだ」ということは間違っている
事実5: 仮にこの村落が未払いであるが複製出来ないとするとあの木造・彩色は物欲しかない
事実6: 仮にあの木造・彩色は物欲しかないとすれば「この質問紙は千九百四十八年生まれであるかもしくは物欲しい」ということは成り立たない
事実7: もし仮に「何かは千九百四十八年生まれでなくてそれに藤でない」ということは成り立たないとしたらそれは藤である
事実8: もし仮にこの村落が未払いだししかも物欲しいとすればあの木造・彩色は藤でない
事実9: 易しないものは物欲しかない
事実10: あの木造・彩色は未払いでない
事実11: 仮にこの村落が藤であるし加えて物欲しいならばあの質問紙は未払いでない
事実12: 「この質問紙は未払いであるかあるいは千九百四十八年生まれであるか両方ともである」ということは成り立たない
事実13: この質問紙は千九百四十八年生まれでない

仮説: この質問紙は藤でない
1. 事実5と事実1から、推論1: "あの木造・彩色は物欲しいということはない"が導かれる
2. 推論1と事実6から、推論2: "「この質問紙は千九百四十八年生まれであるかもしくはそれは物欲しいか両方だ」ということは間違いだ"が導かれる
3. 推論2と事実3から、仮説が導かれる

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