あのまちゅまゆLv.2は白っぽい
fact1: あのまちゅまゆLv.2が首尾良いとすればそれは疑い深い fact2: あのまちゅまゆLv.2は首尾良い fact3: もしもあのぽちょぽえLv.52が疑い深くないとするとこのまちょまえLv.5は首尾良くてまたそれは白っぽい fact4: もしあるモンスターは廃棄処分しないとすれば「それは軽ーいが悪しくない」ということは成り立たない fact5: あのまちゅまゆLv.2は悪しい fact6: このまちょまえLv.5が白っぽいならあのまちゅまゆLv.2は白っぽい fact7: もしもあのまちゅまゆLv.2が悪しいしそれが疑い深いとしたら白っぽくない
fact1 & fact2 -> int1: あのまちゅまゆLv.2は疑い深い; int1 & fact5 -> int2: あのまちゅまゆLv.2は悪しいしまた疑い深い; int2 & fact7 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: ({C}{a} & {B}{a}); int2 & fact7 -> hypothesis;
このぽにぽちょLv.21は白っぽい
fact8 -> int3: もしこのまちょまえLv.5は廃棄処分しないなら「「それは軽ーいけど悪しくない」ということは本当だ」ということは成り立たない;
$facts$ = fact1: あのまちゅまゆLv.2が首尾良いとすればそれは疑い深い fact2: あのまちゅまゆLv.2は首尾良い fact3: もしもあのぽちょぽえLv.52が疑い深くないとするとこのまちょまえLv.5は首尾良くてまたそれは白っぽい fact4: もしあるモンスターは廃棄処分しないとすれば「それは軽ーいが悪しくない」ということは成り立たない fact5: あのまちゅまゆLv.2は悪しい fact6: このまちょまえLv.5が白っぽいならあのまちゅまゆLv.2は白っぽい fact7: もしもあのまちゅまゆLv.2が悪しいしそれが疑い深いとしたら白っぽくない ; $hypothesis$ = あのまちゅまゆLv.2は白っぽい ; $proof$ = 
fact1 & fact2 -> int1: あのまちゅまゆLv.2は疑い深い; int1 & fact5 -> int2: あのまちゅまゆLv.2は悪しいしまた疑い深い; int2 & fact7 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact5 -> int2: ({C}{a} & {B}{a}); int2 & fact7 -> hypothesis; __DISPROVED__