そのぽやぽゆLv.85は貧ししそれに君らしい
fact1: そのまやまにLv.22はぼろい fact2: もし用心深いモンスターが貧しないとするとそれはぼろい fact3: もしもそのまやまにLv.22が用心深いならそのぽやぽゆLv.85は貧し fact4: もし仮に「そのまやまにLv.22は御濃くないけど君らしい」ということは誤っているとするとそのみやみねLv.86は君らしくない fact5: そのぽやぽゆLv.85は君らしい
そのみやみねLv.86はぼろい
fact7 -> int1: もし仮にそのみやみねLv.86が用心深いがそれは貧しないとすれば「それはぼろい」ということは事実である;
$facts$ = fact1: そのまやまにLv.22はぼろい fact2: もし用心深いモンスターが貧しないとするとそれはぼろい fact3: もしもそのまやまにLv.22が用心深いならそのぽやぽゆLv.85は貧し fact4: もし仮に「そのまやまにLv.22は御濃くないけど君らしい」ということは誤っているとするとそのみやみねLv.86は君らしくない fact5: そのぽやぽゆLv.85は君らしい ; $hypothesis$ = そのぽやぽゆLv.85は貧ししそれに君らしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__