そのもねものLv.77は寒々しい
fact1: あのぴゆぴいLv.90は走り易いしまた収む fact2: もし仮にあのぴゆぴいLv.90は走り易いなら「「あのみいみにょLv.51は送金出来るということはなくてしかもそれはアクセスし易くない」ということは確かであるということはない」ということは本当である fact3: もし「あのみいみにょLv.51は送金出来ないし加えてアクセスし易くない」ということは成り立たないとするとそのもねものLv.77は寒々しいということはない fact4: もしもあるモンスターが収むないならそれは寒々しくてまた走り易い fact5: あるモンスターが送金出来なくてそれがアクセスし易いということはないならそれは収むない
fact1 -> int1: あのぴゆぴいLv.90は走り易い; int1 & fact2 -> int2: 「あのみいみにょLv.51は送金出来るということはなくて更にアクセスし易くない」ということは成り立つということはない; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ¬(¬{C}{b} & ¬{D}{b}); int2 & fact3 -> hypothesis;
このぷよぷちゅLv.84は寒々しい
fact7 -> int3: もし仮にこのぷよぷちゅLv.84が収むないならこのぷよぷちゅLv.84は寒々しくて加えて走り易い; fact6 -> int4: 仮にこのぷよぷちゅLv.84が送金出来ないしおまけにアクセスし易いということはないとすれば「このぷよぷちゅLv.84は収むということはない」ということは成り立つ;
$facts$ = fact1: あのぴゆぴいLv.90は走り易いしまた収む fact2: もし仮にあのぴゆぴいLv.90は走り易いなら「「あのみいみにょLv.51は送金出来るということはなくてしかもそれはアクセスし易くない」ということは確かであるということはない」ということは本当である fact3: もし「あのみいみにょLv.51は送金出来ないし加えてアクセスし易くない」ということは成り立たないとするとそのもねものLv.77は寒々しいということはない fact4: もしもあるモンスターが収むないならそれは寒々しくてまた走り易い fact5: あるモンスターが送金出来なくてそれがアクセスし易いということはないならそれは収むない ; $hypothesis$ = そのもねものLv.77は寒々しい ; $proof$ = 
fact1 -> int1: あのぴゆぴいLv.90は走り易い; int1 & fact2 -> int2: 「あのみいみにょLv.51は送金出来るということはなくて更にアクセスし易くない」ということは成り立つということはない; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ¬(¬{C}{b} & ¬{D}{b}); int2 & fact3 -> hypothesis; __DISPROVED__