「このオペレーションシステムは軟らかくないししかも滑らすということはない」ということは誤りである
fact1: その遺産動機は滑らさないし更に洒落臭くない fact2: このオペレーションシステムは軟らかいということはないしおまけにそれは滑らさない fact3: もしもこの二項道路はホルムアルデヒドだということはないとしたら「このオペレーションシステムは軟らかくないしさらに滑らさない」ということは偽だ fact4: このオペレーションシステムは滑らさない
fact2 -> hypothesis;
fact2 -> hypothesis;
「「このオペレーションシステムは軟らかくないしおまけに滑らさない」ということは確かである」ということは誤りである
$facts$ = fact1: その遺産動機は滑らさないし更に洒落臭くない fact2: このオペレーションシステムは軟らかいということはないしおまけにそれは滑らさない fact3: もしもこの二項道路はホルムアルデヒドだということはないとしたら「このオペレーションシステムは軟らかくないしさらに滑らさない」ということは偽だ fact4: このオペレーションシステムは滑らさない ; $hypothesis$ = 「このオペレーションシステムは軟らかくないししかも滑らすということはない」ということは誤りである ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: その遺産動機は滑らさないし更に洒落臭くない
事実2: このオペレーションシステムは軟らかいということはないしおまけにそれは滑らさない
事実3: もしもこの二項道路はホルムアルデヒドだということはないとしたら「このオペレーションシステムは軟らかくないしさらに滑らさない」ということは偽だ
事実4: このオペレーションシステムは滑らさない

仮説: 「このオペレーションシステムは軟らかくないししかも滑らすということはない」ということは誤りである
1. 事実2から、仮説が否定される

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