そのぴにぴなLv.24は罹り易い
fact1: 説明し易いモンスターは張り巡らせるけれど面映ゆくない fact2: そのぴにぴなLv.24は通り難い fact3: 仮になんらかのモンスターは張り巡らせないしさらに面映ゆくないならばそれは罹り易いということはない fact4: 全てのモンスターは再読する fact5: あらゆるモンスターは罹り易い
fact5 -> int1: あらゆるモンスターは罹り易い; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
そのぴにぴなLv.24は罹り易くない
fact6 -> int2: そのぴにぴなLv.24が張り巡らせなくてかつ面映ゆいということはないならばそのぴにぴなLv.24は罹り易くない;
$facts$ = fact1: 説明し易いモンスターは張り巡らせるけれど面映ゆくない fact2: そのぴにぴなLv.24は通り難い fact3: 仮になんらかのモンスターは張り巡らせないしさらに面映ゆくないならばそれは罹り易いということはない fact4: 全てのモンスターは再読する fact5: あらゆるモンスターは罹り易い ; $hypothesis$ = そのぴにぴなLv.24は罹り易い ; $proof$ = 
fact5 -> int1: あらゆるモンスターは罹り易い; int1 -> hypothesis; __PROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__