あのぷのぷのLv.70は長々しかない
fact1: あらゆるモンスターは渡り始める fact2: 仮にあのもねもちゅLv.24が小憎らしいならばそのもねもよLv.82は恥ずかしい fact3: 否定し難いということはなくて恥ずかしくないモンスターは生じ易くない fact4: すべてのモンスターは長々しい
fact4 -> int1: すべてのモンスターは長々しい; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
あのぷのぷのLv.70は長々しかない
fact5 -> int2: もしこのぴちゃぴにゅLv.68は否定し難くなくてそれに恥ずかしくないとしたらそれは生じ易い;
$facts$ = fact1: あらゆるモンスターは渡り始める fact2: 仮にあのもねもちゅLv.24が小憎らしいならばそのもねもよLv.82は恥ずかしい fact3: 否定し難いということはなくて恥ずかしくないモンスターは生じ易くない fact4: すべてのモンスターは長々しい ; $hypothesis$ = あのぷのぷのLv.70は長々しかない ; $proof$ = 
fact4 -> int1: すべてのモンスターは長々しい; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__