「この存在有無は期待し難いししかも移ろい易い」ということは誤っている
fact1: この開始ボタンは赤しということはないかもしくは運搬用であるかあるいは両方ともだ fact2: この存在有無は移ろい易い fact3: もし仮にとあるものが赤しないかあるいはそれは運搬用であるかまたは両方であるとしたらそれは時間性能だ fact4: もしもこの開始ボタンが時間性能ならばこの存在有無は期待し難い
fact3 -> int1: もしもこの開始ボタンが赤しということはないかあるいは運搬用であるかあるいは両方ともだとしたら時間性能だ; int1 & fact1 -> int2: この開始ボタンは時間性能だ; int2 & fact4 -> int3: この存在有無は期待し難い; int3 & fact2 -> hypothesis;
$facts$ = fact1: この開始ボタンは赤しということはないかもしくは運搬用であるかあるいは両方ともだ fact2: この存在有無は移ろい易い fact3: もし仮にとあるものが赤しないかあるいはそれは運搬用であるかまたは両方であるとしたらそれは時間性能だ fact4: もしもこの開始ボタンが時間性能ならばこの存在有無は期待し難い ; $hypothesis$ = 「この存在有無は期待し難いししかも移ろい易い」ということは誤っている ; $proof$ = 
fact3 -> int1: もしもこの開始ボタンが赤しということはないかあるいは運搬用であるかあるいは両方ともだとしたら時間性能だ; int1 & fact1 -> int2: この開始ボタンは時間性能だ; int2 & fact4 -> int3: この存在有無は期待し難い; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: この開始ボタンは赤しということはないかもしくは運搬用であるかあるいは両方ともだ
事実2: この存在有無は移ろい易い
事実3: もし仮にとあるものが赤しないかあるいはそれは運搬用であるかまたは両方であるとしたらそれは時間性能だ
事実4: もしもこの開始ボタンが時間性能ならばこの存在有無は期待し難い

仮説: 「この存在有無は期待し難いししかも移ろい易い」ということは誤っている
1. 事実3から、推論1: "もしもこの開始ボタンが赤しということはないかあるいは運搬用であるかあるいは両方ともだとしたら時間性能だ"が導かれる
2. 推論1と事実1から、推論2: "この開始ボタンは時間性能だ"が導かれる
3. 推論2と事実4から、推論3: "この存在有無は期待し難い"が導かれる
4. 推論3と事実2から、仮説が否定される

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