あのみちゃみちゅLv.60は皮肉っぽくない
fact1: もしも「あのみちゃみちゅLv.60は現われ易くないかまたは秩序付けるかどちらもである」ということは成り立つということはないならば皮肉っぽくない fact2: あのぷえぷなLv.17は痩せ難くてまた作り為さる fact3: あのぷえぷなLv.17は現われ易いということはないならば「「あのみちゃみちゅLv.60は現われ易くないかあるいは秩序付けるかあるいはどちらもだ」ということは本当である」ということは成り立たない fact4: 軽しないモンスターは乗り易くてまた作り為さる fact5: もし仮にあのぷえぷなLv.17が現われ易いとしたらあのみちゃみちゅLv.60は作り為さるということはない一方で軽し fact6: もしもなにがしかのモンスターが作り為さらないならそれは皮肉っぽいモンスターで痩せ難い fact7: あのぷえぷなLv.17が痩せ難いかそれが軽しかもしくは両方であるとすればあのぷえぷなLv.17は現われ易くない
fact2 -> int1: あのぷえぷなLv.17は痩せ難い; int1 -> int2: あのぷえぷなLv.17は痩せ難いかあるいは軽しか両方ともだ; int2 & fact7 -> int3: あのぷえぷなLv.17は現われ易くない; int3 & fact3 -> int4: 「あのみちゃみちゅLv.60は現われ易くないかあるいは秩序付ける」ということは成り立たない; int4 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact7 -> int3: ¬{D}{a}; int3 & fact3 -> int4: ¬(¬{D}{b} v {F}{b}); int4 & fact1 -> hypothesis;
「あのみちゃみちゅLv.60は皮肉っぽい」ということは正しい
fact8 -> int5: 仮にあのみちゃみちゅLv.60が作り為さらないとすればあのみちゃみちゅLv.60は皮肉っぽいしさらに痩せ難い;
$facts$ = fact1: もしも「あのみちゃみちゅLv.60は現われ易くないかまたは秩序付けるかどちらもである」ということは成り立つということはないならば皮肉っぽくない fact2: あのぷえぷなLv.17は痩せ難くてまた作り為さる fact3: あのぷえぷなLv.17は現われ易いということはないならば「「あのみちゃみちゅLv.60は現われ易くないかあるいは秩序付けるかあるいはどちらもだ」ということは本当である」ということは成り立たない fact4: 軽しないモンスターは乗り易くてまた作り為さる fact5: もし仮にあのぷえぷなLv.17が現われ易いとしたらあのみちゃみちゅLv.60は作り為さるということはない一方で軽し fact6: もしもなにがしかのモンスターが作り為さらないならそれは皮肉っぽいモンスターで痩せ難い fact7: あのぷえぷなLv.17が痩せ難いかそれが軽しかもしくは両方であるとすればあのぷえぷなLv.17は現われ易くない ; $hypothesis$ = あのみちゃみちゅLv.60は皮肉っぽくない ; $proof$ = 
fact2 -> int1: あのぷえぷなLv.17は痩せ難い; int1 -> int2: あのぷえぷなLv.17は痩せ難いかあるいは軽しか両方ともだ; int2 & fact7 -> int3: あのぷえぷなLv.17は現われ易くない; int3 & fact3 -> int4: 「あのみちゃみちゅLv.60は現われ易くないかあるいは秩序付ける」ということは成り立たない; int4 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact7 -> int3: ¬{D}{a}; int3 & fact3 -> int4: ¬(¬{D}{b} v {F}{b}); int4 & fact1 -> hypothesis; __PROVED__