このまにゅまちゅLv.31は気安くないが付き易い
fact1: そのまいまにょLv.73は気安い fact2: そのみにみちゅLv.36が達成し易くないとすればそのみにみちゅLv.36は貧しいししかも映像化する fact3: あのまやまやLv.22は古しないが付き易い fact4: このまにゅまちゅLv.31は利用し難い fact5: このまにゅまちゅLv.31は付き易い fact6: もしもこのまにゅまちゅLv.31が利用し難いならばこのまにゅまちゅLv.31は固くない fact7: 「このまにゅまちゅLv.31は気安い」ということは正しいとすればこのまにゅまちゅLv.31は利用し難くない fact8: もしそのまわまやLv.1は利用し難くないならば「このまにゅまちゅLv.31は気安くないけれど付き易い」ということは間違っている
void -> assump1: 以下のように仮定する。「このまにゅまちゅLv.31は気安い」ということは本当である; fact7 & assump1 -> int1: このまにゅまちゅLv.31は利用し難くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまにゅまちゅLv.31は気安くない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: ¬{B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
「「このまにゅまちゅLv.31は気安くないがしかし付き易い」ということは成り立つ」ということは成り立たない
$facts$ = fact1: そのまいまにょLv.73は気安い fact2: そのみにみちゅLv.36が達成し易くないとすればそのみにみちゅLv.36は貧しいししかも映像化する fact3: あのまやまやLv.22は古しないが付き易い fact4: このまにゅまちゅLv.31は利用し難い fact5: このまにゅまちゅLv.31は付き易い fact6: もしもこのまにゅまちゅLv.31が利用し難いならばこのまにゅまちゅLv.31は固くない fact7: 「このまにゅまちゅLv.31は気安い」ということは正しいとすればこのまにゅまちゅLv.31は利用し難くない fact8: もしそのまわまやLv.1は利用し難くないならば「このまにゅまちゅLv.31は気安くないけれど付き易い」ということは間違っている ; $hypothesis$ = このまにゅまちゅLv.31は気安くないが付き易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「このまにゅまちゅLv.31は気安い」ということは本当である; fact7 & assump1 -> int1: このまにゅまちゅLv.31は利用し難くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまにゅまちゅLv.31は気安くない; int3 & fact5 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact7 & assump1 -> int1: ¬{B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __PROVED__