このぷのぷゆLv.75は美し
fact1: このもやもちゃLv.30が侘しいとすればこのぷのぷゆLv.75は美し fact2: 「もしもあるモンスターが愛用すればそれは侘しい」ということは成り立つ fact3: もしもこのもやもちゃLv.30が行き着くとすると侘しい fact4: もしも「あのぷちゃぷえLv.12は行き着かない」ということは成り立つとするとあのみにょみなLv.1は愛用する fact5: 「このもやもちゃLv.30はなあいしかつそれは侘しい」ということは間違いだ fact6: もし仮にあのぷちゃぷえLv.12が愛用すればこのもやもちゃLv.30は行き着く fact7: 「あのぷちゃぷえLv.12は愛用する」ということは正しい
fact6 & fact7 -> int1: このもやもちゃLv.30は行き着く; int1 & fact3 -> int2: このもやもちゃLv.30は侘しい; int2 & fact1 -> hypothesis;
fact6 & fact7 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
このぷのぷゆLv.75は美しない
$facts$ = fact1: このもやもちゃLv.30が侘しいとすればこのぷのぷゆLv.75は美し fact2: 「もしもあるモンスターが愛用すればそれは侘しい」ということは成り立つ fact3: もしもこのもやもちゃLv.30が行き着くとすると侘しい fact4: もしも「あのぷちゃぷえLv.12は行き着かない」ということは成り立つとするとあのみにょみなLv.1は愛用する fact5: 「このもやもちゃLv.30はなあいしかつそれは侘しい」ということは間違いだ fact6: もし仮にあのぷちゃぷえLv.12が愛用すればこのもやもちゃLv.30は行き着く fact7: 「あのぷちゃぷえLv.12は愛用する」ということは正しい ; $hypothesis$ = このぷのぷゆLv.75は美し ; $proof$ = 
fact6 & fact7 -> int1: このもやもちゃLv.30は行き着く; int1 & fact3 -> int2: このもやもちゃLv.30は侘しい; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact7 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__