あのぷなぷにょLv.55は御濃くない
fact1: もし比較し難くないモンスターは失神するとすれば「懐かしということはない」ということは成り立つ fact2: あのぷなぷにょLv.55は支持し続ける fact3: あのぷなぷにょLv.55はでかい fact4: なにがしかのモンスターは懐かしないとすれば「支持し続けるしでかくない」ということは間違いだ
void -> assump1: 以下のように仮定する。あのぷなぷにょLv.55は御濃い; assump1 & fact3 -> int1: あのぷなぷにょLv.55は御濃いしおまけにでかい;
void -> assump1: {A}{a}; assump1 & fact3 -> int1: ({A}{a} & {B}{a});
以下のように仮定する。あのぷなぷにょLv.55は御濃い
fact6 -> int2: もしも「あのぷなぷにょLv.55は懐かしない」ということは事実なら「「あのぷなぷにょLv.55は支持し続けるがでかくない」ということは成り立たない」ということは事実と異ならない; fact5 -> int3: 仮にあのぷなぷにょLv.55が比較し難くないけれどそれが失神するとするとそれは懐かしない;
$facts$ = fact1: もし比較し難くないモンスターは失神するとすれば「懐かしということはない」ということは成り立つ fact2: あのぷなぷにょLv.55は支持し続ける fact3: あのぷなぷにょLv.55はでかい fact4: なにがしかのモンスターは懐かしないとすれば「支持し続けるしでかくない」ということは間違いだ ; $hypothesis$ = あのぷなぷにょLv.55は御濃くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__