あのみにゃみにLv.80は手堅くない
fact1: このぽいぽえLv.23は相応しい fact2: 「「相応しい」ということは成り立つ」モンスターはいる fact3: 仮に相応しいモンスターが暗いとするとあのみにゃみにLv.80は手堅い fact4: このぽいぽえLv.23は暗い fact5: もし仮に「あるモンスターが手堅いしその上それは暗い」ということは間違いだとすると手堅くない
fact1 & fact4 -> int1: このぽいぽえLv.23は相応しくてまた暗い; int1 -> int2: 何らかのモンスターは相応しいし更に暗い; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis;
あのみにゃみにLv.80は手堅くない
fact6 -> int3: もしも「あのみにゃみにLv.80は手堅くてまたそれは暗い」ということは間違っていればあのみにゃみにLv.80は手堅くない;
$facts$ = fact1: このぽいぽえLv.23は相応しい fact2: 「「相応しい」ということは成り立つ」モンスターはいる fact3: 仮に相応しいモンスターが暗いとするとあのみにゃみにLv.80は手堅い fact4: このぽいぽえLv.23は暗い fact5: もし仮に「あるモンスターが手堅いしその上それは暗い」ということは間違いだとすると手堅くない ; $hypothesis$ = あのみにゃみにLv.80は手堅くない ; $proof$ = 
fact1 & fact4 -> int1: このぽいぽえLv.23は相応しくてまた暗い; int1 -> int2: 何らかのモンスターは相応しいし更に暗い; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis; __DISPROVED__