あのもねもなLv.41は答え難いということはない
fact1: もしもそのまのまにょLv.30が釈するしその上ちぎれ易いとしたらあのもねもなLv.41は答え難くない fact2: 「そのまのまにょLv.30はちぎれ易い」ということは成り立つ fact3: そのまよまちゅLv.58は付き易い fact4: 付き易いモンスターは釈する fact5: このぴえぴちゅLv.7が答え難くないとしたら付き易いし更にそれはちぎれ易い
このぴえぴちゅLv.7は釈する
fact6 -> int1: もし仮にこのぴえぴちゅLv.7が付き易いとしたらそれは釈する;
$facts$ = fact1: もしもそのまのまにょLv.30が釈するしその上ちぎれ易いとしたらあのもねもなLv.41は答え難くない fact2: 「そのまのまにょLv.30はちぎれ易い」ということは成り立つ fact3: そのまよまちゅLv.58は付き易い fact4: 付き易いモンスターは釈する fact5: このぴえぴちゅLv.7が答え難くないとしたら付き易いし更にそれはちぎれ易い ; $hypothesis$ = あのもねもなLv.41は答え難いということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__