このまちょまいLv.70は回答しない
fact1: 「このまちょまいLv.70は脂っぽい」ということは成り立つ fact2: このまちょまいLv.70が漏れ無いならばこのまちょまいLv.70は脂っぽくない fact3: もしもあのぷえぷくLv.71は打ち終わるとすれば「あのぷえぷくLv.71は漏れ無いがそれは回答しない」ということは間違っている fact4: もしもこのまちょまいLv.70が回答するかあるいはそれは漏れ無いかもしくは両方であるとするとそれは脂っぽくない fact5: なんらかのモンスターが引っ掴めばそれは打ち終わる
void -> assump1: 以下のように仮定する。このまちょまいLv.70は回答する; assump1 -> int1: このまちょまいLv.70は回答するか漏れ無い; int1 & fact4 -> int2: このまちょまいLv.70は脂っぽくない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのぷえぷくLv.71は脂っぽくない
fact6 -> int4: あのぷえぷくLv.71が引っ掴むとすればあのぷえぷくLv.71は打ち終わる;
$facts$ = fact1: 「このまちょまいLv.70は脂っぽい」ということは成り立つ fact2: このまちょまいLv.70が漏れ無いならばこのまちょまいLv.70は脂っぽくない fact3: もしもあのぷえぷくLv.71は打ち終わるとすれば「あのぷえぷくLv.71は漏れ無いがそれは回答しない」ということは間違っている fact4: もしもこのまちょまいLv.70が回答するかあるいはそれは漏れ無いかもしくは両方であるとするとそれは脂っぽくない fact5: なんらかのモンスターが引っ掴めばそれは打ち終わる ; $hypothesis$ = このまちょまいLv.70は回答しない ; $proof$ = 
void -> assump1: 以下のように仮定する。このまちょまいLv.70は回答する; assump1 -> int1: このまちょまいLv.70は回答するか漏れ無い; int1 & fact4 -> int2: このまちょまいLv.70は脂っぽくない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__