このぽわぽわLv.70はちぎれ易くない
fact1: もしもあのまちょまなLv.77が幼しならあのまちょまなLv.77は忝い fact2: あのまちょまなLv.77が忝いとしたらこのぽわぽわLv.70はタイトルらしい fact3: あのぷわぷいLv.28はし易くて目覚ましい fact4: もしそのぴにゃぴちゃLv.30が目覚ましいとするとあのまちょまなLv.77は幼し fact5: このぽわぽわLv.70は力強い fact6: もし仮にこのぽわぽわLv.70がタイトルらしいしそれにそれが力強いとすればこのぽわぽわLv.70はちぎれ易いということはない fact7: 幼しないモンスターはちぎれ易くて加えて目覚ましい
このぽわぽわLv.70はちぎれ易い
fact8 -> int1: もし「このぽわぽわLv.70は幼しない」ということは本当であるとすれば「このぽわぽわLv.70はちぎれ易くてそれに目覚ましい」ということは真実である;
$facts$ = fact1: もしもあのまちょまなLv.77が幼しならあのまちょまなLv.77は忝い fact2: あのまちょまなLv.77が忝いとしたらこのぽわぽわLv.70はタイトルらしい fact3: あのぷわぷいLv.28はし易くて目覚ましい fact4: もしそのぴにゃぴちゃLv.30が目覚ましいとするとあのまちょまなLv.77は幼し fact5: このぽわぽわLv.70は力強い fact6: もし仮にこのぽわぽわLv.70がタイトルらしいしそれにそれが力強いとすればこのぽわぽわLv.70はちぎれ易いということはない fact7: 幼しないモンスターはちぎれ易くて加えて目覚ましい ; $hypothesis$ = このぽわぽわLv.70はちぎれ易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__