この色っぽさはスーツケースでない
fact1: 仮に「とあるものは直接税額控除でなくて窮しない」ということは成り立つとすると脂肪吸引しない fact2: もし仮にその古典古代は微寒であるならそれは正解する fact3: もし仮にその古典古代が正解すればそれが直接税額控除だということはないしその上それは窮するということはない fact4: 仮にとあるものが交尾むないならば風采で更にプリセットする fact5: もしあの拘束が風采であるとするとこの色っぽさは人工衛星であるかあるいはタイトルらしいかまたは両方である fact6: その古典古代は摘要でない fact7: 仮にあの拘束が風采だとするとこの色っぽさは人工衛星であるかまたはタイトルらしいということはない fact8: あの拘束は風采である fact9: 「あの拘束はスーツケースだ」ということは事実と異ならないとすればこの色っぽさは風采であるかもしくはタイトルらしいかもしくは両方だ fact10: もしも「この色っぽさはタイトルらしくない」ということは本当であるならそれはスーツケースでない fact11: もしもその古典古代が摘要であるということはないしその上脂肪吸引しないとすればあの拘束は重し fact12: 風采はスーツケースだ fact13: 仮にこの色っぽさが人工衛星であるかタイトルらしくないかもしくは両方ともだとしたらスーツケースでない fact14: もしあの拘束はＶＳＡＭファイルでないとすれば「それは人工衛星でない」ということは確かである fact15: あの拘束が重ししまた交尾むとしたらこの色っぽさは交尾むない fact16: この色っぽさは風采でない
fact7 & fact8 -> int1: この色っぽさは人工衛星であるかもしくはタイトルらしくない; int1 & fact13 -> hypothesis;
fact7 & fact8 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact13 -> hypothesis;
この色っぽさはスーツケースだ
fact19 -> int2: もしも「この色っぽさは風采である」ということは正しいとしたらスーツケースだ; fact20 -> int3: もしもこの色っぽさが交尾むないならばそれは風采であるしその上プリセットする; fact21 -> int4: 仮にその古典古代は直接税額控除でなくて窮しないなら脂肪吸引しない;
$facts$ = fact1: 仮に「とあるものは直接税額控除でなくて窮しない」ということは成り立つとすると脂肪吸引しない fact2: もし仮にその古典古代は微寒であるならそれは正解する fact3: もし仮にその古典古代が正解すればそれが直接税額控除だということはないしその上それは窮するということはない fact4: 仮にとあるものが交尾むないならば風采で更にプリセットする fact5: もしあの拘束が風采であるとするとこの色っぽさは人工衛星であるかあるいはタイトルらしいかまたは両方である fact6: その古典古代は摘要でない fact7: 仮にあの拘束が風采だとするとこの色っぽさは人工衛星であるかまたはタイトルらしいということはない fact8: あの拘束は風采である fact9: 「あの拘束はスーツケースだ」ということは事実と異ならないとすればこの色っぽさは風采であるかもしくはタイトルらしいかもしくは両方だ fact10: もしも「この色っぽさはタイトルらしくない」ということは本当であるならそれはスーツケースでない fact11: もしもその古典古代が摘要であるということはないしその上脂肪吸引しないとすればあの拘束は重し fact12: 風采はスーツケースだ fact13: 仮にこの色っぽさが人工衛星であるかタイトルらしくないかもしくは両方ともだとしたらスーツケースでない fact14: もしあの拘束はＶＳＡＭファイルでないとすれば「それは人工衛星でない」ということは確かである fact15: あの拘束が重ししまた交尾むとしたらこの色っぽさは交尾むない fact16: この色っぽさは風采でない ; $hypothesis$ = この色っぽさはスーツケースでない ; $proof$ = 
fact7 & fact8 -> int1: この色っぽさは人工衛星であるかもしくはタイトルらしくない; int1 & fact13 -> hypothesis; __PROVED__
事実1: 仮に「とあるものは直接税額控除でなくて窮しない」ということは成り立つとすると脂肪吸引しない
事実2: もし仮にその古典古代は微寒であるならそれは正解する
事実3: もし仮にその古典古代が正解すればそれが直接税額控除だということはないしその上それは窮するということはない
事実4: 仮にとあるものが交尾むないならば風采で更にプリセットする
事実5: もしあの拘束が風采であるとするとこの色っぽさは人工衛星であるかあるいはタイトルらしいかまたは両方である
事実6: その古典古代は摘要でない
事実7: 仮にあの拘束が風采だとするとこの色っぽさは人工衛星であるかまたはタイトルらしいということはない
事実8: あの拘束は風采である
事実9: 「あの拘束はスーツケースだ」ということは事実と異ならないとすればこの色っぽさは風采であるかもしくはタイトルらしいかもしくは両方だ
事実10: もしも「この色っぽさはタイトルらしくない」ということは本当であるならそれはスーツケースでない
事実11: もしもその古典古代が摘要であるということはないしその上脂肪吸引しないとすればあの拘束は重し
事実12: 風采はスーツケースだ
事実13: 仮にこの色っぽさが人工衛星であるかタイトルらしくないかもしくは両方ともだとしたらスーツケースでない
事実14: もしあの拘束はＶＳＡＭファイルでないとすれば「それは人工衛星でない」ということは確かである
事実15: あの拘束が重ししまた交尾むとしたらこの色っぽさは交尾むない
事実16: この色っぽさは風采でない

仮説: この色っぽさはスーツケースでない
1. 事実7と事実8から、推論1: "この色っぽさは人工衛星であるかもしくはタイトルらしくない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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