「そのぷちょぷにゃLv.19は言い出し難い」ということは確かだ
fact1: すべてのモンスターは言い出し難い fact2: もしも「なにがしかのモンスターは言い出し難い一方で割れ易いということはない」ということは事実と異なれば言い出し難くない
fact1 -> int1: すべてのモンスターは言い出し難い; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
そのぷちょぷにゃLv.19は言い出し難いということはない
fact3 -> int2: 「そのぷちょぷにゃLv.19は言い出し難いけれど割れ易いということはない」ということは誤りだとするとそのぷちょぷにゃLv.19は言い出し難くない;
$facts$ = fact1: すべてのモンスターは言い出し難い fact2: もしも「なにがしかのモンスターは言い出し難い一方で割れ易いということはない」ということは事実と異なれば言い出し難くない ; $hypothesis$ = 「そのぷちょぷにゃLv.19は言い出し難い」ということは確かだ ; $proof$ = 
fact1 -> int1: すべてのモンスターは言い出し難い; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__