そのぴにゃぴなLv.67は女々しくない
fact1: あのぴにぴねLv.81は召し上がるとしたら「そのぴにゃぴなLv.67は認め難い」ということは正しい fact2: 口煩くないモンスターは召し上がるし加えて付き易い fact3: すべてのモンスターは女々しい fact4: あのぴにぴいLv.61が召し上がるとするとあのぴにぴねLv.81は召し上がる fact5: 認め難いモンスターは女々しくない
fact3 -> int1: すべてのモンスターは女々しい; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
そのぴにゃぴなLv.67は女々しくない
fact6 -> int2: 仮にそのぴにゃぴなLv.67が認め難いならそのぴにゃぴなLv.67は女々しくない; fact9 -> int3: 仮にあのぴにぴいLv.61が口煩くないとしたらあのぴにぴいLv.61は召し上がるしそれに付き易い;
$facts$ = fact1: あのぴにぴねLv.81は召し上がるとしたら「そのぴにゃぴなLv.67は認め難い」ということは正しい fact2: 口煩くないモンスターは召し上がるし加えて付き易い fact3: すべてのモンスターは女々しい fact4: あのぴにぴいLv.61が召し上がるとするとあのぴにぴねLv.81は召し上がる fact5: 認め難いモンスターは女々しくない ; $hypothesis$ = そのぴにゃぴなLv.67は女々しくない ; $proof$ = 
fact3 -> int1: すべてのモンスターは女々しい; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__