あのぴねぴわLv.5は誤解し易い
fact1: 仮になんらかのモンスターは語り伝えるとすれば「出難くないかあるいはタイトルらしくないかもしくはどちらもだ」ということは間違いだ fact2: このぽにゃぽゆLv.55は語り伝える
fact1 -> int1: もしもこのぽにゃぽゆLv.55は語り伝えれば「出難くないかあるいはタイトルらしくないかまたは両方だ」ということは本当でない; int1 & fact2 -> int2: 「このぽにゃぽゆLv.55は出難くないかタイトルらしくないかあるいはどちらもだ」ということは嘘である;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa});
$facts$ = fact1: 仮になんらかのモンスターは語り伝えるとすれば「出難くないかあるいはタイトルらしくないかもしくはどちらもだ」ということは間違いだ fact2: このぽにゃぽゆLv.55は語り伝える ; $hypothesis$ = あのぴねぴわLv.5は誤解し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__