「「そのみねみゆLv.73は空々しいけれど降らない」ということは正しい」ということは成り立つということはない
fact1: 全てのモンスターはすこくてそれは染み通る fact2: あのみちゃみにょLv.98は思い易いがしかし空々しくない fact3: 生え易くないモンスターは空々しいけど降らない fact4: 生え易いモンスターは浅ましいがしかし降らない fact5: そのみねみゆLv.73が生え易くないとしたらそのみねみゆLv.73は空々しい
fact3 -> int1: そのみねみゆLv.73が生え易くないならば空々しくて降らない;
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa});
「「そのみねみゆLv.73は空々しいけれど降らない」ということは正しい」ということは成り立つということはない
fact6 -> int2: このまのまなLv.33はすこくて染み通る; int2 -> int3: このまのまなLv.33はすこい; int3 -> int4: 全てのモンスターはすこい; int4 -> int5: あのみいみちゃLv.15はすこい;
$facts$ = fact1: 全てのモンスターはすこくてそれは染み通る fact2: あのみちゃみにょLv.98は思い易いがしかし空々しくない fact3: 生え易くないモンスターは空々しいけど降らない fact4: 生え易いモンスターは浅ましいがしかし降らない fact5: そのみねみゆLv.73が生え易くないとしたらそのみねみゆLv.73は空々しい ; $hypothesis$ = 「「そのみねみゆLv.73は空々しいけれど降らない」ということは正しい」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__