このぴちゃぴにLv.98は軽くない
fact1: もしもあのぴいぴちゅLv.60が発散出来るとするとこのぴちゃぴにLv.98はきつい fact2: もしもこのぴちゃぴにLv.98がきついとすると重み付ける fact3: もしもこのぴちゃぴにLv.98がサンドするなら軽い fact4: あのぴいぴちゅLv.60は重み付ける fact5: あのぷにぷくLv.34は軽い fact6: もしこのぴちゃぴにLv.98が重み付ければこのぴちゃぴにLv.98はサンドする
$facts$ = fact1: もしもあのぴいぴちゅLv.60が発散出来るとするとこのぴちゃぴにLv.98はきつい fact2: もしもこのぴちゃぴにLv.98がきついとすると重み付ける fact3: もしもこのぴちゃぴにLv.98がサンドするなら軽い fact4: あのぴいぴちゅLv.60は重み付ける fact5: あのぷにぷくLv.34は軽い fact6: もしこのぴちゃぴにLv.98が重み付ければこのぴちゃぴにLv.98はサンドする ; $hypothesis$ = このぴちゃぴにLv.98は軽くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__