あのみえみえLv.67は敢え無い
fact1: もしそのぴえぴよLv.39は恥ずかしなら「そのまわまちゅLv.87は生臭いということはないししかも軽しということはない」ということは成り立つということはない fact2: もしも「「生臭くなくて軽しない」ということは偽である」モンスターがいるとしたらあのみえみえLv.67は敢え無い fact3: そのぴえぴよLv.39は恥ずかししさらにそれは接近し易い fact4: 何らかのモンスターは生臭くないし軽しない
fact3 -> int1: 「そのぴえぴよLv.39は恥ずかし」ということは成り立つ; fact1 & int1 -> int2: 「そのまわまちゅLv.87は生臭くなくてまたそれは軽しない」ということは成り立たない; int2 -> int3: 「「「生臭いということはないしさらに軽しということはない」ということは確かだ」ということは偽な」モンスターはいる; int3 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; fact1 & int1 -> int2: ¬(¬{AA}{b} & ¬{AB}{b}); int2 -> int3: (Ex): ¬(¬{AA}x & ¬{AB}x); int3 & fact2 -> hypothesis;
$facts$ = fact1: もしそのぴえぴよLv.39は恥ずかしなら「そのまわまちゅLv.87は生臭いということはないししかも軽しということはない」ということは成り立つということはない fact2: もしも「「生臭くなくて軽しない」ということは偽である」モンスターがいるとしたらあのみえみえLv.67は敢え無い fact3: そのぴえぴよLv.39は恥ずかししさらにそれは接近し易い fact4: 何らかのモンスターは生臭くないし軽しない ; $hypothesis$ = あのみえみえLv.67は敢え無い ; $proof$ = 
fact3 -> int1: 「そのぴえぴよLv.39は恥ずかし」ということは成り立つ; fact1 & int1 -> int2: 「そのまわまちゅLv.87は生臭くなくてまたそれは軽しない」ということは成り立たない; int2 -> int3: 「「「生臭いということはないしさらに軽しということはない」ということは確かだ」ということは偽な」モンスターはいる; int3 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; fact1 & int1 -> int2: ¬(¬{AA}{b} & ¬{AB}{b}); int2 -> int3: (Ex): ¬(¬{AA}x & ¬{AB}x); int3 & fact2 -> hypothesis; __PROVED__