あのまにゃまにゅLv.65は緊張する
fact1: あのぽよぽくLv.72は飲み易くない fact2: あのぽよぽくLv.72は飲み易いということはないとすると「あのまにゃまにゅLv.65は上がり易い一方でそれは汚らわしくない」ということは間違いである fact3: もし仮に「あのまにゃまにゅLv.65は上がり易いがそれは汚らわしくない」ということは成り立たないとしたら「それは緊張する」ということは確かだ fact4: 生き辛くないモンスターは緊張しないしおまけに飲み易くない
fact2 & fact1 -> int1: 「あのまにゃまにゅLv.65は上がり易いが汚らわしいということはない」ということは偽だ; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact3 -> hypothesis;
あのまにゃまにゅLv.65は緊張しない
fact5 -> int2: もし仮にあのまにゃまにゅLv.65が生き辛くないなら緊張しないし飲み易いということはない;
$facts$ = fact1: あのぽよぽくLv.72は飲み易くない fact2: あのぽよぽくLv.72は飲み易いということはないとすると「あのまにゃまにゅLv.65は上がり易い一方でそれは汚らわしくない」ということは間違いである fact3: もし仮に「あのまにゃまにゅLv.65は上がり易いがそれは汚らわしくない」ということは成り立たないとしたら「それは緊張する」ということは確かだ fact4: 生き辛くないモンスターは緊張しないしおまけに飲み易くない ; $hypothesis$ = あのまにゃまにゅLv.65は緊張する ; $proof$ = 
fact2 & fact1 -> int1: 「あのまにゃまにゅLv.65は上がり易いが汚らわしいということはない」ということは偽だ; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact3 -> hypothesis; __PROVED__