このぷよぷにゅLv.3は寂しい
fact1: ひ弱いしまた冗談ぽくないモンスターは描き易くない fact2: もし仮に「このみいみちゃLv.33はひ弱いがしかし描き易いということはない」ということは嘘であるとしたらこのぷよぷにゅLv.3は寂しい fact3: 仮に「何らかのモンスターは冗談ぽくないがしかしそれは描き易い」ということは間違いであるならば寂しくない fact4: 仮にこのぽいぽえLv.40が描き易くないとしたらあのまのまちゃLv.62は打ち欠かないがしかし辛気臭い fact5: 仮にこのみいみちゃLv.33は冗談ぽくないなら「それはひ弱いしそれは描き易いということはない」ということは誤っている fact6: 仮にあるモンスターはひ弱いとすれば「それは冗談ぽくないしおまけに描き易い」ということは事実と異なる fact7: このぽいぽえLv.40が習わさないけど取得し易いとすれば「このみいみちゃLv.33は冗談ぽくない」ということは真実だ fact8: そのもえもゆLv.59は成され易くないがしかし読書する fact9: 「このぽいぽえLv.40は習わさないが取得し易い」ということは本当である
fact7 & fact9 -> int1: このみいみちゃLv.33は冗談ぽくない; int1 & fact5 -> int2: 「「このみいみちゃLv.33はひ弱いけれど描き易くない」ということは嘘である」ということは真実だ; int2 & fact2 -> hypothesis;
fact7 & fact9 -> int1: ¬{B}{b}; int1 & fact5 -> int2: ¬({C}{b} & ¬{A}{b}); int2 & fact2 -> hypothesis;
このぷよぷにゅLv.3は寂しいということはない
fact11 -> int3: 「このぷよぷにゅLv.3は冗談ぽくないけれど描き易い」ということは事実と異なるとすると寂しいということはない; fact10 -> int4: 仮にこのぷよぷにゅLv.3はひ弱いとしたら「冗談ぽくないし描き易い」ということは事実でない;
$facts$ = fact1: ひ弱いしまた冗談ぽくないモンスターは描き易くない fact2: もし仮に「このみいみちゃLv.33はひ弱いがしかし描き易いということはない」ということは嘘であるとしたらこのぷよぷにゅLv.3は寂しい fact3: 仮に「何らかのモンスターは冗談ぽくないがしかしそれは描き易い」ということは間違いであるならば寂しくない fact4: 仮にこのぽいぽえLv.40が描き易くないとしたらあのまのまちゃLv.62は打ち欠かないがしかし辛気臭い fact5: 仮にこのみいみちゃLv.33は冗談ぽくないなら「それはひ弱いしそれは描き易いということはない」ということは誤っている fact6: 仮にあるモンスターはひ弱いとすれば「それは冗談ぽくないしおまけに描き易い」ということは事実と異なる fact7: このぽいぽえLv.40が習わさないけど取得し易いとすれば「このみいみちゃLv.33は冗談ぽくない」ということは真実だ fact8: そのもえもゆLv.59は成され易くないがしかし読書する fact9: 「このぽいぽえLv.40は習わさないが取得し易い」ということは本当である ; $hypothesis$ = このぷよぷにゅLv.3は寂しい ; $proof$ = 
fact7 & fact9 -> int1: このみいみちゃLv.33は冗談ぽくない; int1 & fact5 -> int2: 「「このみいみちゃLv.33はひ弱いけれど描き易くない」ということは嘘である」ということは真実だ; int2 & fact2 -> hypothesis; __PROVED__
fact7 & fact9 -> int1: ¬{B}{b}; int1 & fact5 -> int2: ¬({C}{b} & ¬{A}{b}); int2 & fact2 -> hypothesis; __PROVED__