そのもにものLv.84は生む
fact1: 「もしも何らかのモンスターが食すということはないならばそれは生むしその上神々しい」ということは真実だ fact2: そのもにものLv.84は神々しい fact3: 「「時価評価するが上がり難くない」ということは嘘である」モンスターがいるとすればこのぽにょぽにLv.54は食すない
fact2 -> int1: そのもにものLv.84は神々しい;
fact2 -> int1: {A}{a};
このぽにょぽにLv.54は生む
fact4 -> int2: 「もしもこのぽにょぽにLv.54が食すないならばこのぽにょぽにLv.54は生むしそれは神々しい」ということは正しい;
$facts$ = fact1: 「もしも何らかのモンスターが食すということはないならばそれは生むしその上神々しい」ということは真実だ fact2: そのもにものLv.84は神々しい fact3: 「「時価評価するが上がり難くない」ということは嘘である」モンスターがいるとすればこのぽにょぽにLv.54は食すない ; $hypothesis$ = そのもにものLv.84は生む ; $proof$ = 
__UNKNOWN__
__UNKNOWN__