「「もし仮に揉み洗いするということはないとすると一体性・協同性な」物はある」ということは事実だということはない
fact1: あるものが揉み洗いしないとするとそれは一体性・協同性である fact2: もしあるものが揉み洗いするとするとそれは一体性・協同性である fact3: 「もし仮に揉み洗いするとしたら一体性・協同性である」ものはある fact4: 「もし納車しないなら発揮し易い」ものはある
fact1 -> int1: もしあの工面が揉み洗いしないならば一体性・協同性だ; int1 -> hypothesis;
$facts$ = fact1: あるものが揉み洗いしないとするとそれは一体性・協同性である fact2: もしあるものが揉み洗いするとするとそれは一体性・協同性である fact3: 「もし仮に揉み洗いするとしたら一体性・協同性である」ものはある fact4: 「もし納車しないなら発揮し易い」ものはある ; $hypothesis$ = 「「もし仮に揉み洗いするということはないとすると一体性・協同性な」物はある」ということは事実だということはない ; $proof$ = 
fact1 -> int1: もしあの工面が揉み洗いしないならば一体性・協同性だ; int1 -> hypothesis; __DISPROVED__
事実1: あるものが揉み洗いしないとするとそれは一体性・協同性である
事実2: もしあるものが揉み洗いするとするとそれは一体性・協同性である
事実3: 「もし仮に揉み洗いするとしたら一体性・協同性である」ものはある
事実4: 「もし納車しないなら発揮し易い」ものはある

仮説: 「「もし仮に揉み洗いするということはないとすると一体性・協同性な」物はある」ということは事実だということはない
1. 事実1から、推論1: "もしあの工面が揉み洗いしないならば一体性・協同性だ"が導かれる
2. 推論1から、仮説が否定される

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