あのみなみちょLv.94は動き難くない
fact1: すべてのモンスターは踏み付けない fact2: もし仮になんらかのモンスターが踏み付けるとすれば痩せ難くないしその上動き難くない fact3: 考え深いモンスターは踏み付ける fact4: すべてのモンスターは育ち難い fact5: 全てのモンスターは動き難い
fact5 -> int1: 全てのモンスターは動き難い; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
あのみなみちょLv.94は動き難くない
fact6 -> int2: もしもあのみなみちょLv.94が踏み付けるとすればあのみなみちょLv.94は痩せ難くなくてさらに動き難いということはない; fact7 -> int3: あのみなみちょLv.94が考え深いとすると踏み付ける;
$facts$ = fact1: すべてのモンスターは踏み付けない fact2: もし仮になんらかのモンスターが踏み付けるとすれば痩せ難くないしその上動き難くない fact3: 考え深いモンスターは踏み付ける fact4: すべてのモンスターは育ち難い fact5: 全てのモンスターは動き難い ; $hypothesis$ = あのみなみちょLv.94は動き難くない ; $proof$ = 
fact5 -> int1: 全てのモンスターは動き難い; int1 -> hypothesis; __DISPROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__