そのκＳは賑わせる
fact1: 「その二層クロスプライ材は走るということはなくてそれは適用しない」ということは偽である fact2: もしも「何らかの物は半年後だが変え難くない」ということは誤りだとするとそれは賑わせる fact3: 「その二層クロスプライ材は走らなくておまけにそれは適用しない」ということは成り立たないならばそのκＳは走らない fact4: 「その二層クロスプライ材は走るがしかし適用しない」ということは誤りである fact5: なんらかの物は走るということはないならば「それは半年後であるが変え難くない」ということは成り立つということはない
fact5 -> int1: もし仮にそのκＳは走らないなら「半年後だけど変え難いということはない」ということは成り立たない; fact3 & fact1 -> int2: そのκＳは走らない; int1 & int2 -> int3: 「そのκＳは半年後だ一方で変え難いということはない」ということは成り立たない; fact2 -> int4: もし「そのκＳは半年後であるがしかし変え難くない」ということは間違いであるならば「賑わせる」ということは成り立つ; int3 & int4 -> hypothesis;
$facts$ = fact1: 「その二層クロスプライ材は走るということはなくてそれは適用しない」ということは偽である fact2: もしも「何らかの物は半年後だが変え難くない」ということは誤りだとするとそれは賑わせる fact3: 「その二層クロスプライ材は走らなくておまけにそれは適用しない」ということは成り立たないならばそのκＳは走らない fact4: 「その二層クロスプライ材は走るがしかし適用しない」ということは誤りである fact5: なんらかの物は走るということはないならば「それは半年後であるが変え難くない」ということは成り立つということはない ; $hypothesis$ = そのκＳは賑わせる ; $proof$ = 
fact5 -> int1: もし仮にそのκＳは走らないなら「半年後だけど変え難いということはない」ということは成り立たない; fact3 & fact1 -> int2: そのκＳは走らない; int1 & int2 -> int3: 「そのκＳは半年後だ一方で変え難いということはない」ということは成り立たない; fact2 -> int4: もし「そのκＳは半年後であるがしかし変え難くない」ということは間違いであるならば「賑わせる」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: 「その二層クロスプライ材は走るということはなくてそれは適用しない」ということは偽である
事実2: もしも「何らかの物は半年後だが変え難くない」ということは誤りだとするとそれは賑わせる
事実3: 「その二層クロスプライ材は走らなくておまけにそれは適用しない」ということは成り立たないならばそのκＳは走らない
事実4: 「その二層クロスプライ材は走るがしかし適用しない」ということは誤りである
事実5: なんらかの物は走るということはないならば「それは半年後であるが変え難くない」ということは成り立つということはない

仮説: そのκＳは賑わせる
1. 事実5から、推論1: "もし仮にそのκＳは走らないなら「半年後だけど変え難いということはない」ということは成り立たない"が導かれる
2. 事実3と事実1から、推論2: "そのκＳは走らない"が導かれる
3. 推論1と推論2から、推論3: "「そのκＳは半年後だ一方で変え難いということはない」ということは成り立たない"が導かれる
4. 事実2から、推論4: "もし「そのκＳは半年後であるがしかし変え難くない」ということは間違いであるならば「賑わせる」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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