このもにょもやLv.96は焼却する
fact1: このもにょもやLv.96はとろ臭い fact2: もしこのもにょもやLv.96がとろ臭いならばそれはむくつけし fact3: 「そのぷのぷゆLv.95は焼却しない」ということは偽であるということはない fact4: もし仮にど偉いモンスターが聞き取り難いとすれば考え辛いということはない fact5: もしも「このもにょもやLv.96はむくつけししそれに底深い」ということは事実ならそれは焼却しない
fact2 & fact1 -> int1: このもにょもやLv.96はむくつけし;
fact2 & fact1 -> int1: {B}{a};
もし仮に「そのもちょもなLv.2はど偉いししかもそれは聞き取り難い」ということは事実であるならそれは考え辛いということはない
fact6 -> hypothesis;
$facts$ = fact1: このもにょもやLv.96はとろ臭い fact2: もしこのもにょもやLv.96がとろ臭いならばそれはむくつけし fact3: 「そのぷのぷゆLv.95は焼却しない」ということは偽であるということはない fact4: もし仮にど偉いモンスターが聞き取り難いとすれば考え辛いということはない fact5: もしも「このもにょもやLv.96はむくつけししそれに底深い」ということは事実ならそれは焼却しない ; $hypothesis$ = このもにょもやLv.96は焼却する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__