そのぷわぷにLv.22は微笑ましい
fact1: もし仮に構え易くないモンスターが言い触らすとすると目まぐるしくない fact2: そのぷわぷにLv.22は練磨する fact3: あのもにょもちょLv.28は馴染み易い fact4: もしもあのもにょもちょLv.28は馴染み易いなら「そのぷいぷなLv.15は練磨しないかまたは染み込み易くない」ということは事実と異なる fact5: 仮にそのぷいぷなLv.15が目まぐるしいならそのぷわぷにLv.22は微笑ましい fact6: もし仮にあのもにょもちょLv.28が喋り難いとすればこのぷにゃぷゆLv.36は構え易くないがしかし言い触らす fact7: あのぷにゃぷくLv.36は微笑ましい fact8: もしも「そのぷいぷなLv.15は練磨しないかあるいは染み込み易いということはないかあるいはどちらもである」ということは間違っているとすれば「そのぷいぷなLv.15は目まぐるしい」ということは確かだ fact9: もしも「なんらかのモンスターは馴染み易くないしその上目まぐるしくない」ということは嘘だとするとそれは微笑ましくない
fact4 & fact3 -> int1: 「そのぷいぷなLv.15は練磨しないかまたは染み込み易いということはないかもしくは両方ともだ」ということは確かでない; int1 & fact8 -> int2: そのぷいぷなLv.15は目まぐるしい; int2 & fact5 -> hypothesis;
fact4 & fact3 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact8 -> int2: {B}{b}; int2 & fact5 -> hypothesis;
「このぷにゃぷゆLv.36は微笑ましい」ということは本当だ
fact11 -> int3: もし仮にこのぷにゃぷゆLv.36は構え易くない一方で言い触らせばそれは目まぐるしくない;
$facts$ = fact1: もし仮に構え易くないモンスターが言い触らすとすると目まぐるしくない fact2: そのぷわぷにLv.22は練磨する fact3: あのもにょもちょLv.28は馴染み易い fact4: もしもあのもにょもちょLv.28は馴染み易いなら「そのぷいぷなLv.15は練磨しないかまたは染み込み易くない」ということは事実と異なる fact5: 仮にそのぷいぷなLv.15が目まぐるしいならそのぷわぷにLv.22は微笑ましい fact6: もし仮にあのもにょもちょLv.28が喋り難いとすればこのぷにゃぷゆLv.36は構え易くないがしかし言い触らす fact7: あのぷにゃぷくLv.36は微笑ましい fact8: もしも「そのぷいぷなLv.15は練磨しないかあるいは染み込み易いということはないかあるいはどちらもである」ということは間違っているとすれば「そのぷいぷなLv.15は目まぐるしい」ということは確かだ fact9: もしも「なんらかのモンスターは馴染み易くないしその上目まぐるしくない」ということは嘘だとするとそれは微笑ましくない ; $hypothesis$ = そのぷわぷにLv.22は微笑ましい ; $proof$ = 
fact4 & fact3 -> int1: 「そのぷいぷなLv.15は練磨しないかまたは染み込み易いということはないかもしくは両方ともだ」ということは確かでない; int1 & fact8 -> int2: そのぷいぷなLv.15は目まぐるしい; int2 & fact5 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact8 -> int2: {B}{b}; int2 & fact5 -> hypothesis; __PROVED__