「「「掴み易くないが悔しい」ということは成り立たないとすれば青っぽい」モンスターはいる」ということは成り立たない
fact1: 仮に「あのみにょみわLv.46は掴み易いししかも悔しい」ということは成り立たないとすればあのみにょみわLv.46は青っぽい fact2: もしあのみにょみわLv.46が掴み易くない一方で悔しいなら青っぽい fact3: 「もしも「使用し易くない一方でブランドらしい」ということは偽だとしたら使い易い」モンスターはいる fact4: 仮に何らかのモンスターが掴み易くないけど悔しいならそれは青っぽい fact5: もし「あるモンスターは掴み易くないけれどそれは悔しい」ということは事実と異なるとしたら青っぽい
fact5 -> int1: 仮に「あのみにょみわLv.46は掴み易くないが悔しい」ということは成り立たないとすると「あのみにょみわLv.46は青っぽい」ということは真実だ; int1 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「あのみにょみわLv.46は掴み易いししかも悔しい」ということは成り立たないとすればあのみにょみわLv.46は青っぽい fact2: もしあのみにょみわLv.46が掴み易くない一方で悔しいなら青っぽい fact3: 「もしも「使用し易くない一方でブランドらしい」ということは偽だとしたら使い易い」モンスターはいる fact4: 仮に何らかのモンスターが掴み易くないけど悔しいならそれは青っぽい fact5: もし「あるモンスターは掴み易くないけれどそれは悔しい」ということは事実と異なるとしたら青っぽい ; $hypothesis$ = 「「「掴み易くないが悔しい」ということは成り立たないとすれば青っぽい」モンスターはいる」ということは成り立たない ; $proof$ = 
fact5 -> int1: 仮に「あのみにょみわLv.46は掴み易くないが悔しい」ということは成り立たないとすると「あのみにょみわLv.46は青っぽい」ということは真実だ; int1 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__