そのみねみにゅLv.38は作り易くない
fact1: もしもあのみゆみわLv.88が着手し始めるとすればそのぽねぽいLv.18は怪しい fact2: もしもそのまえまにょLv.81が装飾すればそのみねみにゅLv.38は作り易い fact3: あのみゆみわLv.88はつべたい fact4: 仮にそのぽねぽいLv.18が怪しいとすればそのぽねぽいLv.18は付着し易い fact5: 「仮に「あのみゆみわLv.88はつべたい」ということは事実ならあのみゆみわLv.88は着手し始める」ということは成り立つ fact6: そのまえまにょLv.81がつべたいとすればあのみゆみわLv.88は装飾する fact7: そのぽねぽいLv.18が付着し易いならそのまえまにょLv.81は装飾する fact8: つべたくないモンスターは作り易いということはない
fact5 & fact3 -> int1: 「あのみゆみわLv.88は着手し始める」ということは成り立つ; int1 & fact1 -> int2: 「そのぽねぽいLv.18は怪しい」ということは真実である; int2 & fact4 -> int3: そのぽねぽいLv.18は付着し易い; int3 & fact7 -> int4: そのまえまにょLv.81は装飾する; int4 & fact2 -> hypothesis;
fact5 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
そのみねみにゅLv.38は作り易くない
fact9 -> int5: もしそのみねみにゅLv.38がつべたくないとすればそのみねみにゅLv.38は作り易くない;
$facts$ = fact1: もしもあのみゆみわLv.88が着手し始めるとすればそのぽねぽいLv.18は怪しい fact2: もしもそのまえまにょLv.81が装飾すればそのみねみにゅLv.38は作り易い fact3: あのみゆみわLv.88はつべたい fact4: 仮にそのぽねぽいLv.18が怪しいとすればそのぽねぽいLv.18は付着し易い fact5: 「仮に「あのみゆみわLv.88はつべたい」ということは事実ならあのみゆみわLv.88は着手し始める」ということは成り立つ fact6: そのまえまにょLv.81がつべたいとすればあのみゆみわLv.88は装飾する fact7: そのぽねぽいLv.18が付着し易いならそのまえまにょLv.81は装飾する fact8: つべたくないモンスターは作り易いということはない ; $hypothesis$ = そのみねみにゅLv.38は作り易くない ; $proof$ = 
fact5 & fact3 -> int1: 「あのみゆみわLv.88は着手し始める」ということは成り立つ; int1 & fact1 -> int2: 「そのぽねぽいLv.18は怪しい」ということは真実である; int2 & fact4 -> int3: そのぽねぽいLv.18は付着し易い; int3 & fact7 -> int4: そのまえまにょLv.81は装飾する; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __DISPROVED__