そのまいまいLv.31は擽ったくない
fact1: もしもなにがしかのモンスターが満載するなら擽ったくなくて退行する fact2: もし仮にそのぴちゅぴくLv.76が凛々しくないとしたらそのぴちゅぴくLv.76は満載するしそれにそれは酸っぱい fact3: もし見易くないモンスターが十倍するとすればそれは擽ったい fact4: もし「そのぴちょぴえLv.26は酸っぱくないししかも擽ったくない」ということは偽なら「そのまいまいLv.31は擽ったいということはない」ということは成り立つ fact5: そのぴちゅぴくLv.76は満載しないとすると「そのぴちょぴえLv.26は酸っぱくなくておまけに擽ったくない」ということは成り立たない
fact3 -> int1: 仮にそのまいまいLv.31が見易くないけれど十倍するとしたらそのまいまいLv.31は擽ったい;
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa};
そのぴちゅぴくLv.76は擽ったくないけど退行する
fact6 -> int2: そのぴちゅぴくLv.76が満載するとするとそのぴちゅぴくLv.76は擽ったくないがしかし退行する;
$facts$ = fact1: もしもなにがしかのモンスターが満載するなら擽ったくなくて退行する fact2: もし仮にそのぴちゅぴくLv.76が凛々しくないとしたらそのぴちゅぴくLv.76は満載するしそれにそれは酸っぱい fact3: もし見易くないモンスターが十倍するとすればそれは擽ったい fact4: もし「そのぴちょぴえLv.26は酸っぱくないししかも擽ったくない」ということは偽なら「そのまいまいLv.31は擽ったいということはない」ということは成り立つ fact5: そのぴちゅぴくLv.76は満載しないとすると「そのぴちょぴえLv.26は酸っぱくなくておまけに擽ったくない」ということは成り立たない ; $hypothesis$ = そのまいまいLv.31は擽ったくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__