そのぷちゃぷよLv.91は淡くない
fact1: このぽなぽやLv.6は付き難い fact2: 仮に何らかのモンスターは付き難いとすると「観光客らしくないがしかし起こり易い」ということは成り立つということはない fact3: 仮にこのぽなぽやLv.6が作り難くてそれが付き難いならばそのぷちゃぷよLv.91は淡くない fact4: このぽなぽやLv.6は作り難いしそれに観光客らしい
fact4 -> int1: 「このぽなぽやLv.6は作り難い」ということは成り立つ; int1 & fact1 -> int2: このぽなぽやLv.6は作り難くて付き難い; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact3 -> hypothesis;
そのぷちゃぷよLv.91は淡い
fact5 -> int3: 仮にそのぴえぴやLv.32は付き難いなら「それは観光客らしいということはないが起こり易い」ということは成り立たない;
$facts$ = fact1: このぽなぽやLv.6は付き難い fact2: 仮に何らかのモンスターは付き難いとすると「観光客らしくないがしかし起こり易い」ということは成り立つということはない fact3: 仮にこのぽなぽやLv.6が作り難くてそれが付き難いならばそのぷちゃぷよLv.91は淡くない fact4: このぽなぽやLv.6は作り難いしそれに観光客らしい ; $hypothesis$ = そのぷちゃぷよLv.91は淡くない ; $proof$ = 
fact4 -> int1: 「このぽなぽやLv.6は作り難い」ということは成り立つ; int1 & fact1 -> int2: このぽなぽやLv.6は作り難くて付き難い; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact3 -> hypothesis; __PROVED__