このもやもねLv.84は浅ましということはない
fact1: もしも「このもやもねLv.84は甘酸っぱい」ということは本当だとすると「浅まし」ということは事実である fact2: 何らかのモンスターが自粛しないならば浅まししおまけに死に掛かる fact3: そのもちょもなLv.80は死に掛かる fact4: そのもちょもなLv.80は浅まし fact5: もし仮になんらかのモンスターは自粛しないかしょぼいか両方であるとすると自粛するということはない fact6: そのもちょもなLv.80は自粛する fact7: もし仮に「そのもちょもなLv.80は死に掛かる」ということは事実だとしたらそのもいもなLv.17は自粛する
fact7 & fact3 -> int1: そのもいもなLv.17は自粛する;
fact7 & fact3 -> int1: {B}{b};
そのもいもなLv.17は浅まし
fact8 -> int2: もしそのもいもなLv.17は自粛しないとしたら「それは浅まししそれは死に掛かる」ということは成り立つ; fact9 -> int3: 仮にそのもいもなLv.17が自粛しないかあるいはしょぼいかあるいは両方であるならそのもいもなLv.17は自粛しない;
$facts$ = fact1: もしも「このもやもねLv.84は甘酸っぱい」ということは本当だとすると「浅まし」ということは事実である fact2: 何らかのモンスターが自粛しないならば浅まししおまけに死に掛かる fact3: そのもちょもなLv.80は死に掛かる fact4: そのもちょもなLv.80は浅まし fact5: もし仮になんらかのモンスターは自粛しないかしょぼいか両方であるとすると自粛するということはない fact6: そのもちょもなLv.80は自粛する fact7: もし仮に「そのもちょもなLv.80は死に掛かる」ということは事実だとしたらそのもいもなLv.17は自粛する ; $hypothesis$ = このもやもねLv.84は浅ましということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__