「「漏れ無いしさらに賢くない」ということは間違っている」モンスターはいる
fact1: このもちゅもにLv.7はモデル化するしさらにそれは確認し易い fact2: もしもこのもちゅもにLv.7は確認し易いとすると「それは漏れ無いが賢くない」ということは誤りである fact3: もしもこのもちゅもにLv.7は確認し易いなら「漏れ無いしかつ賢い」ということは嘘だ
fact1 -> int1: このもちゅもにLv.7は確認し易い; int1 & fact2 -> int2: 「このもちゅもにLv.7は漏れ無いがそれは賢くない」ということは誤っている; int2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ¬({D}{a} & ¬{C}{a}); int2 -> hypothesis;
$facts$ = fact1: このもちゅもにLv.7はモデル化するしさらにそれは確認し易い fact2: もしもこのもちゅもにLv.7は確認し易いとすると「それは漏れ無いが賢くない」ということは誤りである fact3: もしもこのもちゅもにLv.7は確認し易いなら「漏れ無いしかつ賢い」ということは嘘だ ; $hypothesis$ = 「「漏れ無いしさらに賢くない」ということは間違っている」モンスターはいる ; $proof$ = 
fact1 -> int1: このもちゅもにLv.7は確認し易い; int1 & fact2 -> int2: 「このもちゅもにLv.7は漏れ無いがそれは賢くない」ということは誤っている; int2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ¬({D}{a} & ¬{C}{a}); int2 -> hypothesis; __PROVED__