この移徙は理解致すということはない
fact1: この根本原因が実用しないならこの移徙は小難しい一方で併行しない fact2: もし小難しいものが併行しないならそれは理解致す fact3: この根本原因は実用しない
fact1 & fact3 -> int1: この移徙は小難しいがしかし併行しない; fact2 -> int2: もしこの移徙は小難しいが併行しないならば「それは理解致す」ということは真実だ; int1 & int2 -> hypothesis;
$facts$ = fact1: この根本原因が実用しないならこの移徙は小難しい一方で併行しない fact2: もし小難しいものが併行しないならそれは理解致す fact3: この根本原因は実用しない ; $hypothesis$ = この移徙は理解致すということはない ; $proof$ = 
fact1 & fact3 -> int1: この移徙は小難しいがしかし併行しない; fact2 -> int2: もしこの移徙は小難しいが併行しないならば「それは理解致す」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この根本原因が実用しないならこの移徙は小難しい一方で併行しない
事実2: もし小難しいものが併行しないならそれは理解致す
事実3: この根本原因は実用しない

仮説: この移徙は理解致すということはない
1. 事実1と事実3から、推論1: "この移徙は小難しいがしかし併行しない"が導かれる
2. 事実2から、推論2: "もしこの移徙は小難しいが併行しないならば「それは理解致す」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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