そのぴなぴのLv.50は心苦しくない
fact1: そのぴなぴのLv.50は故無くて御寂しい fact2: もし仮に「そのぴなぴのLv.50は御寂しい」ということは正しいならそのぴなぴのLv.50は忌ま忌ましい fact3: 尊しモンスターは故無い fact4: このぽくぽなLv.3は心弱くてまた御寂しい fact5: そのぴなぴのLv.50は忌ま忌ましいならば「そのぴなぴのLv.50はせせこましい」ということは成り立つ
fact1 -> int1: 「そのぴなぴのLv.50は御寂しくない」ということは誤っている; int1 & fact2 -> int2: そのぴなぴのLv.50は忌ま忌ましい;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a};
もし仮にそのぴなぴのLv.50が尊しならばそれは故無い
fact6 -> hypothesis;
$facts$ = fact1: そのぴなぴのLv.50は故無くて御寂しい fact2: もし仮に「そのぴなぴのLv.50は御寂しい」ということは正しいならそのぴなぴのLv.50は忌ま忌ましい fact3: 尊しモンスターは故無い fact4: このぽくぽなLv.3は心弱くてまた御寂しい fact5: そのぴなぴのLv.50は忌ま忌ましいならば「そのぴなぴのLv.50はせせこましい」ということは成り立つ ; $hypothesis$ = そのぴなぴのLv.50は心苦しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__