このぽやぽにゅLv.78は訝しくない
fact1: このぽやぽにゅLv.78は御濃い fact2: 「もしも「このぽやぽにゅLv.78は外し易いがしかし御濃くない」ということは誤りであるとしたらこのぽやぽにゅLv.78は訝しくない」ということは真実だ
void -> assump1: 以下のように仮定する。このぽやぽにゅLv.78は外し易い一方でそれは御濃くない; assump1 -> int1: このぽやぽにゅLv.78は御濃くない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このぽやぽにゅLv.78は外し易いがしかしそれは御濃くない」ということは成り立たない; int3 & fact2 -> hypothesis;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact2 -> hypothesis;
$facts$ = fact1: このぽやぽにゅLv.78は御濃い fact2: 「もしも「このぽやぽにゅLv.78は外し易いがしかし御濃くない」ということは誤りであるとしたらこのぽやぽにゅLv.78は訝しくない」ということは真実だ ; $hypothesis$ = このぽやぽにゅLv.78は訝しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽやぽにゅLv.78は外し易い一方でそれは御濃くない; assump1 -> int1: このぽやぽにゅLv.78は御濃くない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このぽやぽにゅLv.78は外し易いがしかしそれは御濃くない」ということは成り立たない; int3 & fact2 -> hypothesis; __PROVED__
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact2 -> hypothesis; __PROVED__