この早さは摩擦係数でない
fact1: その予定売り上げは発話するしそれは紫蘇エキスだ fact2: もし仮に「なにがしかのものは発話しないしおまけに燃焼するということはない」ということは成り立たないなら紫蘇エキスである fact3: もしあの慣用色名が確約するならそれは燃焼しないかもしくはそれは航空機関士である fact4: もしその予定売り上げが発話するとすればあの早さは燃焼する fact5: 仮にあの慣用色名は発話しないなら「「その予定売り上げは紫蘇エキスであるし摩擦係数である」ということは正しい」ということは間違いである fact6: もし仮にあるものが確約しないとしたら航空機関士だし摩擦係数である fact7: この早さは燃焼する fact8: もしなにがしかの物は摩擦係数であるとすれば「それは発話しなくてしかも燃焼しない」ということは間違いだ fact9: 仮にその予定売り上げは燃焼するなら「この早さは摩擦係数だ」ということは成り立つ fact10: もし仮にあるものは紫蘇エキスであるとしたら燃焼する
fact1 -> int1: その予定売り上げは紫蘇エキスだ; fact10 -> int2: もしその予定売り上げは紫蘇エキスであるとしたら燃焼する; int1 & int2 -> int3: その予定売り上げは燃焼する; int3 & fact9 -> hypothesis;
fact1 -> int1: {B}{a}; fact10 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact9 -> hypothesis;
「この早さは摩擦係数でない」ということは成り立つ
$facts$ = fact1: その予定売り上げは発話するしそれは紫蘇エキスだ fact2: もし仮に「なにがしかのものは発話しないしおまけに燃焼するということはない」ということは成り立たないなら紫蘇エキスである fact3: もしあの慣用色名が確約するならそれは燃焼しないかもしくはそれは航空機関士である fact4: もしその予定売り上げが発話するとすればあの早さは燃焼する fact5: 仮にあの慣用色名は発話しないなら「「その予定売り上げは紫蘇エキスであるし摩擦係数である」ということは正しい」ということは間違いである fact6: もし仮にあるものが確約しないとしたら航空機関士だし摩擦係数である fact7: この早さは燃焼する fact8: もしなにがしかの物は摩擦係数であるとすれば「それは発話しなくてしかも燃焼しない」ということは間違いだ fact9: 仮にその予定売り上げは燃焼するなら「この早さは摩擦係数だ」ということは成り立つ fact10: もし仮にあるものは紫蘇エキスであるとしたら燃焼する ; $hypothesis$ = この早さは摩擦係数でない ; $proof$ = 
fact1 -> int1: その予定売り上げは紫蘇エキスだ; fact10 -> int2: もしその予定売り上げは紫蘇エキスであるとしたら燃焼する; int1 & int2 -> int3: その予定売り上げは燃焼する; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: その予定売り上げは発話するしそれは紫蘇エキスだ
事実2: もし仮に「なにがしかのものは発話しないしおまけに燃焼するということはない」ということは成り立たないなら紫蘇エキスである
事実3: もしあの慣用色名が確約するならそれは燃焼しないかもしくはそれは航空機関士である
事実4: もしその予定売り上げが発話するとすればあの早さは燃焼する
事実5: 仮にあの慣用色名は発話しないなら「「その予定売り上げは紫蘇エキスであるし摩擦係数である」ということは正しい」ということは間違いである
事実6: もし仮にあるものが確約しないとしたら航空機関士だし摩擦係数である
事実7: この早さは燃焼する
事実8: もしなにがしかの物は摩擦係数であるとすれば「それは発話しなくてしかも燃焼しない」ということは間違いだ
事実9: 仮にその予定売り上げは燃焼するなら「この早さは摩擦係数だ」ということは成り立つ
事実10: もし仮にあるものは紫蘇エキスであるとしたら燃焼する

仮説: この早さは摩擦係数でない
1. 事実1から、推論1: "その予定売り上げは紫蘇エキスだ"が導かれる
2. 事実10から、推論2: "もしその予定売り上げは紫蘇エキスであるとしたら燃焼する"が導かれる
3. 推論1と推論2から、推論3: "その予定売り上げは燃焼する"が導かれる
4. 推論3と事実9から、仮説が否定される

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