あのまちゃまにゅLv.18は百姓らしくない
fact1: 「そのぴいぴのLv.32は褐変するということはなくてさらに活動し易くない」ということは成り立つということはないならばあのまちゃまにゅLv.18は百姓らしい fact2: 仮に「なんらかのモンスターは褐変しないけどそれは百姓らしい」ということは間違いであるとすればそれは百姓らしくない fact3: そのぴいぴのLv.32は褐変する
void -> assump1: 以下のように仮定する。そのぴいぴのLv.32は褐変しないしその上活動し易くない; assump1 -> int1: そのぴいぴのLv.32は褐変しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのぴいぴのLv.32は褐変しなくてしかも活動し易くない」ということは成り立つということはない; int3 & fact1 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact1 -> hypothesis;
あのまちゃまにゅLv.18は百姓らしくない
fact4 -> int4: もし仮に「あのまちゃまにゅLv.18は褐変しないけどそれは百姓らしい」ということは偽であるならばそれは百姓らしくない;
$facts$ = fact1: 「そのぴいぴのLv.32は褐変するということはなくてさらに活動し易くない」ということは成り立つということはないならばあのまちゃまにゅLv.18は百姓らしい fact2: 仮に「なんらかのモンスターは褐変しないけどそれは百姓らしい」ということは間違いであるとすればそれは百姓らしくない fact3: そのぴいぴのLv.32は褐変する ; $hypothesis$ = あのまちゃまにゅLv.18は百姓らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴいぴのLv.32は褐変しないしその上活動し易くない; assump1 -> int1: そのぴいぴのLv.32は褐変しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのぴいぴのLv.32は褐変しなくてしかも活動し易くない」ということは成り立つということはない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact1 -> hypothesis; __DISPROVED__