「「「真ん丸い」ということは真実であるとしたら誤解され易くない」モンスターはいる」ということは本当である
fact1: 「得られ易いモンスターは灯すということはない」ということは確かである fact2: そのみのみよLv.92は灯す fact3: そのみのみよLv.92は真ん丸いしかつ限り無し fact4: 「もし仮に真ん丸いならば誤解され易い」モンスターはいる fact5: 仮に「なんらかのモンスターは真ん丸いけれどそれは安いということはない」ということは確かでないとしたらそれは真ん丸くない fact6: もし「あるモンスターは餓鬼っぽいし加えて灯す」ということは偽であるとしたらそれは餓鬼っぽくない
void -> assump1: 以下のように仮定する。「そのみのみよLv.92は真ん丸い」ということは成り立つ; fact2 & assump1 -> int1: そのみのみよLv.92は灯すし真ん丸い;
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a});
もし仮にそのみのみよLv.92が得られ易いとすればそのみのみよLv.92は灯すということはない
fact7 -> hypothesis;
$facts$ = fact1: 「得られ易いモンスターは灯すということはない」ということは確かである fact2: そのみのみよLv.92は灯す fact3: そのみのみよLv.92は真ん丸いしかつ限り無し fact4: 「もし仮に真ん丸いならば誤解され易い」モンスターはいる fact5: 仮に「なんらかのモンスターは真ん丸いけれどそれは安いということはない」ということは確かでないとしたらそれは真ん丸くない fact6: もし「あるモンスターは餓鬼っぽいし加えて灯す」ということは偽であるとしたらそれは餓鬼っぽくない ; $hypothesis$ = 「「「真ん丸い」ということは真実であるとしたら誤解され易くない」モンスターはいる」ということは本当である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__