このまにゃまにゅLv.67は生白い
fact1: 仮にこのぴなぴちゃLv.20はせせこましくないとすると「「このまにゃまにゅLv.67は苛立たしいかもしくはせせこましくない」ということは事実だ」ということは間違いである fact2: 仮に「そのぽちょぽねLv.46は茶色っぽくないかもしくはそれは生白い」ということは誤りだとすればこのまにゃまにゅLv.67は生白くない fact3: そのぽちょぽねLv.46は流され易い fact4: 仮にとあるモンスターは流され易いということはないならば「それは茶色っぽいしさらに肌寒い」ということは間違いだ fact5: もし仮にとあるモンスターは流され易いなら「そのぽちょぽねLv.46は茶色っぽくない」ということは成り立つ fact6: もしもこのぴなぴちゃLv.20が肌寒くてそれが茶色っぽいとしたらこのぴなぴちゃLv.20はせせこましくない fact7: もしもそのぽちょぽねLv.46が流され易いとするとこのぴなぴちゃLv.20は茶色っぽい fact8: 「このぴなぴちゃLv.20は肌寒い」ということは事実だ fact9: もし「「このぴいぴにょLv.47は茶色っぽくて肌寒い」ということは成り立たない」ということは真実であるならこのぴなぴちゃLv.20は茶色っぽくない fact10: 「このまにゃまにゅLv.67は苛立たしいかもしくはせせこましいということはないかまたは両方ともである」ということは間違いであるとすればそれは生白い
fact7 & fact3 -> int1: このぴなぴちゃLv.20は茶色っぽい; int1 & fact8 -> int2: このぴなぴちゃLv.20は肌寒いしそれにそれは茶色っぽい; int2 & fact6 -> int3: このぴなぴちゃLv.20はせせこましいということはない; int3 & fact1 -> int4: 「このまにゃまにゅLv.67は苛立たしいかまたはせせこましいということはないかあるいはどちらもだ」ということは間違いだ; int4 & fact10 -> hypothesis;
fact7 & fact3 -> int1: {B}{b}; int1 & fact8 -> int2: ({C}{b} & {B}{b}); int2 & fact6 -> int3: ¬{D}{b}; int3 & fact1 -> int4: ¬({F}{c} v ¬{D}{c}); int4 & fact10 -> hypothesis;
そのぽちょぽねLv.46は茶色っぽくない
$facts$ = fact1: 仮にこのぴなぴちゃLv.20はせせこましくないとすると「「このまにゃまにゅLv.67は苛立たしいかもしくはせせこましくない」ということは事実だ」ということは間違いである fact2: 仮に「そのぽちょぽねLv.46は茶色っぽくないかもしくはそれは生白い」ということは誤りだとすればこのまにゃまにゅLv.67は生白くない fact3: そのぽちょぽねLv.46は流され易い fact4: 仮にとあるモンスターは流され易いということはないならば「それは茶色っぽいしさらに肌寒い」ということは間違いだ fact5: もし仮にとあるモンスターは流され易いなら「そのぽちょぽねLv.46は茶色っぽくない」ということは成り立つ fact6: もしもこのぴなぴちゃLv.20が肌寒くてそれが茶色っぽいとしたらこのぴなぴちゃLv.20はせせこましくない fact7: もしもそのぽちょぽねLv.46が流され易いとするとこのぴなぴちゃLv.20は茶色っぽい fact8: 「このぴなぴちゃLv.20は肌寒い」ということは事実だ fact9: もし「「このぴいぴにょLv.47は茶色っぽくて肌寒い」ということは成り立たない」ということは真実であるならこのぴなぴちゃLv.20は茶色っぽくない fact10: 「このまにゃまにゅLv.67は苛立たしいかもしくはせせこましいということはないかまたは両方ともである」ということは間違いであるとすればそれは生白い ; $hypothesis$ = このまにゃまにゅLv.67は生白い ; $proof$ = 
fact7 & fact3 -> int1: このぴなぴちゃLv.20は茶色っぽい; int1 & fact8 -> int2: このぴなぴちゃLv.20は肌寒いしそれにそれは茶色っぽい; int2 & fact6 -> int3: このぴなぴちゃLv.20はせせこましいということはない; int3 & fact1 -> int4: 「このまにゃまにゅLv.67は苛立たしいかまたはせせこましいということはないかあるいはどちらもだ」ということは間違いだ; int4 & fact10 -> hypothesis; __PROVED__
fact7 & fact3 -> int1: {B}{b}; int1 & fact8 -> int2: ({C}{b} & {B}{b}); int2 & fact6 -> int3: ¬{D}{b}; int3 & fact1 -> int4: ¬({F}{c} v ¬{D}{c}); int4 & fact10 -> hypothesis; __PROVED__