あのもくもちゃLv.13はもどかしくない
fact1: もしも「「忌ま忌ましいということはない一方で長し」ということは成り立たない」モンスターがいるとしたらあのもくもちゃLv.13はもどかしい fact2: 「「忌ま忌ましかないがしかし長し」ということは成り立たない」モンスターはいる
fact2 -> int1: 「「忌ま忌ましかないがしかし長し」ということは成り立たない」モンスターはいる; int1 & fact1 -> hypothesis;
fact2 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact1 -> hypothesis;
$facts$ = fact1: もしも「「忌ま忌ましいということはない一方で長し」ということは成り立たない」モンスターがいるとしたらあのもくもちゃLv.13はもどかしい fact2: 「「忌ま忌ましかないがしかし長し」ということは成り立たない」モンスターはいる ; $hypothesis$ = あのもくもちゃLv.13はもどかしくない ; $proof$ = 
fact2 -> int1: 「「忌ま忌ましかないがしかし長し」ということは成り立たない」モンスターはいる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact1 -> hypothesis; __DISPROVED__