あのもちゃもちょLv.72は捜し当てる
fact1: 「あのもちゃもちょLv.72はプロらしくない」ということは誤りだ fact2: もしあのもちゃもちょLv.72がプロらしいならばそれは座り易い fact3: 伸ばし易いモンスターはプロらしい fact4: そのもにゃもくLv.69が捜し当てる一方でそれが座り易くないならばあのもちゃもちょLv.72は捜し当てない fact5: もしもあのもちゃもちょLv.72が座り易いとしたらそれは捜し当てる fact6: そのもいもわLv.27は思慮深くないがしかし掛かり難い
fact2 & fact1 -> int1: あのもちゃもちょLv.72は座り易い; int1 & fact5 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
あのもちゃもちょLv.72は捜し当てない
fact9 -> int2: そのもにゃもくLv.69が伸ばし易いならばそのもにゃもくLv.69はプロらしい; fact8 -> int3: そのもいもわLv.27は思慮深くない; int3 -> int4: 「思慮深くない」モンスターはいる;
$facts$ = fact1: 「あのもちゃもちょLv.72はプロらしくない」ということは誤りだ fact2: もしあのもちゃもちょLv.72がプロらしいならばそれは座り易い fact3: 伸ばし易いモンスターはプロらしい fact4: そのもにゃもくLv.69が捜し当てる一方でそれが座り易くないならばあのもちゃもちょLv.72は捜し当てない fact5: もしもあのもちゃもちょLv.72が座り易いとしたらそれは捜し当てる fact6: そのもいもわLv.27は思慮深くないがしかし掛かり難い ; $hypothesis$ = あのもちゃもちょLv.72は捜し当てる ; $proof$ = 
fact2 & fact1 -> int1: あのもちゃもちょLv.72は座り易い; int1 & fact5 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __PROVED__