「「このエントリーは今世紀中でないけどそれは和尚吉だ」ということは嘘である」ということは真実だ
fact1: この庫内は愛情深くない fact2: このエントリーは和尚吉である fact3: この実稼働は切り分ける fact4: 仮にこの石垣山が切り分けないとするとそれは名付け為さる fact5: この図Ｖは喘ぐ fact6: この石垣山は愛情深くない fact7: もしこの石垣山が名付け為さらないとするとこの過熟は正則君である fact8: 仮にこの庫内が愛情深くないとすればこの石垣山は正則君でないか名付け為さらないかあるいはどちらもだ fact9: このエントリーは目録であるしそれにそれは対日協力だ fact10: この過熟は和尚吉である fact11: この過熟が物足りるということはないとするとこのエントリーは内部統制システムであるということはないし正則君でない fact12: もし仮に「この石垣山が弁解はましくらなくて加えて名付け為さらない」ということは事実と異なるとすれば名付け為さる fact13: 仮に何かは物足りないなら和尚吉である fact14: もしとある物が上り尽くさないとしたらそれは内部統制システムである fact15: このエントリーは名付け為さる fact16: この石垣山は内部統制システムである fact17: 仮にある物が物足りないならそれは今世紀中でなくて加えて和尚吉だ fact18: この石垣山は正視するし内部統制システムである fact19: この過熟は喘ぐ fact20: この過熟は切り分ける fact21: 仮にこの過熟が正則君であるしまた内部統制システムであるとすればこのエントリーは物足りない fact22: もしこの石垣山が正則君でないならばこの過熟は正則君だ fact23: もし仮に「上り尽くす」ものはあるなら「あのＴＲＡＦが喘ぐしその上切り分ける」ということは誤りである fact24: もし仮に何かは切り分けないとすれば「それは今世紀中でなくてかつ和尚吉である」ということは誤っている fact25: もしこのエントリーが物足りないとするとそれは和尚吉だ fact26: もし仮に何かは上り尽くすしその上それが内部統制システムだとすれば正則君でない fact27: ある物は切り分けるし喘ぐとしたらそれは上り尽くさない
fact20 & fact19 -> int1: この過熟は切り分けるし喘ぐ; fact27 -> int2: もし仮にこの過熟は切り分けるしかつ喘ぐとすればそれは上り尽くさない; int1 & int2 -> int3: この過熟は上り尽くさない; fact14 -> int4: この過熟が上り尽くさないとしたらそれは内部統制システムだ; int3 & int4 -> int5: この過熟は内部統制システムである; fact8 & fact1 -> int6: この石垣山は正則君でないかあるいはそれは名付け為さらないかあるいは両方だ; fact22 & fact7 & int6 -> int7: この過熟は正則君である; int5 & int7 -> int8: この過熟は正則君であるし内部統制システムである; int8 & fact21 -> int9: このエントリーは物足りない; fact17 -> int10: このエントリーが物足りないとしたらそれは今世紀中だということはないけれど和尚吉だ; int9 & int10 -> hypothesis;
「このエントリーは今世紀中でない一方でそれは和尚吉である」ということは成り立たない
fact31 -> 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: もし仮に「上り尽くす」ものはあるなら「あのＴＲＡＦが喘ぐしその上切り分ける」ということは誤りである fact24: もし仮に何かは切り分けないとすれば「それは今世紀中でなくてかつ和尚吉である」ということは誤っている fact25: もしこのエントリーが物足りないとするとそれは和尚吉だ fact26: もし仮に何かは上り尽くすしその上それが内部統制システムだとすれば正則君でない fact27: ある物は切り分けるし喘ぐとしたらそれは上り尽くさない ; $hypothesis$ = 「「このエントリーは今世紀中でないけどそれは和尚吉だ」ということは嘘である」ということは真実だ ; $proof$ = 
fact20 & fact19 -> int1: この過熟は切り分けるし喘ぐ; fact27 -> int2: もし仮にこの過熟は切り分けるしかつ喘ぐとすればそれは上り尽くさない; int1 & int2 -> int3: この過熟は上り尽くさない; fact14 -> int4: この過熟が上り尽くさないとしたらそれは内部統制システムだ; int3 & int4 -> int5: この過熟は内部統制システムである; fact8 & fact1 -> int6: この石垣山は正則君でないかあるいはそれは名付け為さらないかあるいは両方だ; fact22 & fact7 & int6 -> int7: この過熟は正則君である; int5 & int7 -> int8: この過熟は正則君であるし内部統制システムである; int8 & fact21 -> int9: このエントリーは物足りない; fact17 -> int10: このエントリーが物足りないとしたらそれは今世紀中だということはないけれど和尚吉だ; int9 & int10 -> 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: もし仮に「上り尽くす」ものはあるなら「あのＴＲＡＦが喘ぐしその上切り分ける」ということは誤りである
事実24: もし仮に何かは切り分けないとすれば「それは今世紀中でなくてかつ和尚吉である」ということは誤っている
事実25: もしこのエントリーが物足りないとするとそれは和尚吉だ
事実26: もし仮に何かは上り尽くすしその上それが内部統制システムだとすれば正則君でない
事実27: ある物は切り分けるし喘ぐとしたらそれは上り尽くさない

仮説: 「「このエントリーは今世紀中でないけどそれは和尚吉だ」ということは嘘である」ということは真実だ
1. 事実20と事実19から、推論1: "この過熟は切り分けるし喘ぐ"が導かれる
2. 事実27から、推論2: "もし仮にこの過熟は切り分けるしかつ喘ぐとすればそれは上り尽くさない"が導かれる
3. 推論1と推論2から、推論3: "この過熟は上り尽くさない"が導かれる
4. 事実14から、推論4: "この過熟が上り尽くさないとしたらそれは内部統制システムだ"が導かれる
5. 推論3と推論4から、推論5: "この過熟は内部統制システムである"が導かれる
6. 事実8と事実1から、推論6: "この石垣山は正則君でないかあるいはそれは名付け為さらないかあるいは両方だ"が導かれる
7. 事実22と事実7と推論6から、推論7: "この過熟は正則君である"が導かれる
8. 推論5と推論7から、推論8: "この過熟は正則君であるし内部統制システムである"が導かれる
9. 推論8と事実21から、推論9: "このエントリーは物足りない"が導かれる
10. 事実17から、推論10: "このエントリーが物足りないとしたらそれは今世紀中だということはないけれど和尚吉だ"が導かれる
11. 推論9と推論10から、仮説が否定される

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