このぴにょぴにゃLv.41は彼女らしい
fact1: 「そのぽにぽちゃLv.37は口煩いということはない」ということは正しいとしたら「それは灰色っぽいししかも自己規定する」ということは真実である fact2: すべてのモンスターは彼女らしい fact3: 灰色っぽいモンスターは奮起する fact4: もしとあるモンスターが奮起しないなら彼女らしいし加えて継承出来る fact5: もし仮になんらかのモンスターは奮起するとすると「彼女らしくないし上がり出さない」ということは誤っている
fact2 -> int1: すべてのモンスターは彼女らしい; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは継承出来る
fact6 -> int2: もしもこのぴにょぴにゃLv.41が奮起するということはないとすればこのぴにょぴにゃLv.41は彼女らしいしそれは継承出来る;
$facts$ = fact1: 「そのぽにぽちゃLv.37は口煩いということはない」ということは正しいとしたら「それは灰色っぽいししかも自己規定する」ということは真実である fact2: すべてのモンスターは彼女らしい fact3: 灰色っぽいモンスターは奮起する fact4: もしとあるモンスターが奮起しないなら彼女らしいし加えて継承出来る fact5: もし仮になんらかのモンスターは奮起するとすると「彼女らしくないし上がり出さない」ということは誤っている ; $hypothesis$ = このぴにょぴにゃLv.41は彼女らしい ; $proof$ = 
fact2 -> int1: すべてのモンスターは彼女らしい; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__