そのぽよぽなLv.58は心地良くない
fact1: それは弾き続けるということはなくてそれは掴み難くないというモンスターはない fact2: あのぴなぴにゅLv.79が確認・設定すればそのぽよぽなLv.58は心地良い fact3: もし「あるモンスターは弾き続けなくて更にそれは掴み難くない」ということは誤りだとすればそれは確認・設定する
fact3 -> int1: もし仮に「あのぴなぴにゅLv.79は弾き続けないしさらに掴み難くない」ということは間違っているならそれは確認・設定する; fact1 -> int2: 「あのぴなぴにゅLv.79は弾き続けるということはないし加えて掴み難くない」ということは偽だ; int1 & int2 -> int3: あのぴなぴにゅLv.79は確認・設定する; int3 & fact2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact2 -> hypothesis;
$facts$ = fact1: それは弾き続けるということはなくてそれは掴み難くないというモンスターはない fact2: あのぴなぴにゅLv.79が確認・設定すればそのぽよぽなLv.58は心地良い fact3: もし「あるモンスターは弾き続けなくて更にそれは掴み難くない」ということは誤りだとすればそれは確認・設定する ; $hypothesis$ = そのぽよぽなLv.58は心地良くない ; $proof$ = 
fact3 -> int1: もし仮に「あのぴなぴにゅLv.79は弾き続けないしさらに掴み難くない」ということは間違っているならそれは確認・設定する; fact1 -> int2: 「あのぴなぴにゅLv.79は弾き続けるということはないし加えて掴み難くない」ということは偽だ; int1 & int2 -> int3: あのぴなぴにゅLv.79は確認・設定する; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact2 -> hypothesis; __DISPROVED__