「「仮に「忍び込まないしかつ凛々しいということはない」ということは成り立たないとするとライム・ツリーでない」物はある」ということは誤っている
fact1: 家計支出は謳歌しない fact2: 仮に「なにがしかの物は忍び込まないし加えてそれは凛々しくない」ということは事実と異なるとするとライム・ツリーでない fact3: 仮に「とあるものは評さないし振るい始めない」ということは偽であるなら「それは一般競争入札でない」ということは本当だ fact4: とあるものが恨みはましくらなくてかつ設定契約でないとするとそれは可笑しくない fact5: もしも「なにかは忍び込まなくてかつ凛々しいということはない」ということは間違っているとすればそれはライム・ツリーだ fact6: 「もし仮に「勤めるけれど可笑しくない」ということは誤りであるとしたら回想するということはない」ものはある fact7: 何らかの物が評すとしたら夥しくない fact8: もし仮に「あるものは忍び込む一方で凛々しくない」ということは誤りであるならライム・ツリーだということはない fact9: もしもこの手形は気まずいとすると「ライム・ツリーでない」ということは成り立つ fact10: もし仮に「ある物は設定契約でなくて金褐色だということはない」ということは確かでないならばそれは回想しない fact11: 役らしい物は参照すらない fact12: 「仮に「比較し難くないししかも築き難いということはない」ということは誤っているとしたら瞑想でない」ものはある fact13: もし「この手形は旨しないしまたまだるっこしくない」ということは成り立たないとするとライム・ツリーでない fact14: 仮に「この手形は癒し難くないししかもそれは起き難くない」ということは間違っているとすれば人間らしくない fact15: もしも「この手形は忍び込むけど凛々しくない」ということは間違っているとすればライム・ツリーでない fact16: 「この手形はちっこくないしその上ＢＭＸでない」ということは成り立たないとすれば評さない fact17: 「もしも丸めるとしたら金褐色でない」ものはある fact18: 「もしも「わくわくするけれど甘ったるいということはない」ということは事実でないとするとバント船でない」物はある fact19: もし仮に「その一回拍出量は課程教育でなくてまたそれはちっこくない」ということは本当であるということはないとすると忍び込まない
fact2 -> int1: もし仮に「この手形は忍び込まないしかつ凛々しくない」ということは誤っているとすればそれはライム・ツリーでない; int1 -> hypothesis;
$facts$ = fact1: 家計支出は謳歌しない fact2: 仮に「なにがしかの物は忍び込まないし加えてそれは凛々しくない」ということは事実と異なるとするとライム・ツリーでない fact3: 仮に「とあるものは評さないし振るい始めない」ということは偽であるなら「それは一般競争入札でない」ということは本当だ fact4: とあるものが恨みはましくらなくてかつ設定契約でないとするとそれは可笑しくない fact5: もしも「なにかは忍び込まなくてかつ凛々しいということはない」ということは間違っているとすればそれはライム・ツリーだ fact6: 「もし仮に「勤めるけれど可笑しくない」ということは誤りであるとしたら回想するということはない」ものはある fact7: 何らかの物が評すとしたら夥しくない fact8: もし仮に「あるものは忍び込む一方で凛々しくない」ということは誤りであるならライム・ツリーだということはない fact9: もしもこの手形は気まずいとすると「ライム・ツリーでない」ということは成り立つ fact10: もし仮に「ある物は設定契約でなくて金褐色だということはない」ということは確かでないならばそれは回想しない fact11: 役らしい物は参照すらない fact12: 「仮に「比較し難くないししかも築き難いということはない」ということは誤っているとしたら瞑想でない」ものはある fact13: もし「この手形は旨しないしまたまだるっこしくない」ということは成り立たないとするとライム・ツリーでない fact14: 仮に「この手形は癒し難くないししかもそれは起き難くない」ということは間違っているとすれば人間らしくない fact15: もしも「この手形は忍び込むけど凛々しくない」ということは間違っているとすればライム・ツリーでない fact16: 「この手形はちっこくないしその上ＢＭＸでない」ということは成り立たないとすれば評さない fact17: 「もしも丸めるとしたら金褐色でない」ものはある fact18: 「もしも「わくわくするけれど甘ったるいということはない」ということは事実でないとするとバント船でない」物はある fact19: もし仮に「その一回拍出量は課程教育でなくてまたそれはちっこくない」ということは本当であるということはないとすると忍び込まない ; $hypothesis$ = 「「仮に「忍び込まないしかつ凛々しいということはない」ということは成り立たないとするとライム・ツリーでない」物はある」ということは誤っている ; $proof$ = 
fact2 -> int1: もし仮に「この手形は忍び込まないしかつ凛々しくない」ということは誤っているとすればそれはライム・ツリーでない; int1 -> hypothesis; __DISPROVED__
事実1: 家計支出は謳歌しない
事実2: 仮に「なにがしかの物は忍び込まないし加えてそれは凛々しくない」ということは事実と異なるとするとライム・ツリーでない
事実3: 仮に「とあるものは評さないし振るい始めない」ということは偽であるなら「それは一般競争入札でない」ということは本当だ
事実4: とあるものが恨みはましくらなくてかつ設定契約でないとするとそれは可笑しくない
事実5: もしも「なにかは忍び込まなくてかつ凛々しいということはない」ということは間違っているとすればそれはライム・ツリーだ
事実6: 「もし仮に「勤めるけれど可笑しくない」ということは誤りであるとしたら回想するということはない」ものはある
事実7: 何らかの物が評すとしたら夥しくない
事実8: もし仮に「あるものは忍び込む一方で凛々しくない」ということは誤りであるならライム・ツリーだということはない
事実9: もしもこの手形は気まずいとすると「ライム・ツリーでない」ということは成り立つ
事実10: もし仮に「ある物は設定契約でなくて金褐色だということはない」ということは確かでないならばそれは回想しない
事実11: 役らしい物は参照すらない
事実12: 「仮に「比較し難くないししかも築き難いということはない」ということは誤っているとしたら瞑想でない」ものはある
事実13: もし「この手形は旨しないしまたまだるっこしくない」ということは成り立たないとするとライム・ツリーでない
事実14: 仮に「この手形は癒し難くないししかもそれは起き難くない」ということは間違っているとすれば人間らしくない
事実15: もしも「この手形は忍び込むけど凛々しくない」ということは間違っているとすればライム・ツリーでない
事実16: 「この手形はちっこくないしその上ＢＭＸでない」ということは成り立たないとすれば評さない
事実17: 「もしも丸めるとしたら金褐色でない」ものはある
事実18: 「もしも「わくわくするけれど甘ったるいということはない」ということは事実でないとするとバント船でない」物はある
事実19: もし仮に「その一回拍出量は課程教育でなくてまたそれはちっこくない」ということは本当であるということはないとすると忍び込まない

仮説: 「「仮に「忍び込まないしかつ凛々しいということはない」ということは成り立たないとするとライム・ツリーでない」物はある」ということは誤っている
1. 事実2から、推論1: "もし仮に「この手形は忍び込まないしかつ凛々しくない」ということは誤っているとすればそれはライム・ツリーでない"が導かれる
2. 推論1から、仮説が否定される

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