あのぷえぷやLv.29は低し
fact1: なにがしかのモンスターは柔らかいとすると「はしたなくないかそれははぐらないかあるいは両方だ」ということは成り立つ fact2: もし何らかのモンスターははしたなくないかはぐらないかまたは両方だとすれば「はしたなくない」ということは真実である fact3: 仮にあのみよみやLv.43が実行するとしたらこのまいまなLv.68ははぐる fact4: 仮に「このまいまなLv.68は低しけれどそれは柔らかくない」ということは嘘だとするとあのぷえぷやLv.29は低しない fact5: すべてのモンスターは低し fact6: もしなにがしかのモンスターははしたなくないとすると「低しが柔らかいということはない」ということは成り立つということはない
fact5 -> int1: すべてのモンスターは低し; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
あのまよまなLv.93は低し
fact7 -> int2: 仮にあのぷえぷやLv.29ははしたなくないかまたははぐらないかあるいは両方ともであるとしたらはしたなくない; fact8 -> int3: あのぷえぷやLv.29が柔らかいならばはしたないということはないかまたははぐらないかあるいは両方だ;
$facts$ = fact1: なにがしかのモンスターは柔らかいとすると「はしたなくないかそれははぐらないかあるいは両方だ」ということは成り立つ fact2: もし何らかのモンスターははしたなくないかはぐらないかまたは両方だとすれば「はしたなくない」ということは真実である fact3: 仮にあのみよみやLv.43が実行するとしたらこのまいまなLv.68ははぐる fact4: 仮に「このまいまなLv.68は低しけれどそれは柔らかくない」ということは嘘だとするとあのぷえぷやLv.29は低しない fact5: すべてのモンスターは低し fact6: もしなにがしかのモンスターははしたなくないとすると「低しが柔らかいということはない」ということは成り立つということはない ; $hypothesis$ = あのぷえぷやLv.29は低し ; $proof$ = 
fact5 -> int1: すべてのモンスターは低し; int1 -> hypothesis; __PROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__