あのモップは解離しない
fact1: この知識人達は陪臣であるしそれは善である fact2: この知識人達が陪臣だとしたらあのモップは解離する fact3: 仮にこの知識人達が解離すればあのモップは善である
fact1 -> int1: この知識人達は陪臣である; int1 & fact2 -> hypothesis;
$facts$ = fact1: この知識人達は陪臣であるしそれは善である fact2: この知識人達が陪臣だとしたらあのモップは解離する fact3: 仮にこの知識人達が解離すればあのモップは善である ; $hypothesis$ = あのモップは解離しない ; $proof$ = 
fact1 -> int1: この知識人達は陪臣である; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: この知識人達は陪臣であるしそれは善である
事実2: この知識人達が陪臣だとしたらあのモップは解離する
事実3: 仮にこの知識人達が解離すればあのモップは善である

仮説: あのモップは解離しない
1. 事実1から、推論1: "この知識人達は陪臣である"が導かれる
2. 推論1と事実2から、仮説が否定される

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