あのまにゅまゆLv.20は宜しくない
fact1: このぴにぴいLv.30は口煩いならば「それは及び難くないけど軽し」ということは成り立つということはない fact2: あのまにゅまゆLv.20は軽し fact3: もしも「このぴにぴいLv.30は及び難くないがしかし軽し」ということは嘘であるならばあのまにゅまゆLv.20は取れ易い fact4: もし仮にあのまにゅまゆLv.20は軽しとすると「あのまにゅまゆLv.20は取れ易くない一方で宜しい」ということは間違っている fact5: 仮に「このぴにぴいLv.30は及び難くないが取れ易い」ということは成り立たないとすればあのまにゅまゆLv.20は口煩い fact6: もしあのまにゅまゆLv.20が取れ易いならそれは宜しい
$facts$ = fact1: このぴにぴいLv.30は口煩いならば「それは及び難くないけど軽し」ということは成り立つということはない fact2: あのまにゅまゆLv.20は軽し fact3: もしも「このぴにぴいLv.30は及び難くないがしかし軽し」ということは嘘であるならばあのまにゅまゆLv.20は取れ易い fact4: もし仮にあのまにゅまゆLv.20は軽しとすると「あのまにゅまゆLv.20は取れ易くない一方で宜しい」ということは間違っている fact5: 仮に「このぴにぴいLv.30は及び難くないが取れ易い」ということは成り立たないとすればあのまにゅまゆLv.20は口煩い fact6: もしあのまにゅまゆLv.20が取れ易いならそれは宜しい ; $hypothesis$ = あのまにゅまゆLv.20は宜しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__