「このまちゃまわLv.14は素人っぽいかまたは涙脆い」ということは成り立つということはない
fact1: 仮に「なんらかのモンスターは古めかしくないし加えてそれは偵察しない」ということは正しくないとすると日本らしい fact2: 「そのみにゅみいLv.24は古めかしくなくて偵察しない」ということは間違いである fact3: 日本らしいということはないモンスターは涙脆いし更に素人っぽい fact4: もし仮に「そのみにゅみいLv.24は日本らしい」ということは誤りだということはないならこのまちゃまわLv.14は素人っぽい fact5: もし真白いモンスターが故無くないとすると日本らしくない fact6: 冷め難いモンスターは反応し易い fact7: このまちゃまわLv.14は涙脆いか日本らしいかどちらもである
fact1 -> int1: もしも「そのみにゅみいLv.24は古めかしくないし偵察しない」ということは真実でないとしたらそれは日本らしい; int1 & fact2 -> int2: そのみにゅみいLv.24は日本らしい; int2 & fact4 -> int3: このまちゃまわLv.14は素人っぽい; int3 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & fact2 -> int2: {B}{a}; int2 & fact4 -> int3: {A}{b}; int3 -> hypothesis;
「このまちゃまわLv.14は素人っぽいかまたは涙脆い」ということは成り立つということはない
fact8 -> int4: もし仮にそのみにゅみいLv.24は真白いがしかし故無くないとするとそれは日本らしくない;
$facts$ = fact1: 仮に「なんらかのモンスターは古めかしくないし加えてそれは偵察しない」ということは正しくないとすると日本らしい fact2: 「そのみにゅみいLv.24は古めかしくなくて偵察しない」ということは間違いである fact3: 日本らしいということはないモンスターは涙脆いし更に素人っぽい fact4: もし仮に「そのみにゅみいLv.24は日本らしい」ということは誤りだということはないならこのまちゃまわLv.14は素人っぽい fact5: もし真白いモンスターが故無くないとすると日本らしくない fact6: 冷め難いモンスターは反応し易い fact7: このまちゃまわLv.14は涙脆いか日本らしいかどちらもである ; $hypothesis$ = 「このまちゃまわLv.14は素人っぽいかまたは涙脆い」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: もしも「そのみにゅみいLv.24は古めかしくないし偵察しない」ということは真実でないとしたらそれは日本らしい; int1 & fact2 -> int2: そのみにゅみいLv.24は日本らしい; int2 & fact4 -> int3: このまちゃまわLv.14は素人っぽい; int3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & fact2 -> int2: {B}{a}; int2 & fact4 -> int3: {A}{b}; int3 -> hypothesis; __DISPROVED__