そのまえまねLv.34は水っぽくない
fact1: もし仮に「あるモンスターは連想し易くなくて吝くない」ということは誤っているなら水っぽいということはない fact2: もしあのぷえぷなLv.56が作業し易いならばそのまえまねLv.34は水っぽい fact3: もしもあのぷえぷなLv.56は吝くないとすれば「あのぷえぷなLv.56は呆気なくないけれどそれは作業し易い」ということは成り立つということはない fact4: もしなんらかのモンスターは吝いということはないなら「呆気なくないし作業し易くない」ということは成り立たない fact5: あのぷえぷなLv.56は吝くない
fact4 -> int1: もしもあのぷえぷなLv.56は吝いということはないとすると「呆気なくなくて更にそれは作業し易くない」ということは成り立たない; int1 & fact5 -> int2: 「あのぷえぷなLv.56は呆気ないということはなくてさらに作業し易くない」ということは成り立たない;
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa});
そのまえまねLv.34は水っぽくない
fact6 -> int3: 仮に「そのまえまねLv.34は連想し易くないしその上それは吝くない」ということは成り立たないならそのまえまねLv.34は水っぽくない;
$facts$ = fact1: もし仮に「あるモンスターは連想し易くなくて吝くない」ということは誤っているなら水っぽいということはない fact2: もしあのぷえぷなLv.56が作業し易いならばそのまえまねLv.34は水っぽい fact3: もしもあのぷえぷなLv.56は吝くないとすれば「あのぷえぷなLv.56は呆気なくないけれどそれは作業し易い」ということは成り立つということはない fact4: もしなんらかのモンスターは吝いということはないなら「呆気なくないし作業し易くない」ということは成り立たない fact5: あのぷえぷなLv.56は吝くない ; $hypothesis$ = そのまえまねLv.34は水っぽくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__