「そのテレビ界は文字画像である」ということは本当だ
fact1: すべてのものは生み易いかまたは底深いか両方ともだ fact2: そのルイス酸は冷たくないとすると「それが診査・観察だしさらに古めかしい」ということは成り立たない fact3: そのルイス酸が古めかしくないならそのテレビ界は文字画像であるということはない fact4: もしそのルイス酸が診査・観察だということはないとしたらそのテレビ界は診査・観察である fact5: もし仮に「そのルイス酸は診査・観察であるし更に古めかしい」ということは間違っているとすればそのテレビ界は文字画像でない fact6: この小売り物価統計調査は村人だ fact7: とあるものは秘密めくということはない一方で太い fact8: 「そのテレビ界は文字画像で加えて古めかしい」ということは成り立たない fact9: なんらかの物が秘密めくしその上太いとすればそのルイス酸は冷たくない fact10: 仮にこの小売り物価統計調査が生み易いとすればそれは再編集する fact11: そのテレビ界は冷たいということはない fact12: もしなんらかの物は診査・観察ならば「冷たくないがしかし太い」ということは誤っている fact13: そのベンチャーは診査・観察でない fact14: 仮になんらかの物が秘密めかないけど太いとするとそのルイス酸は冷たくない fact15: もしとあるものが村人だしおまけに再編集するとするとそれは出現し始めない fact16: もし仮にあるものが出現し始めないならばそれは富むしまた物凄ーい fact17: もし仮に「この小売り物価統計調査は診査・観察でないしかつ古めかしくない」ということは偽だとしたらそのルイス酸は診査・観察であるということはない fact18: 仮に何らかの物は物凄ーいとすれば「診査・観察でなくておまけにそれは古めかしくない」ということは偽だ fact19: もし仮に「なにがしかのものは冷たくない一方でそれは太い」ということは正しくないならば太くない fact20: なんらかの物が太くないならそれは文字画像で秘密めく fact21: もし仮にそのルイス酸は文字画像でないとすれば「冷たいし更に古めかしい」ということは誤っている fact22: そのテレビ界は古めかしくない
fact7 & fact14 -> int1: そのルイス酸は冷たくない; int1 & fact2 -> int2: 「そのルイス酸が診査・観察だし古めかしい」ということは事実と異なる; int2 & fact5 -> hypothesis;
そのテレビ界は文字画像である
fact24 -> int3: もし仮にそのテレビ界が太くないとすればそれは文字画像だしかつ秘密めく; fact32 -> int4: 「そのテレビ界は冷たくないけれど太い」ということは間違いならば「それは太い」ということは成り立たない; fact23 -> int5: もし仮にそのテレビ界は診査・観察なら「冷たくなくて太い」ということは成り立たない; fact25 -> int6: もし仮にこの小売り物価統計調査は物凄ーいとすれば「診査・観察でないし加えて古めかしくない」ということは偽である; fact28 -> int7: 仮にこの小売り物価統計調査が出現し始めないならばそれが富むしその上それは物凄ーい; fact33 -> int8: 仮にこの小売り物価統計調査は村人であるしまた再編集すればそれは出現し始めない; fact31 -> int9: この小売り物価統計調査は生み易いかまたは底深い;
$facts$ = fact1: すべてのものは生み易いかまたは底深いか両方ともだ fact2: そのルイス酸は冷たくないとすると「それが診査・観察だしさらに古めかしい」ということは成り立たない fact3: そのルイス酸が古めかしくないならそのテレビ界は文字画像であるということはない fact4: もしそのルイス酸が診査・観察だということはないとしたらそのテレビ界は診査・観察である fact5: もし仮に「そのルイス酸は診査・観察であるし更に古めかしい」ということは間違っているとすればそのテレビ界は文字画像でない fact6: この小売り物価統計調査は村人だ fact7: とあるものは秘密めくということはない一方で太い fact8: 「そのテレビ界は文字画像で加えて古めかしい」ということは成り立たない fact9: なんらかの物が秘密めくしその上太いとすればそのルイス酸は冷たくない fact10: 仮にこの小売り物価統計調査が生み易いとすればそれは再編集する fact11: そのテレビ界は冷たいということはない fact12: もしなんらかの物は診査・観察ならば「冷たくないがしかし太い」ということは誤っている fact13: そのベンチャーは診査・観察でない fact14: 仮になんらかの物が秘密めかないけど太いとするとそのルイス酸は冷たくない fact15: もしとあるものが村人だしおまけに再編集するとするとそれは出現し始めない fact16: もし仮にあるものが出現し始めないならばそれは富むしまた物凄ーい fact17: もし仮に「この小売り物価統計調査は診査・観察でないしかつ古めかしくない」ということは偽だとしたらそのルイス酸は診査・観察であるということはない fact18: 仮に何らかの物は物凄ーいとすれば「診査・観察でなくておまけにそれは古めかしくない」ということは偽だ fact19: もし仮に「なにがしかのものは冷たくない一方でそれは太い」ということは正しくないならば太くない fact20: なんらかの物が太くないならそれは文字画像で秘密めく fact21: もし仮にそのルイス酸は文字画像でないとすれば「冷たいし更に古めかしい」ということは誤っている fact22: そのテレビ界は古めかしくない ; $hypothesis$ = 「そのテレビ界は文字画像である」ということは本当だ ; $proof$ = 
fact7 & fact14 -> int1: そのルイス酸は冷たくない; int1 & fact2 -> int2: 「そのルイス酸が診査・観察だし古めかしい」ということは事実と異なる; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: すべてのものは生み易いかまたは底深いか両方ともだ
事実2: そのルイス酸は冷たくないとすると「それが診査・観察だしさらに古めかしい」ということは成り立たない
事実3: そのルイス酸が古めかしくないならそのテレビ界は文字画像であるということはない
事実4: もしそのルイス酸が診査・観察だということはないとしたらそのテレビ界は診査・観察である
事実5: もし仮に「そのルイス酸は診査・観察であるし更に古めかしい」ということは間違っているとすればそのテレビ界は文字画像でない
事実6: この小売り物価統計調査は村人だ
事実7: とあるものは秘密めくということはない一方で太い
事実8: 「そのテレビ界は文字画像で加えて古めかしい」ということは成り立たない
事実9: なんらかの物が秘密めくしその上太いとすればそのルイス酸は冷たくない
事実10: 仮にこの小売り物価統計調査が生み易いとすればそれは再編集する
事実11: そのテレビ界は冷たいということはない
事実12: もしなんらかの物は診査・観察ならば「冷たくないがしかし太い」ということは誤っている
事実13: そのベンチャーは診査・観察でない
事実14: 仮になんらかの物が秘密めかないけど太いとするとそのルイス酸は冷たくない
事実15: もしとあるものが村人だしおまけに再編集するとするとそれは出現し始めない
事実16: もし仮にあるものが出現し始めないならばそれは富むしまた物凄ーい
事実17: もし仮に「この小売り物価統計調査は診査・観察でないしかつ古めかしくない」ということは偽だとしたらそのルイス酸は診査・観察であるということはない
事実18: 仮に何らかの物は物凄ーいとすれば「診査・観察でなくておまけにそれは古めかしくない」ということは偽だ
事実19: もし仮に「なにがしかのものは冷たくない一方でそれは太い」ということは正しくないならば太くない
事実20: なんらかの物が太くないならそれは文字画像で秘密めく
事実21: もし仮にそのルイス酸は文字画像でないとすれば「冷たいし更に古めかしい」ということは誤っている
事実22: そのテレビ界は古めかしくない

仮説: 「そのテレビ界は文字画像である」ということは本当だ
1. 事実7と事実14から、推論1: "そのルイス酸は冷たくない"が導かれる
2. 推論1と事実2から、推論2: "「そのルイス酸が診査・観察だし古めかしい」ということは事実と異なる"が導かれる
3. 推論2と事実5から、仮説が否定される

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