「その商売運は自害しない」ということは間違っているということはない
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: 何かは引っ掻き回さないならそれはドロップダウンメニューであるかもしくはパッティングでないかまたはどちらもだ
fact23 & fact18 & fact2 -> int1: この飲用水はドロップダウンメニューだ; fact6 & fact15 -> int2: この飲用水は最低限だ; int1 & int2 -> int3: この飲用水はドロップダウンメニューで最低限である; int3 & fact9 -> hypothesis;
その商売運は自害する
fact28 -> int4: 仮にその三図が引っ掻き回さないとしたらドロップダウンメニューであるかそれはパッティングでない;
$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: 何かは引っ掻き回さないならそれはドロップダウンメニューであるかもしくはパッティングでないかまたはどちらもだ ; $hypothesis$ = 「その商売運は自害しない」ということは間違っているということはない ; $proof$ = 
fact23 & fact18 & fact2 -> int1: この飲用水はドロップダウンメニューだ; fact6 & fact15 -> int2: この飲用水は最低限だ; int1 & int2 -> int3: この飲用水はドロップダウンメニューで最低限である; int3 & fact9 -> hypothesis; __PROVED__
事実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: 何かは引っ掻き回さないならそれはドロップダウンメニューであるかもしくはパッティングでないかまたはどちらもだ

仮説: 「その商売運は自害しない」ということは間違っているということはない
1. 事実23と事実18と事実2から、推論1: "この飲用水はドロップダウンメニューだ"が導かれる
2. 事実6と事実15から、推論2: "この飲用水は最低限だ"が導かれる
3. 推論1と推論2から、推論3: "この飲用水はドロップダウンメニューで最低限である"が導かれる
4. 推論3と事実9から、仮説が導かれる

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