あのみにょみちゃLv.76は再確認出来る
fact1: もし何らかのモンスターは想定し難いなら「育て易くなくて常連らしくない」ということは正しくない fact2: 仮に「このまやまにょLv.83は常連らしくない」ということは間違いでないとしたら「このぽいぽにLv.34は答え易いし大人し」ということは成り立つということはない fact3: このまやまにょLv.83は進化し易い fact4: 大人しないモンスターは進化し易くて加えて再確認出来る fact5: 「あるモンスターは答え易いし大人し」ということは事実でないとするとそれは大人しない fact6: 仮にこのまやまにょLv.83が進化し易いとすればあのみにょみちゃLv.76は再確認出来る fact7: もし「あのみにょみちゃLv.76は育て易いということはなくて加えて常連らしくない」ということは成り立たないとすればこのまやまにょLv.83は常連らしくない
fact3 -> int1: このまやまにょLv.83は進化し易い; int1 & fact6 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact6 -> hypothesis;
このぽいぽにLv.34は進化し易い
fact10 -> int2: もしもこのぽいぽにLv.34が大人しないとしたらこのぽいぽにLv.34は進化し易くて加えて再確認出来る; fact11 -> int3: もし「このぽいぽにLv.34は答え易いしかつ大人し」ということは間違いであるとしたら大人しない; fact12 -> int4: あのみにょみちゃLv.76は想定し難いとしたら「育て易いということはないし更に常連らしくない」ということは間違っている;
$facts$ = fact1: もし何らかのモンスターは想定し難いなら「育て易くなくて常連らしくない」ということは正しくない fact2: 仮に「このまやまにょLv.83は常連らしくない」ということは間違いでないとしたら「このぽいぽにLv.34は答え易いし大人し」ということは成り立つということはない fact3: このまやまにょLv.83は進化し易い fact4: 大人しないモンスターは進化し易くて加えて再確認出来る fact5: 「あるモンスターは答え易いし大人し」ということは事実でないとするとそれは大人しない fact6: 仮にこのまやまにょLv.83が進化し易いとすればあのみにょみちゃLv.76は再確認出来る fact7: もし「あのみにょみちゃLv.76は育て易いということはなくて加えて常連らしくない」ということは成り立たないとすればこのまやまにょLv.83は常連らしくない ; $hypothesis$ = あのみにょみちゃLv.76は再確認出来る ; $proof$ = 
fact3 -> int1: このまやまにょLv.83は進化し易い; int1 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact6 -> hypothesis; __PROVED__