このぷにょぷゆLv.35はやんごとない
fact1: そのぽにゃぽわLv.90はやんごとない fact2: 「このぷにょぷゆLv.35は怖ーい」ということは成り立つ fact3: 「やんごとない」モンスターはいる fact4: なにがしかのモンスターは済ま無い fact5: 「労労じ」モンスターはいる
fact5 -> int1: 「労労じ」モンスターはいる;
fact5 -> int1: (Ex): {A}x;
$facts$ = fact1: そのぽにゃぽわLv.90はやんごとない fact2: 「このぷにょぷゆLv.35は怖ーい」ということは成り立つ fact3: 「やんごとない」モンスターはいる fact4: なにがしかのモンスターは済ま無い fact5: 「労労じ」モンスターはいる ; $hypothesis$ = このぷにょぷゆLv.35はやんごとない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__