あのぴくぴちょLv.43は素晴らしない
fact1: 「あのまいまちょLv.90は素晴らし」ということは正しい fact2: 「そのもゆもにLv.95は素晴らし」ということは成り立つ fact3: あのまいまちょLv.90が煙たいとすればこのみにゅみよLv.23は女らしい fact4: もしもあのぴくぴちょLv.43は如才無いなら「それは素晴らし」ということは真実である fact5: あのぴくぴちょLv.43は煙たい fact6: このみにゅみよLv.23は如才無い fact7: あのまいまちょLv.90は煙たい
fact3 & fact7 -> int1: このみにゅみよLv.23は女らしい;
fact3 & fact7 -> int1: {B}{b};
$facts$ = fact1: 「あのまいまちょLv.90は素晴らし」ということは正しい fact2: 「そのもゆもにLv.95は素晴らし」ということは成り立つ fact3: あのまいまちょLv.90が煙たいとすればこのみにゅみよLv.23は女らしい fact4: もしもあのぴくぴちょLv.43は如才無いなら「それは素晴らし」ということは真実である fact5: あのぴくぴちょLv.43は煙たい fact6: このみにゅみよLv.23は如才無い fact7: あのまいまちょLv.90は煙たい ; $hypothesis$ = あのぴくぴちょLv.43は素晴らしない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__