そのまちゃまのLv.8はおどろおどろしい
fact1: もし「あのまにゅまのLv.35は変更すらない」ということは真実ならば「「そのぷのぷにLv.65は暗ししかつ地下深い」ということは誤っている」ということは嘘でない fact2: そのぷのぷにLv.65は狭める fact3: もし仮に「なんらかのモンスターは近しいし分かり易い」ということは成り立たないとするとおどろおどろしくない fact4: あのまねまにゃLv.1はおどろおどろしい fact5: 仮にそのぷのぷにLv.65が暗しならそのまちゃまのLv.8はおどろおどろしい fact6: そのぷのぷにLv.65が近しいとするとそれは分かり易い fact7: もしそのぷのぷにLv.65が地下深くないがしかしおどろおどろしいとすればそのまちゃまのLv.8は分かり易くない fact8: そのぷのぷにLv.65は近しい fact9: もし仮にそのぷのぷにLv.65が分かり易いならそれは暗し
fact6 & fact8 -> int1: そのぷのぷにLv.65は分かり易い; int1 & fact9 -> int2: そのぷのぷにLv.65は暗し; int2 & fact5 -> hypothesis;
fact6 & fact8 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
そのまちゃまのLv.8は暗し
$facts$ = fact1: もし「あのまにゅまのLv.35は変更すらない」ということは真実ならば「「そのぷのぷにLv.65は暗ししかつ地下深い」ということは誤っている」ということは嘘でない fact2: そのぷのぷにLv.65は狭める fact3: もし仮に「なんらかのモンスターは近しいし分かり易い」ということは成り立たないとするとおどろおどろしくない fact4: あのまねまにゃLv.1はおどろおどろしい fact5: 仮にそのぷのぷにLv.65が暗しならそのまちゃまのLv.8はおどろおどろしい fact6: そのぷのぷにLv.65が近しいとするとそれは分かり易い fact7: もしそのぷのぷにLv.65が地下深くないがしかしおどろおどろしいとすればそのまちゃまのLv.8は分かり易くない fact8: そのぷのぷにLv.65は近しい fact9: もし仮にそのぷのぷにLv.65が分かり易いならそれは暗し ; $hypothesis$ = そのまちゃまのLv.8はおどろおどろしい ; $proof$ = 
fact6 & fact8 -> int1: そのぷのぷにLv.65は分かり易い; int1 & fact9 -> int2: そのぷのぷにLv.65は暗し; int2 & fact5 -> hypothesis; __PROVED__
fact6 & fact8 -> int1: {B}{a}; int1 & fact9 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __PROVED__