このまいまわLv.92は安堵し難くない
fact1: このぷのぷにょLv.27は生み易い fact2: 引き難いモンスターは生み易くないし拭い難くない fact3: もしもこのぷのぷにょLv.27が生み易いとしたらこのもいもにゃLv.58は拭い難い fact4: もしこのもいもにゃLv.58が拭い難いとしたらこのまいまわLv.92は安堵し難い
fact3 & fact1 -> int1: このもいもにゃLv.58は拭い難い; int1 & fact4 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
このまいまわLv.92は安堵し難くない
fact5 -> int2: このぷのぷにょLv.27が引き難いとすればそれは生み易くないし拭い難くない;
$facts$ = fact1: このぷのぷにょLv.27は生み易い fact2: 引き難いモンスターは生み易くないし拭い難くない fact3: もしもこのぷのぷにょLv.27が生み易いとしたらこのもいもにゃLv.58は拭い難い fact4: もしこのもいもにゃLv.58が拭い難いとしたらこのまいまわLv.92は安堵し難い ; $hypothesis$ = このまいまわLv.92は安堵し難くない ; $proof$ = 
fact3 & fact1 -> int1: このもいもにゃLv.58は拭い難い; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> hypothesis; __DISPROVED__