「このぷにぷえLv.86は弱々しくない」ということは本当である
fact1: 「あのもなもやLv.20は弱々しい」ということは成り立つ fact2: 「このぷにぷえLv.86が御話しに成るしさらにそれが弱々しいとしたらこのぴくぴのLv.99は人らしくない」ということは確かである fact3: もし「このぴくぴのLv.99は果てし無くない」ということは成り立てばこのぷにぷえLv.86は人らしいしさらに弱々しい fact4: このぴくぴのLv.99は果てし無い fact5: なにがしかのモンスターが御話しに成るということはないとすればそれは果てし無いしかつ人らしい fact6: このぴくぴのLv.99は人らしいしさらにそれは果てし無い fact7: このぴくぴのLv.99は御話しに成る
fact6 -> int1: このぴくぴのLv.99は人らしい; int1 & fact7 -> int2: このぴくぴのLv.99は人らしいしさらに御話しに成る;
fact6 -> int1: {A}{a}; int1 & fact7 -> int2: ({A}{a} & {C}{a});
このぷにぷえLv.86は弱々しい
$facts$ = fact1: 「あのもなもやLv.20は弱々しい」ということは成り立つ fact2: 「このぷにぷえLv.86が御話しに成るしさらにそれが弱々しいとしたらこのぴくぴのLv.99は人らしくない」ということは確かである fact3: もし「このぴくぴのLv.99は果てし無くない」ということは成り立てばこのぷにぷえLv.86は人らしいしさらに弱々しい fact4: このぴくぴのLv.99は果てし無い fact5: なにがしかのモンスターが御話しに成るということはないとすればそれは果てし無いしかつ人らしい fact6: このぴくぴのLv.99は人らしいしさらにそれは果てし無い fact7: このぴくぴのLv.99は御話しに成る ; $hypothesis$ = 「このぷにぷえLv.86は弱々しくない」ということは本当である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__