「その取り付け工事は戦闘的労働運動でない」ということは確かだ
fact1: 仮になにがしかのものが梳かないとすれば素っ恍けないかまたはそれは言い捨てない fact2: もし仮にあのダニエル書が素っ恍けないかあるいはそれは言い捨てないかあるいはどちらもであるとしたらＷＨだ fact3: その取り付け工事はＷＨだ fact4: もしその取り付け工事がＷＨならばそれは戦闘的労働運動である
fact4 & fact3 -> hypothesis;
その取り付け工事は戦闘的労働運動だということはない
fact5 -> int1: もしもあのダニエル書が梳かないとすればそれは素っ恍けないかまたは言い捨てないか両方ともだ;
$facts$ = fact1: 仮になにがしかのものが梳かないとすれば素っ恍けないかまたはそれは言い捨てない fact2: もし仮にあのダニエル書が素っ恍けないかあるいはそれは言い捨てないかあるいはどちらもであるとしたらＷＨだ fact3: その取り付け工事はＷＨだ fact4: もしその取り付け工事がＷＨならばそれは戦闘的労働運動である ; $hypothesis$ = 「その取り付け工事は戦闘的労働運動でない」ということは確かだ ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものが梳かないとすれば素っ恍けないかまたはそれは言い捨てない
事実2: もし仮にあのダニエル書が素っ恍けないかあるいはそれは言い捨てないかあるいはどちらもであるとしたらＷＨだ
事実3: その取り付け工事はＷＨだ
事実4: もしその取り付け工事がＷＨならばそれは戦闘的労働運動である

仮説: 「その取り付け工事は戦闘的労働運動でない」ということは確かだ
1. 事実4と事実3から、仮説が否定される

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