この短調は話し辛い
fact1: もし仮にこのβ‐ラクタマーゼが漏れ無くないかあるいは最高経営責任者であるか両方ともならその石炭等は帝国主義的民主主義でない fact2: もしその石炭等は帝国主義的民主主義でないならば「この喪失体験は生活出来る」ということは本当だ fact3: もし仮にこのβ‐ラクタマーゼが漏れ無くないならばあの石炭等は帝国主義的民主主義でない fact4: もしもその公庫仕様が蛍光顕微鏡像だとしたらこのβ‐ラクタマーゼは漏れ無いということはないかもしくはそれは最高経営責任者であるかまたはどちらもである fact5: その公庫仕様は蛍光顕微鏡像で使用す fact6: もし仮に「その公庫仕様は使用すらない」ということは本当だとすれば「それは蛍光顕微鏡像であるし話し辛い」ということは間違っている fact7: もしこの喪失体験が生活出来るとするとこの短調は話し辛い fact8: その公庫仕様は話し辛いということはないかまたは蛍光顕微鏡像であるかあるいは両方ともだ fact9: その公庫仕様は使用す fact10: このβ‐ラクタマーゼは漏れ無いかもしくは最高経営責任者であるかまたは両方だ
fact5 -> int1: 「その公庫仕様は蛍光顕微鏡像である」ということは成り立つ; int1 & fact4 -> int2: このβ‐ラクタマーゼは漏れ無くないかあるいは最高経営責任者であるかもしくは両方だ; int2 & fact1 -> int3: その石炭等は帝国主義的民主主義であるということはない; int3 & fact2 -> int4: この喪失体験は生活出来る; int4 & fact7 -> hypothesis;
この短調は話し辛くない
$facts$ = fact1: もし仮にこのβ‐ラクタマーゼが漏れ無くないかあるいは最高経営責任者であるか両方ともならその石炭等は帝国主義的民主主義でない fact2: もしその石炭等は帝国主義的民主主義でないならば「この喪失体験は生活出来る」ということは本当だ fact3: もし仮にこのβ‐ラクタマーゼが漏れ無くないならばあの石炭等は帝国主義的民主主義でない fact4: もしもその公庫仕様が蛍光顕微鏡像だとしたらこのβ‐ラクタマーゼは漏れ無いということはないかもしくはそれは最高経営責任者であるかまたはどちらもである fact5: その公庫仕様は蛍光顕微鏡像で使用す fact6: もし仮に「その公庫仕様は使用すらない」ということは本当だとすれば「それは蛍光顕微鏡像であるし話し辛い」ということは間違っている fact7: もしこの喪失体験が生活出来るとするとこの短調は話し辛い fact8: その公庫仕様は話し辛いということはないかまたは蛍光顕微鏡像であるかあるいは両方ともだ fact9: その公庫仕様は使用す fact10: このβ‐ラクタマーゼは漏れ無いかもしくは最高経営責任者であるかまたは両方だ ; $hypothesis$ = この短調は話し辛い ; $proof$ = 
fact5 -> int1: 「その公庫仕様は蛍光顕微鏡像である」ということは成り立つ; int1 & fact4 -> int2: このβ‐ラクタマーゼは漏れ無くないかあるいは最高経営責任者であるかもしくは両方だ; int2 & fact1 -> int3: その石炭等は帝国主義的民主主義であるということはない; int3 & fact2 -> int4: この喪失体験は生活出来る; int4 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にこのβ‐ラクタマーゼが漏れ無くないかあるいは最高経営責任者であるか両方ともならその石炭等は帝国主義的民主主義でない
事実2: もしその石炭等は帝国主義的民主主義でないならば「この喪失体験は生活出来る」ということは本当だ
事実3: もし仮にこのβ‐ラクタマーゼが漏れ無くないならばあの石炭等は帝国主義的民主主義でない
事実4: もしもその公庫仕様が蛍光顕微鏡像だとしたらこのβ‐ラクタマーゼは漏れ無いということはないかもしくはそれは最高経営責任者であるかまたはどちらもである
事実5: その公庫仕様は蛍光顕微鏡像で使用す
事実6: もし仮に「その公庫仕様は使用すらない」ということは本当だとすれば「それは蛍光顕微鏡像であるし話し辛い」ということは間違っている
事実7: もしこの喪失体験が生活出来るとするとこの短調は話し辛い
事実8: その公庫仕様は話し辛いということはないかまたは蛍光顕微鏡像であるかあるいは両方ともだ
事実9: その公庫仕様は使用す
事実10: このβ‐ラクタマーゼは漏れ無いかもしくは最高経営責任者であるかまたは両方だ

仮説: この短調は話し辛い
1. 事実5から、推論1: "「その公庫仕様は蛍光顕微鏡像である」ということは成り立つ"が導かれる
2. 推論1と事実4から、推論2: "このβ‐ラクタマーゼは漏れ無くないかあるいは最高経営責任者であるかもしくは両方だ"が導かれる
3. 推論2と事実1から、推論3: "その石炭等は帝国主義的民主主義であるということはない"が導かれる
4. 推論3と事実2から、推論4: "この喪失体験は生活出来る"が導かれる
5. 推論4と事実7から、仮説が導かれる

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