「この三十七人は拾い物であるしそれに小高い」ということは事実と異なる
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: 小高いということはない物は包み隠すし自前主義である fact28: もしもあの水溶性アルキッド樹脂がそっくり返るとしたらその内鉄形はそっくり返らない fact29: この湖底は掛かり難くないとすれば「この三十七人は見回すしさらにそれはみっとも可愛い」ということは誤っている
fact17 -> int1: この三十七人はみっとも可愛い; void -> assump1: 以下のように仮定する。この三十七人は拾い物であるということはない; int1 & assump1 -> int2: この三十七人はみっとも可愛いがしかしそれは拾い物でない; fact18 -> int3: もし仮にこの三十七人がみっとも可愛いがしかしそれは拾い物でないとするとそれは掛かり難い; int2 & int3 -> int4: この三十七人は掛かり難い; int4 & fact25 -> int5: この湖底は見回さないかまたは自前主義であるということはないかあるいは両方ともだ; int5 & fact11 & fact22 -> int6: その判事は包み隠す; fact2 & fact23 -> int7: その判事は包み隠さない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この三十七人は拾い物である; fact10 -> int10: この木版は練習曲だ; fact14 & int10 -> int11: この三十七人は小高い; int9 & int11 -> hypothesis;
この木版は物悲しい一方で縫縮しない
fact33 -> int12: もしもこの三十七人はみっとも可愛くないなら「それは拾い物でない一方で叱責する」ということは確かでない; fact35 -> int13: もしも「この三十七人は見回すしみっとも可愛い」ということは偽であるとしたらみっとも可愛くない; fact31 -> int14: もしもその内鉄形が小高くないとすれば包み隠すしそれは自前主義だ; int14 & fact37 -> int15: その内鉄形は包み隠すしさらにそれは自前主義である; fact36 & int15 -> int16: あのスイートポテトは自前主義でない; int16 -> int17: 何かは自前主義でない;
$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: 小高いということはない物は包み隠すし自前主義である fact28: もしもあの水溶性アルキッド樹脂がそっくり返るとしたらその内鉄形はそっくり返らない fact29: この湖底は掛かり難くないとすれば「この三十七人は見回すしさらにそれはみっとも可愛い」ということは誤っている ; $hypothesis$ = 「この三十七人は拾い物であるしそれに小高い」ということは事実と異なる ; $proof$ = 
fact17 -> int1: この三十七人はみっとも可愛い; void -> assump1: 以下のように仮定する。この三十七人は拾い物であるということはない; int1 & assump1 -> int2: この三十七人はみっとも可愛いがしかしそれは拾い物でない; fact18 -> int3: もし仮にこの三十七人がみっとも可愛いがしかしそれは拾い物でないとするとそれは掛かり難い; int2 & int3 -> int4: この三十七人は掛かり難い; int4 & fact25 -> int5: この湖底は見回さないかまたは自前主義であるということはないかあるいは両方ともだ; int5 & fact11 & fact22 -> int6: その判事は包み隠す; fact2 & fact23 -> int7: その判事は包み隠さない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この三十七人は拾い物である; fact10 -> int10: この木版は練習曲だ; fact14 & int10 -> int11: この三十七人は小高い; int9 & int11 -> 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: 小高いということはない物は包み隠すし自前主義である
事実28: もしもあの水溶性アルキッド樹脂がそっくり返るとしたらその内鉄形はそっくり返らない
事実29: この湖底は掛かり難くないとすれば「この三十七人は見回すしさらにそれはみっとも可愛い」ということは誤っている

仮説: 「この三十七人は拾い物であるしそれに小高い」ということは事実と異なる
1. 事実17から、推論1: "この三十七人はみっとも可愛い"が導かれる
2. 仮定1: 以下のように仮定する。この三十七人は拾い物であるということはない
3. 推論1と仮定1から、推論2: "この三十七人はみっとも可愛いがしかしそれは拾い物でない"が導かれる
4. 事実18から、推論3: "もし仮にこの三十七人がみっとも可愛いがしかしそれは拾い物でないとするとそれは掛かり難い"が導かれる
5. 推論2と推論3から、推論4: "この三十七人は掛かり難い"が導かれる
6. 推論4と事実25から、推論5: "この湖底は見回さないかまたは自前主義であるということはないかあるいは両方ともだ"が導かれる
7. 推論5と事実11と事実22から、推論6: "その判事は包み隠す"が導かれる
8. 事実2と事実23から、推論7: "その判事は包み隠さない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この三十七人は拾い物である"が導かれる
11. 事実10から、推論10: "この木版は練習曲だ"が導かれる
12. 事実14と推論10から、推論11: "この三十七人は小高い"が導かれる
13. 推論9と推論11から、仮説が否定される

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