その一般的プロセスは座作業でない
fact1: もしその次例がコンテクストであるとするとその一般的プロセスは楽しが座作業でない fact2: その一般的プロセスは楽し fact3: その一般的プロセスは座作業だしまた楽し fact4: このクレーンは座作業だしまた両替する
fact3 -> hypothesis;
fact3 -> hypothesis;
その一般的プロセスは座作業でない
$facts$ = fact1: もしその次例がコンテクストであるとするとその一般的プロセスは楽しが座作業でない fact2: その一般的プロセスは楽し fact3: その一般的プロセスは座作業だしまた楽し fact4: このクレーンは座作業だしまた両替する ; $hypothesis$ = その一般的プロセスは座作業でない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしその次例がコンテクストであるとするとその一般的プロセスは楽しが座作業でない
事実2: その一般的プロセスは楽し
事実3: その一般的プロセスは座作業だしまた楽し
事実4: このクレーンは座作業だしまた両替する

仮説: その一般的プロセスは座作業でない
1. 事実3から、仮説が否定される

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