この一遍は犯し易くない
fact1: この一遍は犯し易い fact2: もしなんらかのものが三筆だとすればそれは寒過ぎないけれど勘違いし易い fact3: もしなにがしかの物は寒過ぎないけど勘違いし易いとすると犯し易い
fact1 -> hypothesis;
fact1 -> hypothesis;
この待ち合い所は犯し易い
fact4 -> int1: もしこの待ち合い所が寒過ぎないけど勘違いし易いとしたら犯し易い; fact5 -> int2: もしもこの待ち合い所が三筆だとすればそれは寒過ぎないが勘違いし易い;
$facts$ = fact1: この一遍は犯し易い fact2: もしなんらかのものが三筆だとすればそれは寒過ぎないけれど勘違いし易い fact3: もしなにがしかの物は寒過ぎないけど勘違いし易いとすると犯し易い ; $hypothesis$ = この一遍は犯し易くない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この一遍は犯し易い
事実2: もしなんらかのものが三筆だとすればそれは寒過ぎないけれど勘違いし易い
事実3: もしなにがしかの物は寒過ぎないけど勘違いし易いとすると犯し易い

仮説: この一遍は犯し易くない
1. 事実1から、仮説が否定される

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