「あのぷやぷちょLv.51は着せがましいし加えて御高い」ということは成り立たない
fact1: あのぷやぷちょLv.51は着せがましい fact2: 「あらゆるモンスターは忝いしまたそれは馴れ馴れしい」ということは本当である fact3: 仮にこのもいもにゅLv.43が馴れ馴れしいとすると露出する fact4: 仮にあのぷやぷちょLv.51は忝いとしたら「あのぷやぷちょLv.51は御高いということはない」ということは間違っている
fact2 -> int1: あのぷやぷちょLv.51は忝いしかつ馴れ馴れしい; int1 -> int2: あのぷやぷちょLv.51は忝い; int2 & fact4 -> int3: 「あのぷやぷちょLv.51は御高い」ということは正しい; int3 & fact1 -> hypothesis;
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact1 -> hypothesis;
$facts$ = fact1: あのぷやぷちょLv.51は着せがましい fact2: 「あらゆるモンスターは忝いしまたそれは馴れ馴れしい」ということは本当である fact3: 仮にこのもいもにゅLv.43が馴れ馴れしいとすると露出する fact4: 仮にあのぷやぷちょLv.51は忝いとしたら「あのぷやぷちょLv.51は御高いということはない」ということは間違っている ; $hypothesis$ = 「あのぷやぷちょLv.51は着せがましいし加えて御高い」ということは成り立たない ; $proof$ = 
fact2 -> int1: あのぷやぷちょLv.51は忝いしかつ馴れ馴れしい; int1 -> int2: あのぷやぷちょLv.51は忝い; int2 & fact4 -> int3: 「あのぷやぷちょLv.51は御高い」ということは正しい; int3 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact1 -> hypothesis; __DISPROVED__