「この白眼が混じり合うけれど出入りし易くないとすればこの白眼は起こし難い」ということは成り立たない
fact1: 「何らかの物は混じり合うけれど出入りし易くない」ということは確かであるなら起こし難い
$facts$ = fact1: 「何らかの物は混じり合うけれど出入りし易くない」ということは確かであるなら起こし難い ; $hypothesis$ = 「この白眼が混じり合うけれど出入りし易くないとすればこの白眼は起こし難い」ということは成り立たない ; $proof$ = 
事実1: 「何らかの物は混じり合うけれど出入りし易くない」ということは確かであるなら起こし難い

仮説: 「この白眼が混じり合うけれど出入りし易くないとすればこの白眼は起こし難い」ということは成り立たない