そのまちゅまにょLv.50は痩せ難い
fact1: 「そのもよもなLv.50は流布するということはない」ということは事実であるなら「そのぴなぴちゃLv.84は浅黒いけどそれは痩せ難くない」ということは偽である fact2: もしもとあるモンスターは浅黒くないとすると「滑り易いし加えて取っ付き難い」ということは誤っている fact3: 「そのぴなぴちゃLv.84は浅黒くない」ということは成り立つ fact4: 仮にそのぴなぴちゃLv.84は浅黒くないとすれば「そのもよもなLv.50は悪しいしそれにそれはしょっぱい」ということは間違っている fact5: もしそのぴなぴちゃLv.84は浅黒くないとすれば「そのもよもなLv.50は悪しくないがしょっぱい」ということは誤っている fact6: もしも「そのもよもなLv.50は流布しないかもしくはそれはちょろくないかまたは両方である」ということは確かであるならそのもよもなLv.50は流布しない fact7: 仮に「そのもよもなLv.50は悪しくないけれどそれはしょっぱい」ということは誤りならそのぴいぴわLv.81は取っ付き難い fact8: 「そのまちゅまにょLv.50は流布しない」ということは事実だとしたら「痩せ難い」ということは事実だ fact9: そのぴいぴわLv.81は滑り易い fact10: もし仮にそのもよもなLv.50が悪しいならばそのぴいぴわLv.81は取っ付き難い fact11: もし「そのぴいぴわLv.81は取っ付き難いし滑り易い」ということは事実だとするとそのまちゅまにょLv.50は流布しない
fact5 & fact3 -> int1: 「「そのもよもなLv.50は悪しくないけれどしょっぱい」ということは成り立たない」ということは本当だ; int1 & fact7 -> int2: そのぴいぴわLv.81は取っ付き難い; int2 & fact9 -> int3: そのぴいぴわLv.81は取っ付き難くてそれは滑り易い; int3 & fact11 -> int4: そのまちゅまにょLv.50は流布しない; int4 & fact8 -> hypothesis;
fact5 & fact3 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact7 -> int2: {B}{c}; int2 & fact9 -> int3: ({B}{c} & {C}{c}); int3 & fact11 -> int4: ¬{D}{d}; int4 & fact8 -> hypothesis;
このぷちゃぷくLv.97は滑り易くない
fact14 -> int5: もし仮に「このぷちゃぷくLv.97は浅黒くない」ということは確かだとすると「このぷちゃぷくLv.97は滑り易いしおまけに取っ付き難い」ということは成り立たない;
$facts$ = fact1: 「そのもよもなLv.50は流布するということはない」ということは事実であるなら「そのぴなぴちゃLv.84は浅黒いけどそれは痩せ難くない」ということは偽である fact2: もしもとあるモンスターは浅黒くないとすると「滑り易いし加えて取っ付き難い」ということは誤っている fact3: 「そのぴなぴちゃLv.84は浅黒くない」ということは成り立つ fact4: 仮にそのぴなぴちゃLv.84は浅黒くないとすれば「そのもよもなLv.50は悪しいしそれにそれはしょっぱい」ということは間違っている fact5: もしそのぴなぴちゃLv.84は浅黒くないとすれば「そのもよもなLv.50は悪しくないがしょっぱい」ということは誤っている fact6: もしも「そのもよもなLv.50は流布しないかもしくはそれはちょろくないかまたは両方である」ということは確かであるならそのもよもなLv.50は流布しない fact7: 仮に「そのもよもなLv.50は悪しくないけれどそれはしょっぱい」ということは誤りならそのぴいぴわLv.81は取っ付き難い fact8: 「そのまちゅまにょLv.50は流布しない」ということは事実だとしたら「痩せ難い」ということは事実だ fact9: そのぴいぴわLv.81は滑り易い fact10: もし仮にそのもよもなLv.50が悪しいならばそのぴいぴわLv.81は取っ付き難い fact11: もし「そのぴいぴわLv.81は取っ付き難いし滑り易い」ということは事実だとするとそのまちゅまにょLv.50は流布しない ; $hypothesis$ = そのまちゅまにょLv.50は痩せ難い ; $proof$ = 
fact5 & fact3 -> int1: 「「そのもよもなLv.50は悪しくないけれどしょっぱい」ということは成り立たない」ということは本当だ; int1 & fact7 -> int2: そのぴいぴわLv.81は取っ付き難い; int2 & fact9 -> int3: そのぴいぴわLv.81は取っ付き難くてそれは滑り易い; int3 & fact11 -> int4: そのまちゅまにょLv.50は流布しない; int4 & fact8 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact7 -> int2: {B}{c}; int2 & fact9 -> int3: ({B}{c} & {C}{c}); int3 & fact11 -> int4: ¬{D}{d}; int4 & fact8 -> hypothesis; __PROVED__