以下のように仮定する。そのぽなぽねLv.65は発揮し難い
fact1: 「あのぷにぷわLv.19は奏で始める」ということは確かである fact2: もし仮に「なにがしかのモンスターは抜け易くないかもしくは変わり易いということはない」ということは成り立たないとするとそれは受洗しない fact3: もし仮にそのぽなぽねLv.65が発揮し難いとするとあのぷにぷわLv.19は選択され易くないが奏で始める
void -> assump1: 以下のように仮定する。そのぽなぽねLv.65は発揮し難い; fact3 & assump1 -> int1: あのぷにぷわLv.19は選択され易いということはないがしかし奏で始める; int1 -> int2: あのぷにぷわLv.19は選択され易くない;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> int2: ¬{AA}{b};
そのもゆもよLv.72は受洗するということはないがしかし発揮し難い
fact4 -> int3: 仮に「そのもゆもよLv.72は抜け易くないかあるいはそれは変わり易くない」ということは成り立たないとするとそれは受洗しない;
$facts$ = fact1: 「あのぷにぷわLv.19は奏で始める」ということは確かである fact2: もし仮に「なにがしかのモンスターは抜け易くないかもしくは変わり易いということはない」ということは成り立たないとするとそれは受洗しない fact3: もし仮にそのぽなぽねLv.65が発揮し難いとするとあのぷにぷわLv.19は選択され易くないが奏で始める ; $hypothesis$ = 以下のように仮定する。そのぽなぽねLv.65は発揮し難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__