あのみにゃみゆLv.76は重々しくない
fact1: もし仮に「このまにょまちゃLv.56は重々しい一方でそれは吹き替えない」ということは嘘だとしたらそれは重々しくない fact2: もし仮に「このまにょまちゃLv.56は吹き替えないししかもそれは仰々しいということはない」ということは成り立たないとするとあのみにゃみゆLv.76は重々しい fact3: 「このまにょまちゃLv.56は仰々しい」ということは成り立つ fact4: あのみにゃみゆLv.76は仰々しい
void -> assump1: 以下のように仮定する。このまにょまちゃLv.56は吹き替えないしさらに仰々しくない; assump1 -> int1: このまにょまちゃLv.56は仰々しくない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「このまにょまちゃLv.56は吹き替えるということはなくてさらに仰々しいということはない」ということは成り立たない」ということは成り立つ; int3 & fact2 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact2 -> hypothesis;
このまにょまちゃLv.56は重々しくないしそれにそれは高いということはない
$facts$ = fact1: もし仮に「このまにょまちゃLv.56は重々しい一方でそれは吹き替えない」ということは嘘だとしたらそれは重々しくない fact2: もし仮に「このまにょまちゃLv.56は吹き替えないししかもそれは仰々しいということはない」ということは成り立たないとするとあのみにゃみゆLv.76は重々しい fact3: 「このまにょまちゃLv.56は仰々しい」ということは成り立つ fact4: あのみにゃみゆLv.76は仰々しい ; $hypothesis$ = あのみにゃみゆLv.76は重々しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このまにょまちゃLv.56は吹き替えないしさらに仰々しくない; assump1 -> int1: このまにょまちゃLv.56は仰々しくない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「このまにょまちゃLv.56は吹き替えるということはなくてさらに仰々しいということはない」ということは成り立たない」ということは成り立つ; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact2 -> hypothesis; __DISPROVED__