そのまにょまちょLv.84は生々しくない
fact1: 「「清々しくてまた雪深くない」ということは間違っている」モンスターはいる fact2: 仮に「「清々しくないし雪深くない」ということは成り立たない」モンスターがいるならそのまにょまちょLv.84は生々しくない fact3: もし仮に「雪深い」モンスターがいればそのまにょまちょLv.84は生々しいということはない fact4: 「「清々しくないしさらに雪深くない」ということは成り立たない」モンスターはいる fact5: 「「清々しいということはなくて雪深い」ということは成り立たない」モンスターはいる
fact4 -> int1: 「「清々しくないしさらに雪深くない」ということは成り立たない」モンスターはいる; int1 & fact2 -> hypothesis;
fact4 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「「清々しくてまた雪深くない」ということは間違っている」モンスターはいる fact2: 仮に「「清々しくないし雪深くない」ということは成り立たない」モンスターがいるならそのまにょまちょLv.84は生々しくない fact3: もし仮に「雪深い」モンスターがいればそのまにょまちょLv.84は生々しいということはない fact4: 「「清々しくないしさらに雪深くない」ということは成り立たない」モンスターはいる fact5: 「「清々しいということはなくて雪深い」ということは成り立たない」モンスターはいる ; $hypothesis$ = そのまにょまちょLv.84は生々しくない ; $proof$ = 
fact4 -> int1: 「「清々しくないしさらに雪深くない」ということは成り立たない」モンスターはいる; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact2 -> hypothesis; __PROVED__